TipRecord Member List

This is the complete list of members for TipRecord, including all inherited members.

accept(TipTypeVisitor *visitor) override	TipRecord	virtual
arguments	TipCons	protected
arity() const	TipCons	virtual
doMatch(TipType const *t) const	TipCons
getArguments() const	TipCons
getInits()	TipRecord
getNames() const	TipRecord
operator!=(const TipType &other) const override	TipRecord	virtual
operator==(const TipType &other) const override	TipRecord	virtual
print(std::ostream &out) const override	TipRecord	protectedvirtual
setArguments(std::vector< std::shared_ptr< TipType >> &args)	TipCons
TipCons()=default	TipCons
TipCons(std::vector< std::shared_ptr< TipType >> arguments)	TipCons	protected
TipRecord()=delete	TipRecord
TipRecord(std::vector< std::shared_ptr< TipType >> inits, std::vector< std::string > names)	TipRecord
~TipType()=default	TipType	virtual