mensam-0
Safe HaskellSafe-Inferred
LanguageGHC2021

Mensam.Server.Application.Secret

Documentation

newtype SecretT m a Source #

Constructors

SecretT 

Fields

Instances

Instances details
MonadTransControl SecretT Source # 
Instance details

Defined in Mensam.Server.Application.Secret

Associated Types

type StT SecretT a Source #

Methods

liftWith :: Monad m => (Run SecretT -> m a) -> SecretT m a Source #

restoreT :: Monad m => m (StT SecretT a) -> SecretT m a Source #

MonadTransControlIdentity SecretT Source # 
Instance details

Defined in Mensam.Server.Application.Secret

Methods

liftWithIdentity :: Monad m => ((forall x. SecretT m x -> m x) -> m a) -> SecretT m a Source #

MonadTrans SecretT Source # 
Instance details

Defined in Mensam.Server.Application.Secret

Methods

lift :: Monad m => m a -> SecretT m a #

Applicative m => Applicative (SecretT m) Source # 
Instance details

Defined in Mensam.Server.Application.Secret

Methods

pure :: a -> SecretT m a #

(<*>) :: SecretT m (a -> b) -> SecretT m a -> SecretT m b #

liftA2 :: (a -> b -> c) -> SecretT m a -> SecretT m b -> SecretT m c #

(*>) :: SecretT m a -> SecretT m b -> SecretT m b #

(<*) :: SecretT m a -> SecretT m b -> SecretT m a #

Functor m => Functor (SecretT m) Source # 
Instance details

Defined in Mensam.Server.Application.Secret

Methods

fmap :: (a -> b) -> SecretT m a -> SecretT m b #

(<$) :: a -> SecretT m b -> SecretT m a #

Monad m => Monad (SecretT m) Source # 
Instance details

Defined in Mensam.Server.Application.Secret

Methods

(>>=) :: SecretT m a -> (a -> SecretT m b) -> SecretT m b #

(>>) :: SecretT m a -> SecretT m b -> SecretT m b #

return :: a -> SecretT m a #

Monad m => MonadSecret (SecretT m) Source # 
Instance details

Defined in Mensam.Server.Application.Secret

Methods

secrets :: SecretT m Secrets Source #

Monad (t2 m) => MonadSecret (ComposeT SecretT t2 m) Source # 
Instance details

Defined in Mensam.Server.Application.Secret

Methods

secrets :: ComposeT SecretT t2 m Secrets Source #

type StT SecretT a Source # 
Instance details

Defined in Mensam.Server.Application.Secret

type StT SecretT a = StT (ReaderT Secrets) a

runSecretT :: SecretT m a -> Secrets -> m a Source #

runAppSecretT :: (MonadConfigured m, MonadLogger m, MonadSeldaPool m) => SecretT m a -> m a Source #