Module

Test.Abides.Control.Category

#identity'

identity' :: forall c a b. Category c => Eq (c a b) => c a b -> Boolean

#associative

associative :: forall q a b c d. Category q => Eq (q a d) => q c d -> q b c -> q a b -> Boolean

Modules