UniqueLogic.ST.Example.Label

Deprecated: This module is intended for documentation purposes. Do not import it!

Documentation

data Assign

Constructors

Assign Name Term

Instances

Show Assign

type Assigns = [Assign]

data Term

Constructors

Const Rational

Var Name

Max Term Term

Add Term Term

Sub Term Term

Mul Term Term

Div Term Term

Abs Term

Signum Term

Instances

Fractional Term

Num Term

Show Term

type Name = String

globalVariable :: Name -> ST s (Variable Assigns s Term)

constant :: Rational -> T Assigns s (Variable Assigns s Term)

rule :: ((Maybe Term, Maybe Term, Maybe Term), Assigns)

 x=1
 y=2
 z=3

 x+y=3
 y*z=6
 z=3

expression :: ((Maybe Term, Maybe Term), Assigns)