hobbes::repTypeAliasesF Struct Reference

Inheritance diagram for hobbes::repTypeAliasesF:

Collaboration diagram for hobbes::repTypeAliasesF:

Public Types
typedef std::pair< str::seq, MonoTypePtr >	TTyDef
typedef std::unordered_map< std::string, TTyDef >	TTyDefs

Public Member Functions
	repTypeAliasesF (const TTyDefs &ttyDefs)
MonoTypePtr	with (const Prim *v) const
MonoTypePtr	with (const TApp *v) const
MonoTypePtr	with (const OpaquePtr *v) const
MonoTypePtr	with (const TVar *v) const
MonoTypePtr	with (const TGen *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
Public Member Functions inherited from hobbes::switchTyFn
MonoTypePtr	with (const TAbs *v) const
MonoTypePtr	with (const TExpr *) const

Static Public Member Functions
static MonoTypePtr	c (const MonoType *v)

Public Attributes
const TTyDefs &	ttyDefs

Member Typedef Documentation

TTyDef

typedef std::pair<str::seq, MonoTypePtr> hobbes::repTypeAliasesF::TTyDef

TTyDefs

typedef std::unordered_map<std::string, TTyDef> hobbes::repTypeAliasesF::TTyDefs

Constructor & Destructor Documentation

repTypeAliasesF()

hobbes::repTypeAliasesF::repTypeAliasesF ( const TTyDefs &  ttyDefs )

inline

Member Function Documentation

c()

static MonoTypePtr hobbes::repTypeAliasesF::c ( const MonoType *  v )

inlinestatic

with() [1/14]

MonoTypePtr hobbes::repTypeAliasesF::with ( const Prim *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [2/14]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [3/14]

MonoTypePtr hobbes::repTypeAliasesF::with ( const OpaquePtr *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [4/14]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [5/14]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [6/14]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [7/14]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [8/14]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [9/14]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [10/14]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [11/14]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [12/14]

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

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [13/14]

MonoTypePtr hobbes::repTypeAliasesF::with ( const TString *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

with() [14/14]

MonoTypePtr hobbes::repTypeAliasesF::with ( const TLong *  v ) const

inlinevirtual

Reimplemented from hobbes::switchTyFn.

Member Data Documentation

ttyDefs

const TTyDefs& hobbes::repTypeAliasesF::ttyDefs

---

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

• lib/hobbes/eval/cc.C