UniqueLogic.ST.TF.Example.Label

Warning: 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.TF.Example.Label

Methods

showsPrec :: Int -> Assign -> ShowS

show :: Assign -> String

showList :: [Assign] -> ShowS

type Assigns = [Assign]

type Variable s = Variable Assigns s T

globalVariable :: C s => Name -> s (Variable s)

constant :: C s => 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)