Module

Test.StrongCheck.Laws.Control.Category

Package
purescript-strongcheck-laws
Repository
garyb/purescript-strongcheck-laws

#checkCategory Source

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