DDC.Core.Eval.Compounds

Utilities for constructing and destructing compound types and expressions.

Types

tUnit :: Type Name

Application of the Unit type constructor.

tInt :: Region Name -> Type Name

Application of the Int type constructor.

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 :: Region Name -> Witness Name

wConst :: Region Name -> Witness Name

wMutable :: Region Name -> Witness Name

wLazy :: Region Name -> Witness Name

wManifest :: Region Name -> Witness Name

wcGlobal :: WiCon Name

wcConst :: WiCon Name

wcMutable :: WiCon Name

wcLazy :: WiCon Name

wcManifest :: WiCon Name

isCapConW :: Witness Name -> Bool

Check whether a witness is a capability constructor.

Expressions

isUnitX :: Exp a Name -> Bool

Check whether an expression is the unit constructor.

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.

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.

takeMutableX :: Exp a Name -> Maybe Rgn

Take a witness of mutability from an expression.