|
|
|
|
|
|
|
| Documentation |
|
| makeInterface :: Tree -> Tree -> Map Var Var -> (Var -> Maybe Type) -> IO String |
|
| exportAll :: (?getType :: Var -> Type) -> (?getTypeOp :: Var -> Type) -> (?exportVars :: [Var]) -> [Top] -> String |
|
| exportExtern :: (?exportVars :: [Var]) -> (?getType :: Var -> Type) -> (?getTypeOp :: Var -> Type) -> Top -> String |
|
| exportBind :: (?exportVars :: [Var]) -> (?getType :: Var -> Type) -> (?getTypeOp :: Var -> Type) -> Top -> String |
|
| exportVTT :: (?exportVars :: [Var]) -> Var -> Type -> Type -> String |
|
| Produced by Haddock version 0.7 |
