CSPM.TypeChecker.Environment

Synopsis

• type Environment = Map Name SymbolInformation
• new :: Environment
• bind :: Environment -> [(Name, SymbolInformation)] -> Environment
• maybeLookup :: Environment -> Name -> Maybe SymbolInformation
• update :: Environment -> Name -> SymbolInformation -> Environment
• delete :: Environment -> Name -> Environment
• toList :: Environment -> [(Name, SymbolInformation)]
• mkSymbolInformation :: TypeScheme -> SymbolInformation
• data SymbolInformation = SymbolInformation {
  • typeScheme :: TypeScheme
  • isDeprecated :: Bool
  • deprecationReplacement :: Maybe Name
  • isTypeUnsafe :: Bool
  }

Documentation