hobbes::substituteInto Struct Reference

Inheritance diagram for hobbes::substituteInto:

Collaboration diagram for hobbes::substituteInto:

Public Member Functions
	substituteInto (MonoTypeUnifier *s, UTypeRec &uty)
MonoTypePtr	with (const TVar *v) const
MonoTypePtr	with (const TApp *v) const
MonoTypePtr	with (const FixedArray *v) const
MonoTypePtr	with (const Array *v) const
MonoTypePtr	with (const Variant *v) const
MonoTypePtr	with (const Record *v) const
MonoTypePtr	with (const Func *v) const
MonoTypePtr	with (const Exists *v) const
MonoTypePtr	with (const Recursive *v) const
MonoTypePtr	with (const TExpr *v) const
Public Member Functions inherited from hobbes::switchTyFn
MonoTypePtr	with (const Prim *v) const
MonoTypePtr	with (const OpaquePtr *v) const
MonoTypePtr	with (const TGen *v) const
MonoTypePtr	with (const TAbs *v) const
MonoTypePtr	with (const TString *v) const
MonoTypePtr	with (const TLong *v) const

Public Attributes
MonoTypeUnifier *	s
UTypeRec &	uty

Constructor & Destructor Documentation

substituteInto()

hobbes::substituteInto::substituteInto ( MonoTypeUnifier *  s, UTypeRec &  uty  )

inline

Member Function Documentation

with() [1/10]

MonoTypePtr hobbes::substituteInto::with ( const TVar *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [2/10]

MonoTypePtr hobbes::substituteInto::with ( const TApp *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [3/10]

MonoTypePtr hobbes::substituteInto::with ( const FixedArray *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [4/10]

MonoTypePtr hobbes::substituteInto::with ( const Array *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [5/10]

MonoTypePtr hobbes::substituteInto::with ( const Variant *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [6/10]

MonoTypePtr hobbes::substituteInto::with ( const Record *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [7/10]

MonoTypePtr hobbes::substituteInto::with ( const Func *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [8/10]

MonoTypePtr hobbes::substituteInto::with ( const Exists *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [9/10]

MonoTypePtr hobbes::substituteInto::with ( const Recursive *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [10/10]

MonoTypePtr hobbes::substituteInto::with ( const TExpr *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

Member Data Documentation

s

MonoTypeUnifier* hobbes::substituteInto::s

uty

UTypeRec& hobbes::substituteInto::uty

---

The documentation for this struct was generated from the following file:

• lib/hobbes/lang/typeinf.C