helium-1.8: The Helium Compiler.

Safe HaskellNone

Helium.ModuleSystem.ImportEnvironment

Description

 

Documentation

type TypeEnvironment = Map Name TpSchemeSource

type ValueConstructorEnvironment = Map Name TpSchemeSource

type TypeConstructorEnvironment = Map Name IntSource

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 :: ImportEnvironmentSource

addTypeConstructor :: Name -> Int -> ImportEnvironment -> ImportEnvironmentSource

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

addType :: Name -> TpScheme -> ImportEnvironment -> ImportEnvironmentSource

addToTypeEnvironment :: TypeEnvironment -> ImportEnvironment -> ImportEnvironmentSource

addValueConstructor :: Name -> TpScheme -> ImportEnvironment -> ImportEnvironmentSource

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

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

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

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

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

setOperatorTable :: OperatorTable -> ImportEnvironment -> ImportEnvironmentSource

getOrderedTypeSynonyms :: ImportEnvironment -> OrderedTypeSynonymsSource

addTypingStrategies :: Core_TypingStrategies -> ImportEnvironment -> ImportEnvironmentSource

removeTypingStrategies :: ImportEnvironment -> ImportEnvironmentSource

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

getSiblings :: ImportEnvironment -> SiblingsSource

combineImportEnvironments :: ImportEnvironment -> ImportEnvironment -> ImportEnvironmentSource

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

createClassEnvironment :: ImportEnvironment -> ClassEnvironmentSource

superClassRelation :: ClassEnvironmentSource

makeInstance :: String -> Int -> String -> InstanceSource

holmesShowImpEnv :: Module -> ImportEnvironment -> StringSource