Module

Test.Abides.Control.Monad

#leftIdentity 

leftIdentity :: forall m a b. Monad m => Eq (m b) => (a -> m b) -> a -> Boolean

#rightIdentity 

rightIdentity :: forall m a. Monad m => Eq (m a) => m a -> Boolean

#associative 

associative :: forall m a b c. Monad m => Eq (m c) => (a -> m b) -> (b -> m c) -> m a -> Boolean

Modules