Documentation

data Law a Source

data LawSpec a Source

law :: LawBuilder l a => String -> l -> Law a Source

lawAbs :: (Different b, Arbitrary b, Show b) => (b -> LawSpec a) -> LawSpec a Source

mapLaw :: (b -> a) -> (a -> b) -> Law a -> Law b Source

propertyLaw :: (Arbitrary a, Show a, Testable b) => (a -> a -> b) -> Law a -> Property Source

rewriteLaw :: (Different a, IsTerm a, Arbitrary a, Show a) => Law a -> RewriteRule a Source