Safe Haskell	None
Language	Haskell2010

Ivory.Language.Type

Synopsis

class IvoryType t where
class IvoryType t => IvoryVar t where
class IvoryVar t => IvoryExpr t where
wrapVarExpr :: IvoryExpr t => Var -> t
typedExpr :: forall t. IvoryVar t => t -> Typed Expr
exprBinop :: IvoryExpr a => (Expr -> Expr -> Expr) -> a -> a -> a
exprUnary :: IvoryExpr a => (Expr -> Expr) -> a -> a
data OpaqueType = OpaqueType

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
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.

Minimal complete definition

wrapVar, unwrapExpr

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.

Minimal complete definition

wrapExpr

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 #