Language.Atom.Expressions
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
class NumE a
class IntegralE a
class FloatingE a
class EqE a
class OrdE a
true
false
value
not_
(&&.)
(||.)
and_
or_
any_
all_
imply
(==.)
(/=.)
(<.)
(<=.)
(>.)
(>=.)
min_
minimum_
max_
maximum_
limit
div_
div0_
mod_
mod0_
mux
(!)
(!.)
ubool
unot
uand
uor
ueq
umux