Helium.ModuleSystem.ImportEnvironment
type TypeEnvironment
type ValueConstructorEnvironment
type TypeConstructorEnvironment
type TypeSynonymEnvironment
type ImportEnvironments
data ImportEnvironment
emptyEnvironment
addTypeConstructor
addTypeSynonym
addType
addToTypeEnvironment
addValueConstructor
addOperator
setValueConstructors
setTypeConstructors
setTypeSynonyms
setTypeEnvironment
setOperatorTable
getOrderedTypeSynonyms
addTypingStrategies
removeTypingStrategies
getSiblingGroups
getSiblings
combineImportEnvironments
exclusiveUnion
createClassEnvironment
superClassRelation
makeInstance
holmesShowImpEnv