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
class NumE a
class IntegralE a
class FloatingE a
class EqE a
class OrdE a

Constants

Variable Reference and Assignment

Logical Operations

Equality and Comparison

Arithmetic Operations

Conditional Operator

Array Indexing

Smart constructors for untyped expressions.