Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- type GalleyEffects1 = '[BrigAccess, SparAccess, NotificationSubsystem, GundeckAPIAccess, Rpc, ExternalAccess, FederatorAccess, BackendNotificationQueueAccess, BotAccess, FireAndForget, ClientStore, CodeStore, ProposalStore, ConversationStore, SubConversationStore, Random, CustomBackendStore, TeamFeatureStore, LegalHoldStore, MemberStore, SearchVisibilityStore, ServiceStore, TeamNotificationStore, TeamStore, TeamMemberStore InternalPaging, TeamMemberStore CassandraPaging, ListItems CassandraPaging ConvId, ListItems CassandraPaging (Remote ConvId), ListItems LegacyPaging ConvId, ListItems LegacyPaging TeamId, ListItems InternalPaging TeamId, Input AllTeamFeatures, Input (Maybe [TeamId], FeatureDefaults LegalholdConfig), Input (Local ()), Input Opts, Input UTCTime, Queue DeleteItem, TinyLog, Error DynError]
- data BotAccess m a
- data BrigAccess m a
- data FederatorAccess m a
- data SparAccess m a
- data ExternalAccess m a
- data FireAndForget m a
- data ClientStore m a
- data CodeStore m a
- data ConversationStore m a
- data CustomBackendStore m a
- data LegalHoldStore m a
- data MemberStore m a
- data ProposalStore m a
- data SearchVisibilityStore m a
- data ServiceStore m a
- data SubConversationStore m a
- data Random (m :: k) a
- data TeamFeatureStore m a
- data TeamMemberStore p m a
- data TeamNotificationStore m a
- data TeamStore m a
- data ListItems p i m a
- data Queue a m x
- class Member (t :: Effect) (r :: EffectRow)
- type family Members (es :: [Effect]) (r :: EffectRow) where ...
- data BackendNotificationQueueAccess m a
Effects needed in Galley
type GalleyEffects1 = '[BrigAccess, SparAccess, NotificationSubsystem, GundeckAPIAccess, Rpc, ExternalAccess, FederatorAccess, BackendNotificationQueueAccess, BotAccess, FireAndForget, ClientStore, CodeStore, ProposalStore, ConversationStore, SubConversationStore, Random, CustomBackendStore, TeamFeatureStore, LegalHoldStore, MemberStore, SearchVisibilityStore, ServiceStore, TeamNotificationStore, TeamStore, TeamMemberStore InternalPaging, TeamMemberStore CassandraPaging, ListItems CassandraPaging ConvId, ListItems CassandraPaging (Remote ConvId), ListItems LegacyPaging ConvId, ListItems LegacyPaging TeamId, ListItems InternalPaging TeamId, Input AllTeamFeatures, Input (Maybe [TeamId], FeatureDefaults LegalholdConfig), Input (Local ()), Input Opts, Input UTCTime, Queue DeleteItem, TinyLog, Error DynError] Source #
Effects to access the Intra API
data BrigAccess m a Source #
data FederatorAccess m a Source #
data SparAccess m a Source #
External services
data ExternalAccess m a Source #
Fire-and-forget async
data FireAndForget m a Source #
Store effects
data ClientStore m a Source #
data ConversationStore m a Source #
data CustomBackendStore m a Source #
data LegalHoldStore m a Source #
data MemberStore m a Source #
data ProposalStore m a Source #
data SearchVisibilityStore m a Source #
data ServiceStore m a Source #
data SubConversationStore m a Source #
data TeamFeatureStore m a Source #
data TeamMemberStore p m a Source #
data TeamNotificationStore m a Source #
Paging effects
Other effects
Polysemy re-exports
class Member (t :: Effect) (r :: EffectRow) Source #
This class indicates that an effect must be present in the caller's stack. It is the main mechanism by which a program defines its effect dependencies.
membership'
Instances
Member t z => Member t (_1 ': z) | |
Defined in Polysemy.Internal.Union membership' :: ElemOf t (_1 ': z) | |
Member t (t ': z) | |
Defined in Polysemy.Internal.Union membership' :: ElemOf t (t ': z) |
type family Members (es :: [Effect]) (r :: EffectRow) where ... Source #
Makes constraints of functions that use multiple effects shorter by
translating single list of effects into multiple Member
constraints:
foo ::Members
'[Output
Int ,Output
Bool ,State
String ] r =>Sem
r ()
translates into:
foo :: (Member
(Output
Int) r ,Member
(Output
Bool) r ,Member
(State
String) r ) =>Sem
r ()
Since: polysemy-0.1.2.0
Queueing effects
data BackendNotificationQueueAccess m a Source #