DDC.Core.Eval.Store

Definition of the store.

Documentation

data Store

Constructors

Store

Fields

storeNextLoc :: Int

Next store location to allocate.

storeNextRgn :: Int

Next region handle to allocate.

storeRegions :: Set Rgn

Region handles already allocated.

storeGlobal :: Set Rgn

Regions that are marked as global, and are not deallocated with a stack discipline.

storeBinds :: Map Loc (Rgn, Type Name, SBind)

Map of locations to store bindings, their types, and the handle for the regions they're in.

Instances

Show Store

Pretty Store

data Loc

A store location, tagged with the type of the value contained at that location.

These are pretty printed like l4#.

Constructors

Loc Int (Type Name)

Instances

Eq Loc

Ord Loc

Show Loc

Pretty Loc

NFData Loc

data Rgn

A region handle.

These are pretty printed like r5#.

Constructors

Rgn Int

Instances

Eq Rgn

Ord Rgn

Show Rgn

Pretty Rgn

NFData Rgn

data SBind

Store binding. These are naked objects that can be allocated directly into the heap.

Constructors

SObj

An algebraic data constructor.

Fields

sbindDataTag :: DaCon Name

sbindDataArgs :: [Loc]

SLams

Lambda abstraction, used for recursive bindings. The flag indicates whether each binder is level-1 (True) or level-0 (False).

Fields

sbindLamBinds :: [(Bool, Bind Name)]

sbindLamBody :: Exp () Name

SThunk

A thunk, used for lazy evaluation.

Fields

sbindThunkExp :: Exp () Name

Instances

Eq SBind

Show SBind

Pretty SBind

Operators

initial :: Store

Initial store containing the preallocated regions and bindings.

locUnit :: Loc

Location of the static unit object.

isUnitOrLocX :: Show a => Exp a Name -> Bool

Check whether an expression is the unit constructor, or its static heap location.

newLoc :: Type Name -> Store -> (Store, Loc)

Create a new location in the store.

newLocs :: [Type Name] -> Store -> (Store, [Loc])

Create several new locations in the store.

newRgn :: Store -> (Store, Rgn)

Create a new region in the store.

newRgns :: Int -> Store -> (Store, [Rgn])

Create several new regions in the store

delRgn :: Rgn -> Store -> Store

Delete a region, removing all its bindings.

hasRgn :: Store -> Rgn -> Bool

Check whether a store contains the given region.

setGlobal :: Rgn -> Store -> Store

Set a region as being global.

addBind :: Loc -> Rgn -> Type Name -> SBind -> Store -> Store

Add a store binding to the store, at the given location.

allocBind :: Rgn -> Type Name -> SBind -> Store -> (Store, Loc)

Allocate a new binding into the given region, returning the new location.

allocBinds :: [[Loc] -> (Rgn, Type Name, SBind)] -> [Type Name] -> Store -> (Store, [Loc])

Alloc some recursive bindings into the given region, returning the new locations.

lookupBind :: Loc -> Store -> Maybe SBind

Lookup a the binding for a location.

lookupTypeOfLoc :: Loc -> Store -> Maybe (Type Name)

Lookup the type of a store location.

lookupRegionTypeBind :: Loc -> Store -> Maybe (Rgn, Type Name, SBind)

Lookup the region handle, type and binding for a location.