maam-0.3.0.0: Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers

Safe HaskellNone
LanguageHaskell2010

Lang.LamIf.Values

Documentation

data Moment Source

Constructors

Moment 

Fields

call :: [Exp]
 
obj :: [Exp]
 

type Store val = VarAddr val Source

type KStore val = Maybe ExpAddr val Source

class Val val where Source

Methods

intI :: -> val Source

isZeroE :: val -> 𝒫 𝔹 Source

delZero :: val -> val Source

cloI :: Closure -> val Source

cloE :: val -> 𝒫 Closure Source

frameI :: (Frame, Maybe ExpAddr) -> val Source

frameE :: val -> 𝒫 (Frame, Maybe ExpAddr) Source

δ :: Op -> val -> val -> val Source