hobbes::TApp Class Reference

#include <type.H>

Inheritance diagram for hobbes::TApp:

Collaboration diagram for hobbes::TApp:

Public Member Functions
void	show (std::ostream &) const
const MonoTypePtr &	fn () const
const MonoTypes &	args () const
Public Member Functions inherited from hobbes::MonoTypeCase< TApp >
	MonoTypeCase ()
Public Member Functions inherited from hobbes::MonoType
virtual	~MonoType ()
bool	operator== (const MonoType &rhs) const
int	case_id () const
template<typename Class , typename T , typename ... Args>
MonoTypePtr	makeType (const Args &... args)

Static Public Member Functions
static MonoTypePtr	make (const MonoTypePtr &, const MonoTypes &)

Static Public Attributes
static const int	type_case_id = 12

Private Member Functions
	TApp (const MonoTypePtr &, const MonoTypes &)

Private Attributes
MonoTypePtr	f
MonoTypes	targs

Friends
class	MonoType

Additional Inherited Members
Public Types inherited from hobbes::MonoType
typedef std::shared_ptr< MonoType >	ptr
typedef std::set< std::string >	TypeVarNames
Public Attributes inherited from hobbes::MonoType
TypeVarNames	freeTVars
int	tgenCount
unsigned int	memorySize
ptr	unaliasedType
Protected Member Functions inherited from hobbes::MonoType
	MonoType (int cid)
Static Protected Member Functions inherited from hobbes::MonoType
template<typename Class , typename T , typename ... Args>
static ptr	makeType (const Args &... args)

Constructor & Destructor Documentation

TApp()

hobbes::TApp::TApp ( const MonoTypePtr &  f, const MonoTypes &  targs  )

private

Member Function Documentation

args()

const MonoTypes & hobbes::TApp::args

(

)

const

fn()

const MonoTypePtr & hobbes::TApp::fn

(

)

const

make()

MonoTypePtr hobbes::TApp::make ( const MonoTypePtr &  f, const MonoTypes &  targs  )

static

show()

void hobbes::TApp::show ( std::ostream &  out ) const

virtual

Implements hobbes::MonoType.

Friends And Related Function Documentation

MonoType

friend class MonoType

friend

Member Data Documentation

f

MonoTypePtr hobbes::TApp::f

private

targs

MonoTypes hobbes::TApp::targs

private

type_case_id

const int hobbes::TApp::type_case_id = 12

static

---

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

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