alt | Hedgehog.Checkers |
alternative | Hedgehog.Checkers |
alternativeAltAgreement | Hedgehog.Checkers |
antiSymmetric | Hedgehog.Checkers |
applicative | Hedgehog.Checkers |
applicativeApplyAgreement | Hedgehog.Checkers |
apply | Hedgehog.Checkers |
associativity | Hedgehog.Checkers |
bifunctor | Hedgehog.Checkers |
commutativity | Hedgehog.Checkers |
fromMap | Hedgehog.Checkers.Ugly.Function.Hack |
funcForAllWtf | Hedgehog.Checkers.Ugly.Function.Hack |
functor | Hedgehog.Checkers |
identity | Hedgehog.Checkers |
leftIdentity | Hedgehog.Checkers |
liftedFunctionWtf | Hedgehog.Checkers.Ugly.Function.Hack |
monoid | Hedgehog.Checkers |
ord | Hedgehog.Checkers |
ordFuncWtf | Hedgehog.Checkers.Ugly.Function.Hack |
ordFuncWtf' | Hedgehog.Checkers.Ugly.Function.Hack |
ordFuncWtf'' | Hedgehog.Checkers.Ugly.Function.Hack |
reflexive | Hedgehog.Checkers |
rightIdentity | Hedgehog.Checkers |
semigroup | Hedgehog.Checkers |
symmetric | Hedgehog.Checkers |
transitive | Hedgehog.Checkers |