Domain.Algebra.Law

Documentation

data Law a

Instances

Show (Law a)

Defined in Domain.Algebra.Law

Methods

showsPrec :: Int -> Law a -> ShowS

show :: Law a -> String

showList :: [Law a] -> ShowS

(Show a, Eq a, Arbitrary a) => Testable (Law a)

Defined in Domain.Algebra.Law

Methods

property :: Law a -> Property

data LawSpec a

Constructors

a :==: a infix 1

Instances

(Arbitrary a, IsTerm a, Show a, Different a) => RuleBuilder (LawSpec a) a

Defined in Domain.Algebra.Law

Methods

buildRuleSpec :: Int -> LawSpec a -> RuleSpec Term

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

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

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

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

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