hobbes::substituteF Class Reference

Inheritance diagram for hobbes::substituteF:

Collaboration diagram for hobbes::substituteF:

Public Member Functions
	substituteF (bool transitive, const MonoTypeSubst &s)
MonoTypePtr	with (const TVar *v) const
MonoTypePtr	with (const Exists *v) const
MonoTypePtr	with (const Recursive *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 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 TString *v) const
MonoTypePtr	with (const TLong *v) const
MonoTypePtr	with (const TExpr *) const

Private Attributes
bool	transitive
const MonoTypeSubst &	s

Constructor & Destructor Documentation

substituteF()

hobbes::substituteF::substituteF ( bool  transitive, const MonoTypeSubst &  s  )

inline

Member Function Documentation

with() [1/3]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [2/3]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [3/3]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

Member Data Documentation

s

const MonoTypeSubst& hobbes::substituteF::s

private

transitive

bool hobbes::substituteF::transitive

private

---

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

• lib/hobbes/lang/type.C