hobbes::expTypeInfF Struct Reference

Inheritance diagram for hobbes::expTypeInfF:

Collaboration diagram for hobbes::expTypeInfF:

Public Member Functions
	expTypeInfF (const TEnvPtr &tenv, MonoTypeUnifier *u, Definitions *ds)
const QualTypePtr &	qt (const QualTypePtr &qty)
QualTypePtr	qt (const Constraints &csts, const MonoTypePtr &mt)
UnitV	mkprim (Expr *e, const std::string &pn) const
UnitV	with (Unit *v)
UnitV	with (Bool *v)
UnitV	with (Char *v)
UnitV	with (Byte *v)
UnitV	with (Short *v)
UnitV	with (Int *v)
UnitV	with (Long *v)
UnitV	with (Float *v)
UnitV	with (Double *v)
UnitV	with (Var *v)
UnitV	with (Let *v)
UnitV	with (LetRec *v)
UnitV	with (Fn *v)
UnitV	with (App *v)
UnitV	with (Assign *v)
UnitV	with (MkArray *v)
UnitV	with (MkVariant *v)
UnitV	with (MkRecord *v)
UnitV	with (AIndex *v)
UnitV	withGenericMeaning (Case *v)
UnitV	with (Case *v)
UnitV	with (Switch *v)
UnitV	with (Proj *v)
UnitV	with (Assump *v)
UnitV	with (Pack *v)
UnitV	with (Unpack *v)

Static Public Member Functions
static TEnvPtr	letRecFrame (const TEnvPtr &ptenv, const LetRec::Bindings &bs)

Public Attributes
const TEnvPtr &	tenv
MonoTypeUnifier *	u
Definitions *	ds

Constructor & Destructor Documentation

expTypeInfF()

hobbes::expTypeInfF::expTypeInfF ( const TEnvPtr &  tenv, MonoTypeUnifier *  u, Definitions *  ds  )

inline

Member Function Documentation

letRecFrame()

static TEnvPtr hobbes::expTypeInfF::letRecFrame ( const TEnvPtr &  ptenv, const LetRec::Bindings &  bs  )

inlinestatic

mkprim()

UnitV hobbes::expTypeInfF::mkprim ( Expr *  e, const std::string &  pn  ) const

inline

qt() [1/2]

const QualTypePtr& hobbes::expTypeInfF::qt ( const QualTypePtr &  qty )

inline

qt() [2/2]

QualTypePtr hobbes::expTypeInfF::qt ( const Constraints &  csts, const MonoTypePtr &  mt  )

inline

with() [1/25]

UnitV hobbes::expTypeInfF::with ( Unit *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [2/25]

UnitV hobbes::expTypeInfF::with ( Bool *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [3/25]

UnitV hobbes::expTypeInfF::with ( Char *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [4/25]

UnitV hobbes::expTypeInfF::with ( Byte *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [5/25]

UnitV hobbes::expTypeInfF::with ( Short *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [6/25]

UnitV hobbes::expTypeInfF::with ( Int *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [7/25]

UnitV hobbes::expTypeInfF::with ( Long *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [8/25]

UnitV hobbes::expTypeInfF::with ( Float *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [9/25]

UnitV hobbes::expTypeInfF::with ( Double *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [10/25]

UnitV hobbes::expTypeInfF::with ( Var *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [11/25]

UnitV hobbes::expTypeInfF::with ( Let *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [12/25]

UnitV hobbes::expTypeInfF::with ( LetRec *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [13/25]

UnitV hobbes::expTypeInfF::with ( Fn *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [14/25]

UnitV hobbes::expTypeInfF::with ( App *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [15/25]

UnitV hobbes::expTypeInfF::with ( Assign *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [16/25]

UnitV hobbes::expTypeInfF::with ( MkArray *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [17/25]

UnitV hobbes::expTypeInfF::with ( MkVariant *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [18/25]

UnitV hobbes::expTypeInfF::with ( MkRecord *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [19/25]

UnitV hobbes::expTypeInfF::with ( AIndex *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [20/25]

UnitV hobbes::expTypeInfF::with ( Case *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [21/25]

UnitV hobbes::expTypeInfF::with ( Switch *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [22/25]

UnitV hobbes::expTypeInfF::with ( Proj *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [23/25]

UnitV hobbes::expTypeInfF::with ( Assump *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [24/25]

UnitV hobbes::expTypeInfF::with ( Pack *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

with() [25/25]

UnitV hobbes::expTypeInfF::with ( Unpack *  v )

inlinevirtual

Implements hobbes::switchExprM< UnitV >.

withGenericMeaning()

UnitV hobbes::expTypeInfF::withGenericMeaning ( Case *  v )

inline

Member Data Documentation

ds

Definitions* hobbes::expTypeInfF::ds

tenv

const TEnvPtr& hobbes::expTypeInfF::tenv

u

MonoTypeUnifier* hobbes::expTypeInfF::u

---

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

• lib/hobbes/lang/typeinf.C