ideas-1.4: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

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

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