Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
TestEquality (Key s :: k1 -> Type) Source # | |
Defined in Control.Monad.Trans.Key |
Instances
MonadTrans (KeyringT s :: (Type -> Type) -> Type -> Type) Source # | |
Defined in Control.Monad.Trans.Key | |
Monad f => Monad (KeyringT s f) Source # | |
Functor f => Functor (KeyringT s f) Source # | |
MonadFix f => MonadFix (KeyringT s f) Source # | |
Defined in Control.Monad.Trans.Key | |
MonadFail f => MonadFail (KeyringT s f) Source # | |
Defined in Control.Monad.Trans.Key | |
Applicative f => Applicative (KeyringT s f) Source # | |
Defined in Control.Monad.Trans.Key | |
Alternative f => Alternative (KeyringT s f) Source # | |
MonadPlus f => MonadPlus (KeyringT s f) Source # | |
unKeyringT :: (forall s. KeyringT s f a) -> f a Source #