UniqueLogic.ST.TF.Expression

data T w s a

Construct primitive expressions

constant

fromVariable

Operators from rules with small numbers of arguments

fromRule1

fromRule2

fromRule3

Operators from rules with any number of arguments

data Apply w s f

arg

runApply

Predicates on expressions

(=:=)

Common operators (see also Num and Fractional instances)

(=!=)

sqr

sqrt

max

maximum

pair