| interface :: Interface | |
| imports :: (Map String Interface) | |
| importDirs :: [FilePath] | |
| filePaths :: Path | |
| headerSourceTree :: Tree | |
| headerCore :: (Map Var [Top]) | |
| source :: String | |
| sourceTree :: Tree | |
| sourceRenameTrace :: [String] | |
| sourceTyped :: Tree | |
| typeCoreVars :: (Map String Var) | |
| typeSigmaTable :: (Map Var Var) | |
| typeConstraints :: [CTree] | |
| typeCallGraph :: (Map Var [Var]) | |
| typeSlurpTrace :: [String] | |
| typeMapSchemes :: (Var -> Maybe Type) | |
| typeTrace :: [String] | |
| coreTree :: (Map Var [Top]) | |
| coreTypes :: (Map Var Type) | |
| coreMapSchemes :: (Var -> Maybe Type) | |
| coreMapNodes :: (Var -> Maybe Type) | |
| coreMapInst :: (Var -> Maybe Type) | |
| coreMapEffects :: (Var -> Maybe Effect) | |
| coreRegionEffects :: (Map Var [Effect]) | |
| seaTree :: (Map Var [Top]) | |
| seaHeader :: String | |
| seaCode :: String | |
