ideas-1.3.1: Feedback services for intelligent tutoring systems

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

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 infix 1

Instances

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

law :: LawBuilder l a => String -> l -> Law 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