hobbes::inferTypeF Struct Reference

Inheritance diagram for hobbes::inferTypeF:

Collaboration diagram for hobbes::inferTypeF:

Public Member Functions
	inferTypeF (MonoTypeUnifier *s)
MonoTypePtr	with (const MatchLiteral *v) const
MonoTypePtr	with (const MatchAny *v) const
MonoTypePtr	with (const MatchArray *v) const
MonoTypePtr	with (const MatchRegex *) const
MonoTypePtr	with (const MatchRecord *v) const
MonoTypePtr	with (const MatchVariant *v) const

Public Attributes
MonoTypeUnifier *	s

Constructor & Destructor Documentation

inferTypeF()

hobbes::inferTypeF::inferTypeF ( MonoTypeUnifier *  s )

inline

Member Function Documentation

with() [1/6]

MonoTypePtr hobbes::inferTypeF::with ( const MatchLiteral *  v ) const

inlinevirtual

Implements hobbes::switchPattern< MonoTypePtr >.

with() [2/6]

MonoTypePtr hobbes::inferTypeF::with ( const MatchAny *  v ) const

inlinevirtual

Implements hobbes::switchPattern< MonoTypePtr >.

with() [3/6]

MonoTypePtr hobbes::inferTypeF::with ( const MatchArray *  v ) const

inlinevirtual

Implements hobbes::switchPattern< MonoTypePtr >.

with() [4/6]

MonoTypePtr hobbes::inferTypeF::with ( const MatchRegex *  ) const

inlinevirtual

Implements hobbes::switchPattern< MonoTypePtr >.

with() [5/6]

MonoTypePtr hobbes::inferTypeF::with ( const MatchRecord *  v ) const

inlinevirtual

Implements hobbes::switchPattern< MonoTypePtr >.

with() [6/6]

MonoTypePtr hobbes::inferTypeF::with ( const MatchVariant *  v ) const

inlinevirtual

Implements hobbes::switchPattern< MonoTypePtr >.

Member Data Documentation

s

MonoTypeUnifier* hobbes::inferTypeF::s

---

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

• lib/hobbes/lang/pat/pattern.C