hobbes::instantiateF Class Reference

Inheritance diagram for hobbes::instantiateF:

Collaboration diagram for hobbes::instantiateF:

Public Member Functions
	instantiateF (const MonoTypes &ts)
MonoTypePtr	with (const TGen *v) const
Public Member Functions inherited from hobbes::switchTyFn
MonoTypePtr	with (const Prim *v) const
MonoTypePtr	with (const OpaquePtr *v) const
MonoTypePtr	with (const TVar *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 Exists *v) const
MonoTypePtr	with (const Recursive *v) const
MonoTypePtr	with (const TString *v) const
MonoTypePtr	with (const TLong *v) const
MonoTypePtr	with (const TExpr *) const

Private Attributes
const MonoTypes &	ts

Constructor & Destructor Documentation

instantiateF()

hobbes::instantiateF::instantiateF ( const MonoTypes &  ts )

inline

Member Function Documentation

with()

MonoTypePtr hobbes::instantiateF::with ( const TGen *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

Member Data Documentation

ts

const MonoTypes& hobbes::instantiateF::ts

private

---

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

• lib/hobbes/lang/type.C