galley-0.83.0: Conversations

Safe Haskell	Safe-Inferred
Language	GHC2021

Galley.App

Contents

Environment
Running Galley effects

Synopsis

data Env
reqId :: Lens' Env RequestId
options :: Lens' Env Opts
applog :: Lens' Env Logger
manager :: Lens' Env Manager
federator :: Lens' Env (Maybe Endpoint)
brig :: Lens' Env Endpoint
cstate :: Lens' Env ClientState
deleteQueue :: Lens' Env (Queue DeleteItem)
createEnv :: Opts -> Logger -> IO Env
extEnv :: Lens' Env ExtEnv
aEnv :: Lens' Env (Maybe Env)
data ExtEnv = ExtEnv {
- _extGetManager :: (Manager, [Fingerprint Rsa] -> SSL -> IO ())
}
extGetManager :: Iso' ExtEnv (Manager, [Fingerprint Rsa] -> SSL -> IO ())
type GalleyEffects = Append GalleyEffects1 GalleyEffects0
evalGalleyToIO :: Env -> Sem GalleyEffects a -> IO a
ask :: MonadReader r m => m r
data DeleteItem = TeamItem TeamId UserId (Maybe ConnId)
toServantHandler :: Env -> Sem GalleyEffects a -> Handler a

Environment

data Env Source #

Main application environment.

Instances

Instances details

MonadReader Env App Source #
Instance details Defined in Galley.Monad Methods ask :: App Env # local :: (Env -> Env) -> App a -> App a # reader :: (Env -> a) -> App a #

reqId :: Lens' Env RequestId Source #

options :: Lens' Env Opts Source #

applog :: Lens' Env Logger Source #

manager :: Lens' Env Manager Source #

federator :: Lens' Env (Maybe Endpoint) Source #

brig :: Lens' Env Endpoint Source #

cstate :: Lens' Env ClientState Source #

deleteQueue :: Lens' Env (Queue DeleteItem) Source #

createEnv :: Opts -> Logger -> IO Env Source #

extEnv :: Lens' Env ExtEnv Source #

aEnv :: Lens' Env (Maybe Env) Source #

data ExtEnv Source #

Environment specific to the communication with external service providers.

Constructors

ExtEnv
Fields _extGetManager :: (Manager, [Fingerprint Rsa] -> SSL -> IO ())

extGetManager :: Iso' ExtEnv (Manager, [Fingerprint Rsa] -> SSL -> IO ()) Source #

Running Galley effects

type GalleyEffects = Append GalleyEffects1 GalleyEffects0 Source #

evalGalleyToIO :: Env -> Sem GalleyEffects a -> IO a Source #

ask :: MonadReader r m => m r #

Retrieves the monad environment.

data DeleteItem Source #

Constructors

TeamItem TeamId UserId (Maybe ConnId)

Instances

Instances details

Show DeleteItem Source #
Instance details Defined in Galley.Env Methods showsPrec :: Int -> DeleteItem -> ShowS # show :: DeleteItem -> String # showList :: [DeleteItem] -> ShowS #
Eq DeleteItem Source #
Instance details Defined in Galley.Env Methods (==) :: DeleteItem -> DeleteItem -> Bool # (/=) :: DeleteItem -> DeleteItem -> Bool #
Ord DeleteItem Source #
Instance details Defined in Galley.Env Methods compare :: DeleteItem -> DeleteItem -> Ordering # (<) :: DeleteItem -> DeleteItem -> Bool # (<=) :: DeleteItem -> DeleteItem -> Bool # (>) :: DeleteItem -> DeleteItem -> Bool # (>=) :: DeleteItem -> DeleteItem -> Bool # max :: DeleteItem -> DeleteItem -> DeleteItem # min :: DeleteItem -> DeleteItem -> DeleteItem #

toServantHandler :: Env -> Sem GalleyEffects a -> Handler a Source #