abides-0.0.1: Simple boolean tests to see if a value abides by certain properties
Test.Abides.Control.Category
identity :: Category c => Eq (c a b) => c a b -> Bool Source #
associative :: Category q => Eq (q a d) => q c d -> q b c -> q a b -> Bool Source #