Language.Atom.Expressions
Types
data
E
a
data
V
a
data
UE
data
UV
data
A
a
data
UA
class
Expr
a
data
Expression
data
Variable
data
Type
data
Const
class
Width
a
class
TypeOf
a
bytes
ue
uv
ueUpstream
nearestUVs
arrayIndices
class
NumE
a
class
IntegralE
a
class
FloatingE
a
class
EqE
a
class
OrdE
a
Constants
true
false
Variable Reference and Assignment
value
Logical Operations
not_
(&&.)
(||.)
and_
or_
any_
all_
imply
Equality and Comparison
(==.)
(/=.)
(<.)
(<=.)
(>.)
(>=.)
min_
minimum_
max_
maximum_
limit
Arithmetic Operations
div_
div0_
mod_
mod0_
Conditional Operator
mux
Array Indexing
(!)
(!.)
Smart constructors for untyped expressions.
ubool
unot
uand
uor
ueq
umux