Control.Monad.Trans.Key

Documentation

data Key s a

Instances

TestEquality (Key s :: k1 -> Type)

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)

type Keyring s = KeyringT s Identity

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

data KeyringT s f a

Instances

MonadTrans (KeyringT s :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Trans.Key

Methods

lift :: Monad m => m a -> KeyringT s m a

Monad f => Monad (KeyringT s f)

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)

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)

Defined in Control.Monad.Trans.Key

Methods

mfix :: (a -> KeyringT s f a) -> KeyringT s f a

MonadFail f => MonadFail (KeyringT s f)

Defined in Control.Monad.Trans.Key

Methods

fail :: String -> KeyringT s f a

Applicative f => Applicative (KeyringT s f)

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)

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)

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

lift :: f a -> KeyringT s f a