abides-0.0.1: Simple boolean tests to see if a value abides by certain properties

Safe HaskellSafe
LanguageHaskell2010

Test.Abides.Control.Category

Documentation

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 #