maam-0.1.0.0: A monadic framework for abstract interpretation.

Index - E

e1Examples
elemFP.Core, FP
elemAtNFP.Core, FP
elimBoolLang.CPS.StateSpace, Lang.CPS
elimCloLang.CPS.StateSpace, Lang.CPS
emptyFP.Core, FP
EmptyMapFP.Core, FP
EmptySetFP.Core, FP
endFP.Parser
Endo 
1 (Type/Class)FP.Core, FP
2 (Data Constructor)FP.Core, FP
Env 
1 (Type/Class)Lang.Lam.Passes, Lang.Lam
2 (Data Constructor)Lang.Lam.Passes, Lang.Lam
3 (Type/Class)Lang.CPS.StateSpace, Lang.CPS
env0 
1 (Function)FP.Pretty
2 (Function)Lang.Lam.Passes, Lang.Lam
EQFP.Core, FP
EqFP.Core, FP
errorFP.Core, FP
errorCommuteFP.Monads, FP
errorEFP.Core, FP
errorIFP.Core, FP
errorReaderCommuteFP.Monads, FP
errorStateCommuteFP.Monads, FP
ErrorT 
1 (Type/Class)FP.Core, FP
2 (Data Constructor)FP.Core, FP
evalKonFP.Monads, FP
evalKonTFP.Monads, FP
evalOpaqueKonFP.Monads, FP
evalOpaqueKonTFP.Monads, FP
evalStateFP.Monads, FP
evalStateTFP.Monads, FP
evalStStateTLang.Lam.Passes, Lang.Lam
examplesMainExamples
exec 
1 (Function)FP.Core, FP
2 (Function)Lang.CPS.Semantics, Lang.CPS
execCollectLang.CPS.Semantics, Lang.CPS
execDocFP.Pretty
execStateFP.Monads, FP
execStateTFP.Monads, FP
ExecutionLang.CPS.Semantics, Lang.CPS
execWriterTFP.Monads, FP
ExMonad 
1 (Type/Class)Lang.CPS.Semantics, Lang.CPS
2 (Data Constructor)Lang.CPS.Semantics, Lang.CPS
ExpLang.Lam.Syntax, Lang.Lam
expLang.Lam.Parser, Lang.Lam
ExSigma 
1 (Type/Class)Lang.CPS.Semantics, Lang.CPS
2 (Data Constructor)Lang.CPS.Semantics, Lang.CPS
extendFP.Core, FP
ExTime 
1 (Type/Class)Lang.CPS.Semantics, Lang.CPS
2 (Data Constructor)Lang.CPS.Semantics, Lang.CPS
ExVal 
1 (Type/Class)Lang.CPS.Semantics, Lang.CPS
2 (Data Constructor)Lang.CPS.Semantics, Lang.CPS