abides-0.0.1: Simple boolean tests to see if a value abides by certain properties
Test.Abides.Control.Monad
leftIdentity :: Monad m => Eq (m b) => (a -> m b) -> a -> Bool Source #
rightIdentity :: Monad m => Eq (m a) => m a -> Bool Source #
associative :: Monad m => Eq (m c) => (a -> m b) -> (b -> m c) -> m a -> Bool Source #
annihilation :: MonadPlus m => Eq (m b) => (a -> m b) -> Bool Source #
distributive :: MonadPlus m => Eq (m b) => (a -> m b) -> m a -> m a -> Bool Source #