Control.Monad.Trans.Key

Documentation

data Keyring s a

Instances

Monad (Keyring s)

Defined in Control.Monad.Trans.Key

Methods

(>>=) :: Keyring s a -> (a -> Keyring s b) -> Keyring s b

(>>) :: Keyring s a -> Keyring s b -> Keyring s b

return :: a -> Keyring s a

fail :: String -> Keyring s a

Functor (Keyring s)

Defined in Control.Monad.Trans.Key

Methods

fmap :: (a -> b) -> Keyring s a -> Keyring s b

(<$) :: a -> Keyring s b -> Keyring s a

Applicative (Keyring s)

Defined in Control.Monad.Trans.Key

Methods

pure :: a -> Keyring s a

(<*>) :: Keyring s (a -> b) -> Keyring s a -> Keyring s b

liftA2 :: (a -> b -> c) -> Keyring s a -> Keyring s b -> Keyring s c

(*>) :: Keyring s a -> Keyring s b -> Keyring s b

(<*) :: Keyring s a -> Keyring s b -> Keyring s a

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 :: Keyring s (Key s a)

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