|
hobbes
a language, embedded compiler, and runtime for efficient dynamic expression evaluation, data storage and analysis
|
This is the complete list of members for hobbes::TClass, including all inherited members.
| bindings() const | hobbes::TClass | virtual |
| candidateTCInstFns(const TEnvPtr &, const MonoTypes &, TCInstanceFns *) const | hobbes::TClass | private |
| constraints() const | hobbes::TClass | |
| dependencies(const ConstraintPtr &) const | hobbes::TClass | virtual |
| deps() const | hobbes::TClass | |
| explain(const TEnvPtr &tenv, const ConstraintPtr &cst, const ExprPtr &e, Definitions *ds, annmsgs *msgs) | hobbes::TClass | virtual |
| fundeps | hobbes::TClass | private |
| hasGroundInstanceAt(const MonoTypes &) const | hobbes::TClass | |
| insert(const TEnvPtr &tenv, const TCInstancePtr &ip, Definitions *ds) | hobbes::TClass | |
| insert(const TCInstanceFnPtr &ifp) | hobbes::TClass | |
| instanceFns() const | hobbes::TClass | |
| instances() const | hobbes::TClass | |
| la() const | hobbes::LexicallyAnnotated | |
| LexicallyAnnotated(const LexicallyAnnotated &) | hobbes::LexicallyAnnotated | |
| LexicallyAnnotated(const LexicalAnnotation &) | hobbes::LexicallyAnnotated | |
| LexicallyAnnotated(const LexRange &) | hobbes::LexicallyAnnotated | |
| LexicallyAnnotated(const Pos &, const Pos &) | hobbes::LexicallyAnnotated | |
| lookup(const std::string &vn) const | hobbes::TClass | virtual |
| make(const Pos &, const Pos &) | hobbes::LexicallyAnnotated | static |
| matches(const TEnvPtr &tenv, const ConstraintPtr &c, MonoTypeUnifier *, Definitions *ds) const | hobbes::TClass | |
| matches(const TEnvPtr &tenv, const MonoTypes &mts, MonoTypeUnifier *, Definitions *ds) const | hobbes::TClass | |
| Members typedef | hobbes::TClass | |
| members() const | hobbes::TClass | |
| memberType(const std::string &vn) const | hobbes::TClass | |
| name() const | hobbes::TClass | |
| popContext() | hobbes::LexicallyAnnotated | static |
| pushFileContext(const std::string &) | hobbes::LexicallyAnnotated | static |
| pushLiteralContext(const std::string &) | hobbes::LexicallyAnnotated | static |
| refine(const TEnvPtr &tenv, const ConstraintPtr &cst, MonoTypeUnifier *s, Definitions *ds) | hobbes::TClass | virtual |
| refine(const TEnvPtr &tenv, const ConstraintPtr &c, const FunDep &fd, MonoTypeUnifier *s, Definitions *ds) const | hobbes::TClass | private |
| reqs | hobbes::TClass | private |
| satfInstances | hobbes::TClass | mutableprivate |
| satisfiable(const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *ds) const | hobbes::TClass | virtual |
| satisfied(const TEnvPtr &tenv, const ConstraintPtr &cst, Definitions *ds) const | hobbes::TClass | virtual |
| show(std::ostream &) const | hobbes::TClass | |
| TCInstanceFn class | hobbes::TClass | friend |
| tcinstancefns | hobbes::TClass | private |
| tcinstances | hobbes::TClass | private |
| tcinstdb | hobbes::TClass | private |
| TCInstFnDB typedef | hobbes::TClass | private |
| tcinstfndb | hobbes::TClass | private |
| TClass(const Constraints &reqs, const std::string &tcname, int tvs, const Members &tcmembers, const LexicalAnnotation &) | hobbes::TClass | |
| TClass(const Constraints &reqs, const std::string &tcname, int tvs, const Members &tcmembers, const FunDeps &fundeps, const LexicalAnnotation &) | hobbes::TClass | |
| TClass(const std::string &tcname, int tvs, const Members &tcmembers, const LexicalAnnotation &) | hobbes::TClass | |
| TClass(const std::string &tcname, int tvs, const Members &tcmembers, const FunDeps &fundeps, const LexicalAnnotation &) | hobbes::TClass | |
| tcmembers | hobbes::TClass | private |
| TCMonoInstDB typedef | hobbes::TClass | private |
| tcname | hobbes::TClass | private |
| testedInstances | hobbes::TClass | mutableprivate |
| TestedInstances typedef | hobbes::TClass | private |
| tvs | hobbes::TClass | private |
| typeVars() const | hobbes::TClass | |
| unqualify(const TEnvPtr &tenv, const ConstraintPtr &cst, const ExprPtr &e, Definitions *ds) const | hobbes::TClass | virtual |
1.8.13