ivory-0.1.0.9: Safe embedded C programming.

Safe HaskellNone
LanguageHaskell2010

Ivory.Language.Type

Synopsis

Documentation

class IvoryType t where Source #

The connection between Haskell and Ivory types.

Methods

ivoryType :: Proxy t -> Type Source #

Instances
IvoryType () Source #

void type

Instance details

Defined in Ivory.Language.Type

Methods

ivoryType :: Proxy () -> Type Source #

IvoryType OpaqueType Source # 
Instance details

Defined in Ivory.Language.Type

Methods

ivoryType :: Proxy OpaqueType -> Type Source #

IvoryType IString Source # 
Instance details

Defined in Ivory.Language.IString

Methods

ivoryType :: Proxy IString -> Type Source #

IvoryType IChar Source # 
Instance details

Defined in Ivory.Language.IChar

Methods

ivoryType :: Proxy IChar -> Type Source #

IvoryType Sint64 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

ivoryType :: Proxy Sint64 -> Type Source #

IvoryType Sint32 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

ivoryType :: Proxy Sint32 -> Type Source #

IvoryType Sint16 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

ivoryType :: Proxy Sint16 -> Type Source #

IvoryType Sint8 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

ivoryType :: Proxy Sint8 -> Type Source #

IvoryType Uint64 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

ivoryType :: Proxy Uint64 -> Type Source #

IvoryType Uint32 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

ivoryType :: Proxy Uint32 -> Type Source #

IvoryType Uint16 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

ivoryType :: Proxy Uint16 -> Type Source #

IvoryType Uint8 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

ivoryType :: Proxy Uint8 -> Type Source #

IvoryType IBool Source # 
Instance details

Defined in Ivory.Language.IBool

Methods

ivoryType :: Proxy IBool -> Type Source #

IvoryType IDouble Source # 
Instance details

Defined in Ivory.Language.Float

Methods

ivoryType :: Proxy IDouble -> Type Source #

IvoryType IFloat Source # 
Instance details

Defined in Ivory.Language.Float

Methods

ivoryType :: Proxy IFloat -> Type Source #

ProcType proc => IvoryType (Def proc) Source # 
Instance details

Defined in Ivory.Language.Proc

Methods

ivoryType :: Proxy (Def proc) -> Type Source #

ProcType proc => IvoryType (ProcPtr proc) Source # 
Instance details

Defined in Ivory.Language.Proc

Methods

ivoryType :: Proxy (ProcPtr proc) -> Type Source #

ANat n => IvoryType (Ix n) Source # 
Instance details

Defined in Ivory.Language.Array

Methods

ivoryType :: Proxy (Ix n) -> Type Source #

IvoryRep (BitRep n) => IvoryType (Bits n) Source # 
Instance details

Defined in Ivory.Language.BitData.Bits

Methods

ivoryType :: Proxy (Bits n) -> Type Source #

(KnownNullability n, KnownConstancy c, IvoryArea a) => IvoryType (Pointer n c s a) Source # 
Instance details

Defined in Ivory.Language.Pointer

Methods

ivoryType :: Proxy (Pointer n c s a) -> Type Source #

class IvoryType t => IvoryVar t where Source #

Lifting a variable name.

Methods

wrapVar :: Var -> t Source #

unwrapExpr :: t -> Expr Source #

Instances
IvoryVar IString Source # 
Instance details

Defined in Ivory.Language.IString

Methods

wrapVar :: Var -> IString Source #

unwrapExpr :: IString -> Expr Source #

IvoryVar IChar Source # 
Instance details

Defined in Ivory.Language.IChar

Methods

wrapVar :: Var -> IChar Source #

unwrapExpr :: IChar -> Expr Source #

IvoryVar Sint64 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapVar :: Var -> Sint64 Source #

unwrapExpr :: Sint64 -> Expr Source #

IvoryVar Sint32 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapVar :: Var -> Sint32 Source #

unwrapExpr :: Sint32 -> Expr Source #

IvoryVar Sint16 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapVar :: Var -> Sint16 Source #

unwrapExpr :: Sint16 -> Expr Source #

IvoryVar Sint8 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapVar :: Var -> Sint8 Source #

unwrapExpr :: Sint8 -> Expr Source #

IvoryVar Uint64 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapVar :: Var -> Uint64 Source #

