abides-0.0.1: Simple boolean tests to see if a value abides by certain properties

Safe HaskellSafe
LanguageHaskell2010

Test.Abides.Control.Comonad

Documentation

leftIdentity :: Comonad w => Eq (w a) => w a -> Bool Source #

rightIdentity :: Comonad w => Eq a => (w a -> a) -> w a -> Bool Source #

associative :: Comonad w => Eq (w c) => (w b -> c) -> (w a -> b) -> w a -> Bool Source #