DDC.Core.Salt.Compounds

Types

tVoid :: Type Name

tBool :: Type Name

tNat :: Type Name

tInt :: Type Name

tSize :: Type Name

tWord :: Int -> Type Name

tFloat :: Int -> Type Name

tAddr :: Type Name

tPtr :: Region Name -> Type Name -> Type Name

takeTPtr :: Type Name -> Maybe (Region Name, Type Name)

tTextLit :: Type Name

tTag :: Type Name

tObj :: Type Name

Values

Literals

xBool :: a -> Bool -> Exp a Name

xNat :: a -> Integer -> Exp a Name

xInt :: a -> Integer -> Exp a Name

xSize :: a -> Integer -> Exp a Name

xWord :: a -> Integer -> Int -> Exp a Name

xFloat :: a -> Double -> Int -> Exp a Name

xTag :: a -> Integer -> Exp a Name

xChar :: a -> Char -> Exp a Name

A Character literal.

xTextLit :: a -> Text -> Exp a Name

A Text literal.

Primitive arithmetic operators.

xNeg :: a -> Type Name -> Exp a Name -> Exp a Name

xAdd :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xSub :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xMul :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xDiv :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xMod :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xRem :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xEq :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xNeq :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xLt :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xGt :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xLe :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xGe :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xAnd :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xOr :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xShl :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xShr :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xBAnd :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xBOr :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

xBXOr :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

Primitive cast operators.

xConvert :: a -> Type Name -> Type Name -> Exp a Name -> Exp a Name

Convert a value to a similarly sized type.

xPromote :: a -> Type Name -> Type Name -> Exp a Name -> Exp a Name

Promote a value to a wider type.

xTruncate :: a -> Type Name -> Type Name -> Exp a Name -> Exp a Name

Truncate a value to a narrower type.

Primitive control operators.

xFail :: a -> Type Name -> Exp a Name

Fail with an internal error.

xReturn :: a -> Type Name -> Exp a Name -> Exp a Name

Return a value.

Primitive store operators.

xStoreSize :: a -> Type Name -> Exp a Name

Take the number of bytes needed to store a value of a primitive type.

xStoreSize2 :: a -> Type Name -> Exp a Name

Log2 of the number of bytes needed to store a value of primitive type.

xCreate :: a -> Exp a Name -> Exp a Name

Create the heap.

xRead :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

Read a value from an address plus offset.

xWrite :: a -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name -> Exp a Name

Write a value to an address plus offset.

xPeek :: a -> Type Name -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name

Peek a value from a buffer pointer plus offset.

xPeekBounded :: a -> Type Name -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name -> Exp a Name

Peek a value from a buffer pointer plus offset.

xPoke :: a -> Type Name -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name -> Exp a Name

Poke a value from a buffer pointer plus offset.

xPokeBounded :: a -> Type Name -> Type Name -> Exp a Name -> Exp a Name -> Exp a Name -> Exp a Name -> Exp a Name

Poke a value from a buffer pointer plus offset.

xCastPtr :: a -> Type Name -> Type Name -> Type Name -> Exp a Name -> Exp a Name

Cast a pointer to a different element ype.