|
|
|
|
|
|
|
| Documentation |
|
| data LiftS |
| Constructors | | LiftS | | | stateTypes :: (Map Var Type) | | | stateTopVars :: (Set Var) | | | stateVarGen :: VarId | | | stateCoreVars :: (Map String Var) | | | stateHeaderCore :: (Map Var [Top]) | | | stateChopped :: [(Var, Var, Top)] | A list of bindings chopped out on this pass
old name, new (top level) name, expression
| | stateBindVars :: (Map Var [(Var, Type)]) | What the free vars were in a lifted binding
top level name, (var, type) for each free var.
| | stateBinds :: [Stmt] | A list of binds
used in Lift.Patch
|
|
|
|
|
| type LiftM = State LiftS |
|
| bindType :: Var -> Type -> LiftM () |
|
| getType :: Var -> LiftM Type |
|
| addTopVar :: Var -> LiftM () |
|
| getTopVars :: LiftM (Set Var) |
|
| newVar :: LiftM Var |
|
| addChopped :: Var -> Var -> Top -> LiftM () |
|
| getChopped :: LiftM [(Var, Var, Top)] |
|
| addBindVars :: Var -> [(Var, Type)] -> LiftM () |
|
| lookupBindVars :: Var -> LiftM (Maybe [(Var, Type)]) |
|
| Produced by Haddock version 0.7 |
