DDC.Core.Eval.Prim

Single step evaluation of primitive operators and constructors.

Documentation

stepPrimCon

Arguments

:: DaCon Name

Data constructor to evaluate.

-> [Exp () Name]

Arguments to constructor.

-> Store

Current store.

-> Maybe (Store, Exp () Name)

New store and result expression, if the operator steps, otherwise Nothing.

Step a primitive constructor, which allocates an object in the store.

stepPrimOp

Arguments

:: Name

Name of operator to evaluate.

-> [Exp () Name]

Arguments to operator.

-> Store

Current store.

-> Maybe (Store, Exp () Name)

New store and result expression, if the operator steps, otherwise Nothing.

Step a primitive operator.

primNewRegion :: Store -> (Store, Bound Name)

Like newRgn but return the region handle wrapped in a Bound.

primDelRegion :: Bound Name -> Store -> Maybe Store

Like delRgn but accept a region handle wrapped in a Bound.