Module

Test.QuickCheck.Laws.Control.Category

#checkCategory 

checkCategory :: forall a. Category a => Arbitrary (a B C) => Eq (a B C) => Proxy a -> Effect Unit
  • Identity: id <<< p = p <<< id = p

#checkCategoryGen 

checkCategoryGen :: forall a. Category a => Arbitrary (a B C) => Eq (a B C) => Gen (a B C) -> Effect Unit

Modules