helium-1.8: The Helium Compiler.

Safe Haskell	None

Helium.ModuleSystem.DictionaryEnvironment

Description

Documentation

data DictionaryEnvironment Source

Instances

Show DictionaryEnvironment

data DictionaryTree Source

Constructors

ByPredicate Predicate
ByInstance String String [DictionaryTree]
BySuperClass String String DictionaryTree

Instances

Show DictionaryTree

emptyDictionaryEnvironment :: DictionaryEnvironment Source

addForDeclaration :: Name -> Predicates -> DictionaryEnvironment -> DictionaryEnvironment Source

addForVariable :: Name -> [DictionaryTree] -> DictionaryEnvironment -> DictionaryEnvironment Source

getPredicateForDecl :: Name -> DictionaryEnvironment -> Predicates Source

getDictionaryTrees :: Name -> DictionaryEnvironment -> [DictionaryTree]Source

makeDictionaryTree :: ClassEnvironment -> Predicates -> Predicate -> Maybe DictionaryTree Source

makeDictionaryTrees :: ClassEnvironment -> Predicates -> Predicates -> Maybe [DictionaryTree]Source