ddc-core-eval-0.4.1.3: Disciplined Disciple Compiler semantic evaluator for the core language.

Safe HaskellNone

DDC.Core.Eval.Prim

Description

Single step evaluation of primitive operators and constructors.

Synopsis

Documentation

stepPrimConSource

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.

stepPrimOpSource

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)Source

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

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

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