Safe Haskell	None
Language	Haskell2010

Control.Monad.Trans.Key

Documentation

data Key s a Source #

Instances

TestEquality (Key s :: k1 -> Type) Source #
Instance details Defined in Control.Monad.Trans.Key Methods testEquality :: Key s a -> Key s b -> Maybe (a :~: b) #

newKey :: Applicative p => KeyringT s p (Key s a) Source #

type Keyring s = KeyringT s Identity Source #

unKeyring :: (forall s. Keyring s a) -> a Source #

data KeyringT s f a Source #

Instances

MonadTrans (KeyringT s :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Control.Monad.Trans.Key Methods lift :: Monad m => m a -> KeyringT s m a #
Monad f => Monad (KeyringT s f) Source #
Instance details Defined in Control.Monad.Trans.Key Methods (>>=) :: KeyringT s f a -> (a -> KeyringT s f b) -> KeyringT s f b # (>>) :: KeyringT s f a -> KeyringT s f b -> KeyringT s f b # return :: a -> KeyringT s f a # fail :: String -> KeyringT s f a #
Functor f => Functor (KeyringT s f) Source #
Instance details Defined in Control.Monad.Trans.Key Methods fmap :: (a -> b) -> KeyringT s f a -> KeyringT s f b # (<$) :: a -> KeyringT s f b -> KeyringT s f a #
MonadFix f => MonadFix (KeyringT s f) Source #
Instance details Defined in Control.Monad.Trans.Key Methods mfix :: (a -> KeyringT s f a) -> KeyringT s f a #
MonadFail f => MonadFail (KeyringT s f) Source #
Instance details Defined in Control.Monad.Trans.Key Methods fail :: String -> KeyringT s f a #
Applicative f => Applicative (KeyringT s f) Source #
Instance details Defined in Control.Monad.Trans.Key Methods pure :: a -> KeyringT s f a # (<>) :: KeyringT s f (a -> b) -> KeyringT s f a -> KeyringT s f b # liftA2 :: (a -> b -> c) -> KeyringT s f a -> KeyringT s f b -> KeyringT s f c # (>) :: KeyringT s f a -> KeyringT s f b -> KeyringT s f b # (<*) :: KeyringT s f a -> KeyringT s f b -> KeyringT s f a #
Alternative f => Alternative (KeyringT s f) Source #
Instance details Defined in Control.Monad.Trans.Key Methods empty :: KeyringT s f a # (<\|>) :: KeyringT s f a -> KeyringT s f a -> KeyringT s f a # some :: KeyringT s f a -> KeyringT s f [a] # many :: KeyringT s f a -> KeyringT s f [a] #
MonadPlus f => MonadPlus (KeyringT s f) Source #
Instance details Defined in Control.Monad.Trans.Key Methods mzero :: KeyringT s f a # mplus :: KeyringT s f a -> KeyringT s f a -> KeyringT s f a #

unKeyringT :: (forall s. KeyringT s f a) -> f a Source #

lift :: f a -> KeyringT s f a Source #