Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class IvoryType t where
- class IvoryType t => IvoryVar t where
- wrapVar :: Var -> t
- unwrapExpr :: t -> Expr
- 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.
IvoryType () Source |
|
IvoryType OpaqueType Source | |
IvoryType Sint64 Source | |
IvoryType Sint32 Source | |
IvoryType Sint16 Source | |
IvoryType Sint8 Source | |
IvoryType Uint64 Source | |
IvoryType Uint32 Source | |
IvoryType Uint16 Source | |
IvoryType Uint8 Source | |
IvoryType IString Source | |
IvoryType IChar Source | |
IvoryType IBool Source | |
IvoryType IDouble Source | |
IvoryType IFloat Source | |
ProcType proc => IvoryType (Def proc) Source | |
ProcType proc => IvoryType (ProcPtr proc) Source | |
ANat n => IvoryType (Ix n) Source | |
IvoryRep (BitRep n) => IvoryType (Bits n) Source | |
IvoryArea area => IvoryType (ConstRef s area) Source | |
IvoryArea area => IvoryType (Ref s area) Source | |
IvoryArea area => IvoryType (Ptr s area) Source |
class IvoryType t => IvoryVar t where Source
Lifting a variable name.
IvoryVar Sint64 Source | |
IvoryVar Sint32 Source | |
IvoryVar Sint16 Source | |
IvoryVar Sint8 Source | |
IvoryVar Uint64 Source | |
IvoryVar Uint32 Source | |
IvoryVar Uint16 Source | |
IvoryVar Uint8 Source | |
IvoryVar IString Source | |
IvoryVar IChar Source | |
IvoryVar IBool Source | |
IvoryVar IDouble Source | |
IvoryVar IFloat Source | |
ProcType proc => IvoryVar (ProcPtr proc) Source | |
ANat n => IvoryVar (Ix n) Source | |
IvoryRep (BitRep n) => IvoryVar (Bits n) Source | |
IvoryArea area => IvoryVar (ConstRef s area) Source | |
IvoryArea area => IvoryVar (Ref s area) Source | |
IvoryArea area => IvoryVar (Ptr s area) Source |
class IvoryVar t => IvoryExpr t where Source
Unwrapping for Ivory expressions.
IvoryExpr Sint64 Source | |
IvoryExpr Sint32 Source | |
IvoryExpr Sint16 Source | |
IvoryExpr Sint8 Source | |
IvoryExpr Uint64 Source | |
IvoryExpr Uint32 Source | |
IvoryExpr Uint16 Source | |
IvoryExpr Uint8 Source | |
IvoryExpr IString Source | |
IvoryExpr IChar Source | |
IvoryExpr IBool Source | |
IvoryExpr IDouble Source | |
IvoryExpr IFloat Source | |
ANat n => IvoryExpr (Ix n) Source | |
IvoryRep (BitRep n) => IvoryExpr (Bits n) Source | |
IvoryArea area => IvoryExpr (ConstRef s area) Source | |
IvoryArea area => IvoryExpr (Ref s area) Source | |
IvoryArea area => IvoryExpr (Ptr s area) Source |
wrapVarExpr :: IvoryExpr t => Var -> t Source
data OpaqueType Source
An opaque type that can never be implemented.