Safe Haskell	None
Language	Haskell2010

Ivory.Language.Type

Synopsis

Documentation

class IvoryType t where Source #

The connection between Haskell and Ivory types.

Minimal complete definition

ivoryType

Methods

ivoryType :: Proxy t -> Type Source #

Instances

IvoryType () Source #	`void` type
Methods ivoryType :: Proxy * () -> Type Source #
IvoryType OpaqueType Source #
Methods ivoryType :: Proxy * OpaqueType -> Type Source #
IvoryType IString Source #
Methods ivoryType :: Proxy * IString -> Type Source #
IvoryType IChar Source #
Methods ivoryType :: Proxy * IChar -> Type Source #
IvoryType Sint64 Source #
Methods ivoryType :: Proxy * Sint64 -> Type Source #
IvoryType Sint32 Source #
Methods ivoryType :: Proxy * Sint32 -> Type Source #
IvoryType Sint16 Source #
Methods ivoryType :: Proxy * Sint16 -> Type Source #
IvoryType Sint8 Source #
Methods ivoryType :: Proxy * Sint8 -> Type Source #
IvoryType Uint64 Source #
Methods ivoryType :: Proxy * Uint64 -> Type Source #
IvoryType Uint32 Source #
Methods ivoryType :: Proxy * Uint32 -> Type Source #
IvoryType Uint16 Source #
Methods ivoryType :: Proxy * Uint16 -> Type Source #
IvoryType Uint8 Source #
Methods ivoryType :: Proxy * Uint8 -> Type Source #
IvoryType IBool Source #
Methods ivoryType :: Proxy * IBool -> Type Source #
IvoryType IDouble Source #
Methods ivoryType :: Proxy * IDouble -> Type Source #
IvoryType IFloat Source #
Methods ivoryType :: Proxy * IFloat -> Type Source #
ProcType proc => IvoryType (Def proc) Source #
Methods ivoryType :: Proxy * (Def proc) -> Type Source #
ProcType proc => IvoryType (ProcPtr proc) Source #
Methods ivoryType :: Proxy * (ProcPtr proc) -> Type Source #
ANat n => IvoryType (Ix n) Source #
Methods ivoryType :: Proxy * (Ix n) -> Type Source #
IvoryRep (BitRep n) => IvoryType (Bits n) Source #
Methods ivoryType :: Proxy * (Bits n) -> Type Source #
(KnownNullability n, KnownConstancy c, IvoryArea a) => IvoryType (Pointer n c s a) Source #
Methods ivoryType :: Proxy * (Pointer n c s a) -> Type Source #

class IvoryType t => IvoryVar t where Source #

Lifting a variable name.

Minimal complete definition

wrapVar, unwrapExpr

Methods

wrapVar :: Var -> t Source #

unwrapExpr :: t -> Expr Source #

Instances

