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

Safe Haskell	None
Language	Haskell2010

Lang.LamIf.Values

Documentation

data Moment Source

Constructors

Moment
Fields call :: [Exp] obj :: [Exp]

Instances

Eq Moment Source
Ord Moment Source
Pretty [Exp] => Pretty Moment Source

objL :: Lens Moment [Exp] Source

callL :: Lens Moment [Exp] Source

data Time Source

Constructors

Time
Fields lexical :: Moment dynamic :: Moment

Instances

Eq Time Source
Ord Time Source
POrd Time Source
Pretty Moment => Pretty Time Source

dynamicL :: Lens Time Moment Source

lexicalL :: Lens Time Moment Source

time₀ :: Time Source

data VarAddr Source

Constructors

VarAddr
Fields varAddrName :: Name varAddrTime :: Time

Instances

Eq VarAddr Source
Ord VarAddr Source
POrd VarAddr Source
(Pretty Name, Pretty Time) => Pretty VarAddr Source

varAddrTimeL :: Lens VarAddr Time Source

varAddrNameL :: Lens VarAddr Name Source

data ExpAddr Source

Constructors

ExpAddr
Fields expAddrExp :: Exp expAddrTime :: Time

Instances

Eq ExpAddr Source
Ord ExpAddr Source
POrd ExpAddr Source
(Pretty Exp, Pretty Time) => Pretty 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

Constructors

Closure
Fields closureExp :: Exp closureArg :: Name closureBody :: Exp closureEnv :: Env closureTime :: Moment

Instances

Eq Closure Source
Ord Closure Source
(Pretty Exp, Pretty Name, Pretty Env, Pretty Moment) => Pretty Closure Source

data AtomVal Source

Constructors

AtomValInt ℤ
AtomValAddr VarAddr
AtomValClo Closure
AtomValOp Op AtomVal AtomVal

Instances

Eq AtomVal Source
Ord AtomVal Source
(Pretty ℤ, Pretty VarAddr, Pretty Closure, Pretty Op, Pretty AtomVal) => Pretty AtomVal Source

data Frame Source

Constructors

IfH Exp Exp Env Moment
LetH Name Exp Env Moment
OpL Op Exp Env Moment
OpR AtomVal Op
AppL Exp Env Moment
AppR AtomVal

Instances

Eq Frame Source
Ord Frame Source
(Pretty Exp, Pretty Env, Pretty Moment, Pretty Name, Pretty Op, Pretty AtomVal) => Pretty 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

Instances

Val ConcreteVal Source
Val AbstractVal Source