| ||||||||||||||||||||||||
| ||||||||||||||||||||||||
| ||||||||||||||||||||||||
Synopsis | ||||||||||||||||||||||||
| ||||||||||||||||||||||||
Documentation | ||||||||||||||||||||||||
data Analysis | ||||||||||||||||||||||||
| ||||||||||||||||||||||||
Standard (CFA-style) analysis. | ||||||||||||||||||||||||
type Env = Map Name Label | ||||||||||||||||||||||||
Static environment. | ||||||||||||||||||||||||
rho0 :: Env | ||||||||||||||||||||||||
Empty initial environment. | ||||||||||||||||||||||||
lookupName :: Name -> Env -> Label | ||||||||||||||||||||||||
Name lookup in Env. | ||||||||||||||||||||||||
applyEnv :: Env -> Term -> Term | ||||||||||||||||||||||||
Instantiate all the Vars in a Term. | ||||||||||||||||||||||||
genStd | ||||||||||||||||||||||||
| ||||||||||||||||||||||||
input/output analysis | ||||||||||||||||||||||||
genInOut | ||||||||||||||||||||||||
| ||||||||||||||||||||||||
post-apocalyptic analysis. | ||||||||||||||||||||||||
genApoc | ||||||||||||||||||||||||
| ||||||||||||||||||||||||
Main | ||||||||||||||||||||||||
usageMessage :: IO a | ||||||||||||||||||||||||
main :: IO () | ||||||||||||||||||||||||
Produced by Haddock version 0.6 |