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

Safe HaskellNone
LanguageHaskell2010

Lang.LamIf.Time

Documentation

data TimeParam Source

Constructors

TimeParam 

Fields

lexicalCallDepth :: Maybe ℕ
 
dynamicCallDepth :: Maybe ℕ
 
lexicalObjDepth :: Maybe ℕ
 
dynamicObjDepth :: Maybe ℕ
 

dynamicObjDepthL :: Lens TimeParam (Maybe ℕ) Source

lexicalObjDepthL :: Lens TimeParam (Maybe ℕ) Source

dynamicCallDepthL :: Lens TimeParam (Maybe ℕ) Source

lexicalCallDepthL :: Lens TimeParam (Maybe ℕ) Source

icfa :: TimeParam Source

zcfa :: TimeParam Source

lkcfa :: ℕ -> TimeParam Source

kcfa :: ℕ -> TimeParam Source

locfa :: ℕ -> TimeParam Source

ocfa :: ℕ -> TimeParam Source