Language.Embedded.CExp

Expressions

data Unary a

evalUnary

unaryOp

data Binary a

evalBinary

binaryOp

type SupportCode

data Sym sig

data T sig

data CExp a

evalSym

evalCExp

compCExp

constFold

castAST

viewLit

isFloat

isExact

isExact'

User interface

value

constant

variable

true

false

quot_

(#%)

round_

i2n

i2b

b2i

not_

(#&&)

(#||)

(#==)

(#!=)

(#<)

(#>)

(#<=)

(#>=)

cond

(?)

(#!)