Safe Haskell | Safe-Infered |
---|
Utilities for constructing and destructing compound types and expressions.
- tUnit :: Type Name
- tInt :: Region Name -> Type Name
- tPair :: Region Name -> Type Name -> Type Name -> Type Name
- tList :: Region Name -> Type Name -> Type Name
- 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
- isUnitX :: Exp a Name -> Bool
- takeHandleT :: Type Name -> Maybe Rgn
- takeHandleX :: Exp a Name -> Maybe Rgn
- takeLocX :: Exp a Name -> Maybe Loc
- stripLocX :: Exp a Name -> Maybe Loc
- takeMutableX :: Exp a Name -> Maybe Rgn
Types
tPair :: Region Name -> Type Name -> Type Name -> Type NameSource
Application of the Pair type constructor.
Witnesses
Expressions
takeLocX :: Exp a Name -> Maybe LocSource
Take a store location from an expression.
We strip off forget
casts along the way