maam-0.3.0.0: Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers
Lang.LamIf.Values
data Moment Source
Constructors
Fields
Instances
objL :: Lens Moment [Exp] Source
callL :: Lens Moment [Exp] Source
data Time Source
dynamicL :: Lens Time Moment Source
lexicalL :: Lens Time Moment Source
time₀ :: Time Source
data VarAddr Source
varAddrTimeL :: Lens VarAddr Time Source
varAddrNameL :: Lens VarAddr Name Source
data ExpAddr Source
expAddrTimeL :: Lens ExpAddr Time Source
expAddrExpL :: Lens ExpAddr Exp Source
type Env = Name ⇰ VarAddr Source
type Store val = VarAddr ⇰ val Source
data Closure Source
data AtomVal Source
data Frame 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