Stg.Machine.Evaluate.Common

Definitions useful for all state transition modules.

Primops

data PrimError

Possible errors of primops

Constructors

Div0

Division by zero

applyPrimOp :: PrimOp -> Integer -> Integer -> Validate PrimError Integer

Apply a primop to two actual integers

Algebraic matching

data AltMatch alt

Successful alternative match, used for finding the right branch in case

Constructors

AltMatches alt

DefaultMatches DefaultAlt

data AltError

Possible errors when looking up alternatives

Constructors

BadAlt

Algebraic/primitive alternative in primitive/algebraic case

lookupAlgebraicAlt :: Alts -> Constr -> Validate AltError (AltMatch AlgebraicAlt)

Look up an algebraic constructor among the given alternatives, and return the first match. If nothing matches, return the default alternative.

Primitive matching

lookupPrimitiveAlt :: Alts -> Literal -> Validate AltError (AltMatch PrimitiveAlt)

lookupAlgebraicAlt for primitive literals.