Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
a :==: a infix 1 |
Instances
(Arbitrary a, IsTerm a, Show a, Different a) => RuleBuilder (LawSpec a) a Source # | |
Defined in Domain.Algebra.Law buildRuleSpec :: Int -> LawSpec a -> RuleSpec Term |
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 #