DDC.Core.Eval.Compounds

Utilities for constructing and destructing compound types and expressions.

Documentation

module DDC.Core.Compounds

Types

tPair :: Region Name -> Type Name -> Type Name -> Type Name

Application of the Pair type constructor.

tList :: Region Name -> Type Name -> Type Name

Application of the List type constructor.

Witnesses

wGlobal :: a -> Region Name -> Witness a Name

wConst :: a -> Region Name -> Witness a Name

wMutable :: a -> Region Name -> Witness a Name

wDistinct :: a -> Int -> [Region Name] -> Witness a Name

wLazy :: a -> Region Name -> Witness a Name

wManifest :: a -> Region Name -> Witness a Name

wcGlobal :: WiCon Name

wcConst :: WiCon Name

wcMutable :: WiCon Name

wcDistinct :: Int -> WiCon Name

wcLazy :: WiCon Name

wcManifest :: WiCon Name

isCapConW :: Witness a Name -> Bool

Check whether a witness is a capability constructor.

Expressions

takeMutableX :: Exp a Name -> Maybe Rgn

Take a witness of mutability from an expression.

Units

isUnitX :: Exp a Name -> Bool

Check whether an expression is the unit constructor.

Region Handles

takeHandleT :: Type Name -> Maybe Rgn

Take a region handle from a type.

takeHandleX :: Exp a Name -> Maybe Rgn

Take a region handle from an expression.

Store Locations.

xLoc :: Loc -> Type Name -> Exp () Name

Make a location expression.

takeLocX :: Exp a Name -> Maybe Loc

Take a store location from an expression. We strip off forget casts along the way

stripLocX :: Exp a Name -> Maybe Loc

Take a store location from an expression, reaching under any forget casts.

Integers

tInt :: Region Name -> Type Name

Application of the Int type constructor.

tcInt :: TyCon Name

The integer type constructor

dcInt :: Integer -> DaCon Name

Make an integer data constructor.

takeIntDC :: DaCon Name -> Maybe Integer

Take an integer literal from an data constructor.

takeIntX :: Exp a Name -> Maybe Integer

Take an integer literal from an expression.