ideas-1.2: Feedback services for intelligent tutoring systems

Portability	portable (depends on ghc)
Stability	provisional
Maintainer	bastiaan.heeren@ou.nl
Safe Haskell	None

Ideas.Common.Algebra.Law

Description

Documentation

data Law a Source

Instances

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

data LawSpec a Source

Constructors

a :==: a

Instances

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

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

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

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 aSource