helium-1.8.1: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.ModuleSystem.ImportEnvironment

Description

 

Documentation

type TypeEnvironment = Map Name TpScheme Source

type ValueConstructorEnvironment = Map Name TpScheme Source

type TypeConstructorEnvironment = Map Name Int Source

type TypeSynonymEnvironment = Map Name (Int, Tps -> Tp) Source

type ImportEnvironments = [ImportEnvironment] Source

data ImportEnvironment Source

Constructors

ImportEnvironment 

Fields

typeConstructors :: TypeConstructorEnvironment
 
typeSynonyms :: TypeSynonymEnvironment
 
typeEnvironment :: TypeEnvironment
 
valueConstructors :: ValueConstructorEnvironment
 
operatorTable :: OperatorTable
 
typingStrategies :: Core_TypingStrategies
 

Instances

emptyEnvironment :: ImportEnvironment Source

addTypeConstructor :: Name -> Int -> ImportEnvironment -> ImportEnvironment Source

addTypeSynonym :: Name -> (Int, Tps -> Tp) -> ImportEnvironment -> ImportEnvironment Source

addType :: Name -> TpScheme -> ImportEnvironment -> ImportEnvironment Source

addToTypeEnvironment :: TypeEnvironment -> ImportEnvironment -> ImportEnvironment Source

addValueConstructor :: Name -> TpScheme -> ImportEnvironment -> ImportEnvironment Source

addOperator :: Name -> (Int, Assoc) -> ImportEnvironment -> ImportEnvironment Source

setValueConstructors :: Map Name TpScheme -> ImportEnvironment -> ImportEnvironment Source

setTypeConstructors :: Map Name Int -> ImportEnvironment -> ImportEnvironment Source

setTypeSynonyms :: Map Name (Int, Tps -> Tp) -> ImportEnvironment -> ImportEnvironment Source

setTypeEnvironment :: Map Name TpScheme -> ImportEnvironment -> ImportEnvironment Source

setOperatorTable :: OperatorTable -> ImportEnvironment -> ImportEnvironment Source

getOrderedTypeSynonyms :: ImportEnvironment -> OrderedTypeSynonyms Source

addTypingStrategies :: Core_TypingStrategies -> ImportEnvironment -> ImportEnvironment Source

removeTypingStrategies :: ImportEnvironment -> ImportEnvironment Source

getSiblingGroups :: ImportEnvironment -> [[String]] Source

getSiblings :: ImportEnvironment -> Siblings Source

combineImportEnvironments :: ImportEnvironment -> ImportEnvironment -> ImportEnvironment Source

exclusiveUnion :: Ord key => Map key a -> Map key a -> Map key a Source

createClassEnvironment :: ImportEnvironment -> ClassEnvironment Source

superClassRelation :: ClassEnvironment Source

makeInstance :: String -> Int -> String -> Instance Source

holmesShowImpEnv :: Module -> ImportEnvironment -> String Source