unwrapExpr :: Uint64 -> Expr Source #

IvoryVar Uint32 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapVar :: Var -> Uint32 Source #

unwrapExpr :: Uint32 -> Expr Source #

IvoryVar Uint16 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapVar :: Var -> Uint16 Source #

unwrapExpr :: Uint16 -> Expr Source #

IvoryVar Uint8 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapVar :: Var -> Uint8 Source #

unwrapExpr :: Uint8 -> Expr Source #

IvoryVar IBool Source # 
Instance details

Defined in Ivory.Language.IBool

Methods

wrapVar :: Var -> IBool Source #

unwrapExpr :: IBool -> Expr Source #

IvoryVar IDouble Source # 
Instance details

Defined in Ivory.Language.Float

Methods

wrapVar :: Var -> IDouble Source #

unwrapExpr :: IDouble -> Expr Source #

IvoryVar IFloat Source # 
Instance details

Defined in Ivory.Language.Float

Methods

wrapVar :: Var -> IFloat Source #

unwrapExpr :: IFloat -> Expr Source #

ProcType proc => IvoryVar (ProcPtr proc) Source # 
Instance details

Defined in Ivory.Language.Proc

Methods

wrapVar :: Var -> ProcPtr proc Source #

unwrapExpr :: ProcPtr proc -> Expr Source #

ANat n => IvoryVar (Ix n) Source # 
Instance details

Defined in Ivory.Language.Array

Methods

wrapVar :: Var -> Ix n Source #

unwrapExpr :: Ix n -> Expr Source #

IvoryRep (BitRep n) => IvoryVar (Bits n) Source # 
Instance details

Defined in Ivory.Language.BitData.Bits

Methods

wrapVar :: Var -> Bits n Source #

unwrapExpr :: Bits n -> Expr Source #

(KnownNullability n, KnownConstancy c, IvoryArea a) => IvoryVar (Pointer n c s a) Source # 
Instance details

Defined in Ivory.Language.Pointer

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.

Methods

wrapExpr :: Expr -> t Source #

Instances
IvoryExpr IString Source # 
Instance details

Defined in Ivory.Language.IString

Methods

wrapExpr :: Expr -> IString Source #

IvoryExpr IChar Source # 
Instance details

Defined in Ivory.Language.IChar

Methods

wrapExpr :: Expr -> IChar Source #

IvoryExpr Sint64 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapExpr :: Expr -> Sint64 Source #

IvoryExpr Sint32 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapExpr :: Expr -> Sint32 Source #

IvoryExpr Sint16 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapExpr :: Expr -> Sint16 Source #

IvoryExpr Sint8 Source # 
Instance details

Defined in Ivory.Language.Sint

Methods

wrapExpr :: Expr -> Sint8 Source #

IvoryExpr Uint64 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapExpr :: Expr -> Uint64 Source #

IvoryExpr Uint32 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapExpr :: Expr -> Uint32 Source #

IvoryExpr Uint16 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapExpr :: Expr -> Uint16 Source #

IvoryExpr Uint8 Source # 
Instance details

Defined in Ivory.Language.Uint

Methods

wrapExpr :: Expr -> Uint8 Source #

IvoryExpr IBool Source # 
Instance details

Defined in Ivory.Language.IBool

Methods

wrapExpr :: Expr -> IBool Source #

IvoryExpr IDouble Source # 
Instance details

Defined in Ivory.Language.Float

Methods

wrapExpr :: Expr -> IDouble Source #

IvoryExpr IFloat Source # 
Instance details

Defined in Ivory.Language.Float

Methods

wrapExpr :: Expr -> IFloat Source #

ANat n => IvoryExpr (Ix n) Source # 
Instance details

Defined in Ivory.Language.Array

Methods

wrapExpr :: Expr -> Ix n Source #

IvoryRep (BitRep n) => IvoryExpr (Bits n) Source # 
Instance details

Defined in Ivory.Language.BitData.Bits

Methods

wrapExpr :: Expr -> Bits n Source #

(KnownNullability n, KnownConstancy c, IvoryArea a) => IvoryExpr (Pointer n c s a) Source # 
Instance details

Defined in Ivory.Language.Pointer

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 # 
Instance details

Defined in Ivory.Language.Type

Methods

ivoryType :: Proxy OpaqueType -> Type Source #