UniqueLogic.ST.Example.Label

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

Documentation

data Assign

Constructors

Assign Name T

Instances

Show Assign

Defined in UniqueLogic.ST.Example.Label

Methods

showsPrec :: Int -> Assign -> ShowS

show :: Assign -> String

showList :: [Assign] -> ShowS

type Assigns = [Assign]

type Variable s = Variable Assigns s (Ignore T)

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

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

rule :: ((Maybe T, Maybe T, Maybe T), Assigns)

x=1
y=2
z=3

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

expression :: ((Maybe T, Maybe T), Assigns)