hobbes::Func Class Reference

#include <type.H>

Inheritance diagram for hobbes::Func:

Collaboration diagram for hobbes::Func:

Public Member Functions
void	show (std::ostream &out) const
const MonoTypePtr &	argument () const
const MonoTypePtr &	result () const
MonoTypes	parameters () const
Public Member Functions inherited from hobbes::MonoTypeCase< Func >
	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 MonoTypePtr &)

Static Public Attributes
static const int	type_case_id = 8

Private Member Functions
	Func (const MonoTypePtr &, const MonoTypePtr &)

Private Attributes
MonoTypePtr	aty
MonoTypePtr	rty

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

Func()

hobbes::Func::Func ( const MonoTypePtr &  aty, const MonoTypePtr &  rty  )

private

Member Function Documentation

argument()

const MonoTypePtr & hobbes::Func::argument

(

)

const

make()

MonoTypePtr hobbes::Func::make ( const MonoTypePtr &  aty, const MonoTypePtr &  rty  )

static

parameters()

MonoTypes hobbes::Func::parameters

(

)

const

result()

const MonoTypePtr & hobbes::Func::result

(

)

const

show()

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

virtual

Implements hobbes::MonoType.

Friends And Related Function Documentation

MonoType

friend class MonoType

friend

Member Data Documentation

aty

MonoTypePtr hobbes::Func::aty

private

rty

MonoTypePtr hobbes::Func::rty

private

type_case_id

const int hobbes::Func::type_case_id = 8

static

---

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

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