galley-0.83.0: Conversations

Safe Haskell	Safe-Inferred
Language	GHC2021

Galley.Effects

Contents

Effects needed in Galley
Effects to access the Intra API
External services
Fire-and-forget async
Store effects
Paging effects
Other effects
Polysemy re-exports
Queueing effects

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

Effects to access the Intra API

data BotAccess m a Source #

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 CodeStore 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 Random (m :: k) a Source #

data TeamFeatureStore m a Source #

data TeamMemberStore p m a Source #

data TeamNotificationStore m a Source #

data TeamStore m a Source #

Paging effects

data ListItems p i m a Source #

General pagination-aware list-by-user effect

Other effects

data Queue a m x Source #

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.

Minimal complete definition

membership'

Instances

Instances details

Member t z => Member t (_1 ': z)
Instance details Defined in Polysemy.Internal.Union Methods membership' :: ElemOf t (_1 ': z)
Member t (t ': z)
Instance details Defined in Polysemy.Internal.Union Methods 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

Equations

Members ('[] :: [Effect]) r = ()
Members (e ': es) r = (Member e r, Members es r)

Queueing effects

data BackendNotificationQueueAccess m a Source #