|
tipc
A TIP to LLVM compiler
|
This is the complete list of members for FreshAlphaCopier, including all inherited members.
| context | FreshAlphaCopier | |
| Copier()=default | Copier | |
| copy(TipType *t, ASTNode *context) | FreshAlphaCopier | static |
| Copier::copy(std::shared_ptr< TipType > s) | Copier | static |
| endVisit(TipAlpha *element) override | FreshAlphaCopier | virtual |
| Copier::endVisit(TipVar *element) override | Copier | virtual |
| Substituter::endVisit(TipFunction *element) override | Substituter | virtual |
| Substituter::endVisit(TipInt *element) override | Substituter | virtual |
| Substituter::endVisit(TipMu *element) override | Substituter | virtual |
| Substituter::endVisit(TipRecord *element) override | Substituter | virtual |
| Substituter::endVisit(TipAbsentField *element) override | Substituter | virtual |
| Substituter::endVisit(TipRef *element) override | Substituter | virtual |
| FreshAlphaCopier()=default | FreshAlphaCopier | |
| getResult() | Substituter | |
| substitute(TipType *t, TipVar *v, std::shared_ptr< TipType > s) | Substituter | static |
| Substituter()=default | Substituter | protected |
| Substituter(TipVar *t, std::shared_ptr< TipType > s) | Substituter | inline |
| visit(TipAlpha *element) | TipTypeVisitor | inlinevirtual |
| visit(TipFunction *element) | TipTypeVisitor | inlinevirtual |
| visit(TipInt *element) | TipTypeVisitor | inlinevirtual |
| visit(TipMu *element) | TipTypeVisitor | inlinevirtual |
| visit(TipRecord *element) | TipTypeVisitor | inlinevirtual |
| visit(TipAbsentField *element) | TipTypeVisitor | inlinevirtual |
| visit(TipRef *element) | TipTypeVisitor | inlinevirtual |
| visit(TipVar *element) | TipTypeVisitor | inlinevirtual |
| visitedTypes | Substituter | protected |
1.9.1