abides-0.0.1: Simple boolean tests to see if a value abides by certain properties
Test.Abides.Control.Comonad
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 #