Galley.Monad
newtype App a Source #
Constructors
Fields
Defined in Galley.Monad
Methods
liftIO :: IO a -> App a #
pure :: a -> App a #
(<*>) :: App (a -> b) -> App a -> App b #
liftA2 :: (a -> b -> c) -> App a -> App b -> App c #
(*>) :: App a -> App b -> App b #
(<*) :: App a -> App b -> App a #
fmap :: (a -> b) -> App a -> App b #
(<$) :: a -> App b -> App a #
(>>=) :: App a -> (a -> App b) -> App b #
(>>) :: App a -> App b -> App b #
return :: a -> App a #
handleRequestWithCont :: Request -> (Response BodyReader -> IO a) -> App a Source #
getRequestId :: App RequestId Source #
liftClient :: Client a -> App a #
localState :: (ClientState -> ClientState) -> App a -> App a #
catch :: (HasCallStack, Exception e) => App a -> (e -> App a) -> App a #
mask :: HasCallStack => ((forall a. App a -> App a) -> App b) -> App b #
uninterruptibleMask :: HasCallStack => ((forall a. App a -> App a) -> App b) -> App b #
generalBracket :: HasCallStack => App a -> (a -> ExitCase b -> App c) -> (a -> App b) -> App (b, c) #
throwM :: (HasCallStack, Exception e) => e -> App a #
doIO :: IO () -> App () Source #
log :: Level -> (Msg -> Msg) -> App () Source #
withRunInIO :: ((forall a. App a -> IO a) -> IO b) -> App b Source #
ask :: App Env #
local :: (Env -> Env) -> App a -> App a #
reader :: (Env -> a) -> App a #
runApp :: Env -> App a -> IO a Source #
embedApp :: (Member (Embed IO) r, Member (Input Env) r) => App a -> Sem r a Source #