maam-0.1.0.0: A monadic framework for abstract interpretation.

Safe HaskellNone
LanguageHaskell2010

Examples

Documentation

makeOptions :: [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [(Doc, Options)] Source

withOptions :: [(Doc, Options)] -> Exp -> Doc Source

examplesMain :: IO () Source

e1 :: CVal Cτ Cτ SGCall Source