Module

Test.Abides.Control.Alt

#associative 

associative :: forall f a. Alt f => Eq (f a) => f a -> f a -> f a -> Boolean

#distributive 

distributive :: forall f a b. Alt f => Eq (f b) => (a -> b) -> f a -> f a -> Boolean

Modules