helium-1.8: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.ModuleSystem.DictionaryEnvironment

Description

 

Documentation

data DictionaryEnvironment Source

Instances

data DictionaryTree Source

Constructors

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

Instances

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