| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Core.Tetra.Compounds
Contents
- module DDC.Core.Exp.Annot.Compounds
- tBool :: Type Name
- tNat :: Type Name
- tInt :: Type Name
- tSize :: Type Name
- tWord :: Int -> Type Name
- tFloat :: Int -> Type Name
- tPtr :: Type Name -> Type Name -> Type Name
- tTupleN :: [Type Name] -> Type Name
- tUnboxed :: Type Name -> Type Name
- tFunValue :: Type Name -> Type Name
- tCloValue :: Type Name -> Type Name
- tTextLit :: Type Name
- xFunCReify :: a -> Type Name -> Type Name -> Exp a Name -> Exp a Name
- xFunCCurry :: a -> [Type Name] -> Type Name -> Exp a Name -> Exp a Name
- xFunApply :: a -> [Type Name] -> Type Name -> Exp a Name -> [Exp a Name] -> Exp a Name
- xFunCurry :: a -> [Type Name] -> Type Name -> Exp a Name -> Exp a Name
- xCastConvert :: a -> Type Name -> Type Name -> Exp a Name -> Exp a Name
Documentation
module DDC.Core.Exp.Annot.Compounds
Primitive
tPtr :: Type Name -> Type Name -> Type Name Source
Primitive Ptr type with given region and data type
Tetra types.
Expressions
Arguments
| :: a | |
| -> Type Name | Parameter type. |
| -> Type Name | Result type. |
| -> Exp a Name | Input closure. |
| -> Exp a Name | Resulting closure. |
Reify a super or foreign function into a closure.
Arguments
| :: a | |
| -> [Type Name] | Parameter types. |
| -> Type Name | Result type. |
| -> Exp a Name | Input closure. |
| -> Exp a Name | Resulting closure. |
Construct a closure consisting of a top-level super and some arguments.
Arguments
| :: a | |
| -> [Type Name] | Argument types. |
| -> Type Name | Result type. |
| -> Exp a Name | Functional expression. |
| -> [Exp a Name] | Argument expressions. |
| -> Exp a Name |
Apply a closure to more arguments.