Inheritance diagram for hobbes::liftTypeAsAssumpF:
Collaboration diagram for hobbes::liftTypeAsAssumpF:
Public Member Functions | |
| const ExprPtr & | setTy (const ExprPtr &e, const QualTypePtr &qty) const |
| ExprPtr | wrapWithTy (const QualTypePtr &qty, Expr *e) const |
 Public Member Functions inherited from hobbes::switchExprTyFn | |
| virtual QualTypePtr | withTy (const QualTypePtr &qt) const |
| ExprPtr | withConst (const Expr *v) const |
| ExprPtr | with (const Var *v) const |
| ExprPtr | with (const Let *v) const |
| ExprPtr | with (const LetRec *v) const |
| ExprPtr | with (const Fn *v) const |
| ExprPtr | with (const App *v) const |
| ExprPtr | with (const Assign *v) const |
| ExprPtr | with (const MkArray *v) const |
| ExprPtr | with (const MkVariant *v) const |
| ExprPtr | with (const MkRecord *v) const |
| ExprPtr | with (const AIndex *v) const |
| ExprPtr | with (const Case *v) const |
| ExprPtr | with (const Switch *v) const |
| ExprPtr | with (const Proj *v) const |
| ExprPtr | with (const Assump *v) const |
| ExprPtr | with (const Pack *v) const |
| ExprPtr | with (const Unpack *v) const |
| Public Member Functions inherited from hobbes::switchExprC< ExprPtr > | |
| ExprPtr | with (const Unit *v) const |
| ExprPtr | with (const Bool *v) const |
| ExprPtr | with (const Char *v) const |
| ExprPtr | with (const Byte *v) const |
| ExprPtr | with (const Short *v) const |
| ExprPtr | with (const Int *v) const |
| ExprPtr | with (const Long *v) const |
| ExprPtr | with (const Float *v) const |
| ExprPtr | with (const Double *v) const |
Member Function Documentation
◆ setTy()
|
inline |
◆ wrapWithTy()
|
inlinevirtual |
Reimplemented from hobbes::switchExprTyFn.
The documentation for this struct was generated from the following file:
- lib/hobbes/lang/expr.C
