hobbes::switchType< T > Struct Template Reference

#include <type.H>

Inheritance diagram for hobbes::switchType< T >:

Collaboration diagram for hobbes::switchType< T >:

Public Member Functions
virtual T	with (const Prim *v) const =0
virtual T	with (const OpaquePtr *v) const =0
virtual T	with (const TVar *v) const =0
virtual T	with (const TGen *v) const =0
virtual T	with (const TAbs *v) const =0
virtual T	with (const TApp *v) const =0
virtual T	with (const FixedArray *v) const =0
virtual T	with (const Array *v) const =0
virtual T	with (const Variant *v) const =0
virtual T	with (const Record *v) const =0
virtual T	with (const Func *v) const =0
virtual T	with (const Exists *v) const =0
virtual T	with (const Recursive *v) const =0
virtual T	with (const TString *v) const =0
virtual T	with (const TLong *v) const =0
virtual T	with (const TExpr *) const =0

Member Function Documentation

with() [1/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const Prim *  v ) const

pure virtual

Implemented in hobbes::unaliasPrimTypesF, hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::encodeCtorForm, hobbes::translateTypeF, hobbes::mtyLT, and hobbes::destructType.

with() [2/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const OpaquePtr *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::encodeCtorForm, hobbes::mtyLT, hobbes::translateTypeF, and hobbes::destructType.

with() [3/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const TVar *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::substituteF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::substituteInto, hobbes::encodeCtorForm, hobbes::translateTypeF, hobbes::destructType, and hobbes::mtyLT.

with() [4/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const TGen *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::instantiateF, hobbes::tgenVarsF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::encodeCtorForm, hobbes::translateTypeF, hobbes::destructType, and hobbes::mtyLT.

with() [5/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const TAbs *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::encodeCtorForm, hobbes::translateTypeF, hobbes::destructType, and hobbes::mtyLT.

with() [6/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const TApp *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::mapFileRefs, hobbes::repTypeAliasesF, hobbes::substituteInto, hobbes::encodeCtorForm, hobbes::translateTypeF, hobbes::injFileReferencesF, hobbes::destructType, and hobbes::mtyLT.

with() [7/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const FixedArray *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::substituteInto, hobbes::encodeCtorForm, hobbes::translateTypeF, hobbes::mtyLT, and hobbes::destructType.

with() [8/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const Array *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::substituteInto, hobbes::encodeCtorForm, hobbes::translateTypeF, hobbes::destructType, and hobbes::mtyLT.

with() [9/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const Variant *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::substituteInto, hobbes::encodeCtorForm, hobbes::translateTypeF, hobbes::mtyLT, and hobbes::destructType.

with() [10/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const Record *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::substituteInto, hobbes::encodeCtorForm, hobbes::mtyLT, hobbes::translateTypeF, and hobbes::destructType.

with() [11/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const Func *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::substituteInto, hobbes::encodeCtorForm, hobbes::translateTypeF, hobbes::mtyLT, and hobbes::destructType.

with() [12/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const Exists *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::substituteF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::substituteInto, hobbes::encodeCtorForm, hobbes::mtyLT, hobbes::translateTypeF, and hobbes::destructType.

with() [13/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const Recursive *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::substituteF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::substituteInto, hobbes::encodeCtorForm, hobbes::mtyLT, hobbes::translateTypeF, and hobbes::destructType.

with() [14/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const TString *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::encodeCtorForm, hobbes::translateTypeF, hobbes::destructType, and hobbes::mtyLT.

with() [15/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const TLong *  v ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::repTypeAliasesF, hobbes::encodeCtorForm, hobbes::translateTypeF, hobbes::destructType, and hobbes::mtyLT.

with() [16/16]

template<typename T>

virtual T hobbes::switchType< T >::with ( const TExpr *  ) const

pure virtual

Implemented in hobbes::encodeMonoTypeF, hobbes::sizeOfF, hobbes::cloneF, hobbes::switchTyFn, hobbes::walkTy, hobbes::substituteInto, hobbes::encodeCtorForm, hobbes::mtyLT, hobbes::translateTypeF, and hobbes::destructType.

---

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

• include/hobbes/lang/type.H