hobbes::switchTyFn Struct Reference

#include <type.H>

Inheritance diagram for hobbes::switchTyFn:

Collaboration diagram for hobbes::switchTyFn:

Public Member Functions
MonoTypePtr	with (const Prim *v) const
MonoTypePtr	with (const OpaquePtr *v) const
MonoTypePtr	with (const TVar *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 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

Member Function Documentation

with() [1/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::unaliasPrimTypesF, and hobbes::repTypeAliasesF.

with() [2/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::repTypeAliasesF.

with() [3/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::substituteF, hobbes::repTypeAliasesF, and hobbes::substituteInto.

with() [4/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::instantiateF, and hobbes::repTypeAliasesF.

with() [5/16]

MonoTypePtr hobbes::switchTyFn::with ( const TAbs *  v ) const

virtual

Implements hobbes::switchType< MonoTypePtr >.

with() [6/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::mapFileRefs, hobbes::repTypeAliasesF, hobbes::substituteInto, and hobbes::injFileReferencesF.

with() [7/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::repTypeAliasesF, and hobbes::substituteInto.

with() [8/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::repTypeAliasesF, and hobbes::substituteInto.

with() [9/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::repTypeAliasesF, and hobbes::substituteInto.

with() [10/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::repTypeAliasesF, and hobbes::substituteInto.

with() [11/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::repTypeAliasesF, and hobbes::substituteInto.

with() [12/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::substituteF, hobbes::repTypeAliasesF, and hobbes::substituteInto.

with() [13/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::substituteF, hobbes::repTypeAliasesF, and hobbes::substituteInto.

with() [14/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::repTypeAliasesF.

with() [15/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::repTypeAliasesF.

with() [16/16]

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

virtual

Implements hobbes::switchType< MonoTypePtr >.

Reimplemented in hobbes::substituteInto.

---

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

• include/hobbes/lang/type.H
• lib/hobbes/lang/type.C