Safe Haskell	None
Language	Haskell2010

Test.Monad.Morph

Description

Monad homomorphisms.

Synopsis

type (~>) m n = forall t. m t -> n t
bindHom :: forall m n a b. (Monad m, Monad n) => (m ~> n) -> m a -> (a -> m b) -> Equation (n b)
returnHom :: forall m n a. (Monad m, Monad n) => (m ~> n) -> a -> Equation (n a)

Documentation

type (~>) m n = forall t. m t -> n t Source #

Natural transformation.

bindHom :: forall m n a b. (Monad m, Monad n) => (m ~> n) -> m a -> (a -> m b) -> Equation (n b) Source #

returnHom :: forall m n a. (Monad m, Monad n) => (m ~> n) -> a -> Equation (n a) Source #