quickspec-0.9.6: Equational laws for free!

Safe Haskell	None

Test.QuickSpec.Equation

Description

Equations.

Documentation

data Equation Source

Constructors

Instances

Eq Equation
Ord Equation
Show Equation

showEquation :: Sig -> Equation -> String Source

data TypedEquation a Source

Constructors

(Expr a) :==: (Expr a)

Instances

Eq (TypedEquation a)
Ord (TypedEquation a)
Show (TypedEquation a)

eraseEquation :: TypedEquation a -> Equation Source

showTypedEquation :: Sig -> TypedEquation a -> String Source

equations :: [Several Expr] -> [Some TypedEquation]Source