ivory-0.1.0.9: Safe embedded C programming.

Safe HaskellNone
LanguageHaskell2010

Ivory.Language.IChar

Documentation

newtype IChar Source #

Constructors

IChar 

Fields

Instances
IvoryExpr IChar Source # 
Instance details

Defined in Ivory.Language.IChar

Methods

wrapExpr :: Expr -> IChar Source #

IvoryVar IChar Source # 
Instance details

Defined in Ivory.Language.IChar

Methods

wrapVar :: Var -> IChar Source #

unwrapExpr :: IChar -> Expr Source #

IvoryType IChar Source # 
Instance details

Defined in Ivory.Language.IChar

Methods

ivoryType :: Proxy IChar -> Type Source #

IvoryStore IChar Source # 
Instance details

Defined in Ivory.Language.Ref

IvoryZeroVal IChar Source # 
Instance details

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored IChar) Source #

IvoryInit IChar Source # 
Instance details

Defined in Ivory.Language.Init

Methods

ival :: IChar -> Init (Stored IChar) Source #

SafeCast IChar IChar Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: IChar -> IChar Source #

SafeCast IBool IChar Source # 
Instance details

Defined in Ivory.Language.Cast

Methods

safeCast :: IBool -> IChar Source #

char :: Char -> IChar Source #