Module

Test.Abides.Control.Comonad

#leftIdentity

leftIdentity :: forall w a. Comonad w => Eq (w a) => w a -> Boolean

#rightIdentity

rightIdentity :: forall w a. Comonad w => Eq a => (w a -> a) -> w a -> Boolean

#associative

associative :: forall w a b c. Comonad w => Eq (w c) => (w b -> c) -> (w a -> b) -> w a -> Boolean

Modules