Ivory.Language.IChar

Documentation

newtype IChar

Constructors

IChar

Fields

• getIChar :: Expr

Instances

IvoryExpr IChar

Methods

wrapExpr :: Expr -> IChar

IvoryVar IChar

Methods

wrapVar :: Var -> IChar

unwrapExpr :: IChar -> Expr

IvoryType IChar

Methods

ivoryType :: Proxy * IChar -> Type

IvoryStore IChar

IvoryZeroVal IChar

Methods

izeroval :: Init (Stored * IChar)

IvoryInit IChar

Methods

ival :: IChar -> Init (Stored * IChar)

SafeCast IChar IChar

Methods

safeCast :: IChar -> IChar

SafeCast IBool IChar

Methods

safeCast :: IBool -> IChar

char :: Char -> IChar