IvoryVar IString Source #
Methods wrapVar :: Var -> IString Source # unwrapExpr :: IString -> Expr Source #
IvoryVar IChar Source #
Methods wrapVar :: Var -> IChar Source # unwrapExpr :: IChar -> Expr Source #
IvoryVar Sint64 Source #
Methods wrapVar :: Var -> Sint64 Source # unwrapExpr :: Sint64 -> Expr Source #
IvoryVar Sint32 Source #
Methods wrapVar :: Var -> Sint32 Source # unwrapExpr :: Sint32 -> Expr Source #
IvoryVar Sint16 Source #
Methods wrapVar :: Var -> Sint16 Source # unwrapExpr :: Sint16 -> Expr Source #
IvoryVar Sint8 Source #
Methods wrapVar :: Var -> Sint8 Source # unwrapExpr :: Sint8 -> Expr Source #
IvoryVar Uint64 Source #
Methods wrapVar :: Var -> Uint64 Source # unwrapExpr :: Uint64 -> Expr Source #
IvoryVar Uint32 Source #
Methods wrapVar :: Var -> Uint32 Source # unwrapExpr :: Uint32 -> Expr Source #
IvoryVar Uint16 Source #
Methods wrapVar :: Var -> Uint16 Source # unwrapExpr :: Uint16 -> Expr Source #
IvoryVar Uint8 Source #
Methods wrapVar :: Var -> Uint8 Source # unwrapExpr :: Uint8 -> Expr Source #
IvoryVar IBool Source #
Methods wrapVar :: Var -> IBool Source # unwrapExpr :: IBool -> Expr Source #
IvoryVar IDouble Source #
Methods wrapVar :: Var -> IDouble Source # unwrapExpr :: IDouble -> Expr Source #
IvoryVar IFloat Source #
Methods wrapVar :: Var -> IFloat Source # unwrapExpr :: IFloat -> Expr Source #
ProcType proc => IvoryVar (ProcPtr proc) Source #
Methods wrapVar :: Var -> ProcPtr proc Source # unwrapExpr :: ProcPtr proc -> Expr Source #
ANat n => IvoryVar (Ix n) Source #
Methods wrapVar :: Var -> Ix n Source # unwrapExpr :: Ix n -> Expr Source #
IvoryRep (BitRep n) => IvoryVar (Bits n) Source #
Methods wrapVar :: Var -> Bits n Source # unwrapExpr :: Bits n -> Expr Source #
(KnownNullability n, KnownConstancy c, IvoryArea a) => IvoryVar (Pointer n c s a) Source #
Methods wrapVar :: Var -> Pointer n c s a Source # unwrapExpr :: Pointer n c s a -> Expr Source #

class IvoryVar t => IvoryExpr t where Source #

Unwrapping for Ivory expressions.

Minimal complete definition

wrapExpr

Methods

wrapExpr :: Expr -> t Source #

Instances

IvoryExpr IString Source #
Methods wrapExpr :: Expr -> IString Source #
IvoryExpr IChar Source #
Methods wrapExpr :: Expr -> IChar Source #
IvoryExpr Sint64 Source #
Methods wrapExpr :: Expr -> Sint64 Source #
IvoryExpr Sint32 Source #
Methods wrapExpr :: Expr -> Sint32 Source #
IvoryExpr Sint16 Source #
Methods wrapExpr :: Expr -> Sint16 Source #
IvoryExpr Sint8 Source #
Methods wrapExpr :: Expr -> Sint8 Source #
IvoryExpr Uint64 Source #
Methods wrapExpr :: Expr -> Uint64 Source #
IvoryExpr Uint32 Source #
Methods wrapExpr :: Expr -> Uint32 Source #
IvoryExpr Uint16 Source #
Methods wrapExpr :: Expr -> Uint16 Source #
IvoryExpr Uint8 Source #
Methods wrapExpr :: Expr -> Uint8 Source #
IvoryExpr IBool Source #
Methods wrapExpr :: Expr -> IBool Source #
IvoryExpr IDouble Source #
Methods wrapExpr :: Expr -> IDouble Source #
IvoryExpr IFloat Source #
Methods wrapExpr :: Expr -> IFloat Source #
ANat n => IvoryExpr (Ix n) Source #
Methods wrapExpr :: Expr -> Ix n Source #
IvoryRep (BitRep n) => IvoryExpr (Bits n) Source #
Methods wrapExpr :: Expr -> Bits n Source #
(KnownNullability n, KnownConstancy c, IvoryArea a) => IvoryExpr (Pointer n c s a) Source #
Methods wrapExpr :: Expr -> Pointer n c s a Source #

wrapVarExpr :: IvoryExpr t => Var -> t Source #

typedExpr :: forall t. IvoryVar t => t -> Typed Expr Source #

exprBinop :: IvoryExpr a => (Expr -> Expr -> Expr) -> a -> a -> a Source #

exprUnary :: IvoryExpr a => (Expr -> Expr) -> a -> a Source #

data OpaqueType Source #

An opaque type that can never be implemented.

Constructors

OpaqueType

Instances

IvoryType OpaqueType Source #
Methods ivoryType :: Proxy * OpaqueType -> Type Source #