Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- module DDC.Core.Exp.Annot
- tVoid :: Type Name
- 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
Primitive
tPtr :: Type Name -> Type Name -> Type Name Source #
Primitive Ptr
type with given region and data type
Tetra types.
Expressions
:: 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.
:: 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.
:: 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.