maam-0.2.0.1: An application of the Galois Transformers framework to two example semantics.

Safe HaskellNone
LanguageHaskell2010

Lang.LamIf.Analyses

Documentation

timeChoices :: [(String, ExTime)] Source

valChoices :: [(String, ExVal)] Source

monadChoices :: [(String, ExMonad)] Source

gcChoices :: [(String, AllGC)] Source

closureChoices :: [(String, AllCreateClo)] Source

timeFilterChoices :: [(String, TimeFilter)] Source