An unparameterised sequence (e.g., maybe): used to generate parameterised sequences (e.g., maybe[foo]).
More...
#include <MaybeType.h>
Public Member Functions | |
| virtual Type * | Parameterise (const PtrVec< Type > &, const SourceRange &) const override |
 Public Member Functions inherited from fabrique::Type | |
| Type (std::weak_ptr< Type > parent)=delete | |
| TypeContext & | context () const |
| virtual const std::string | name () const |
| virtual TypeMap | fields () const |
| The fields that objects of this type have. More... | |
| virtual void | PrettyPrint (Bytestream &, size_t indent=0) const override |
| Print a human-readable representation to an output stream and return that output stream. | |
| bool | operator== (const Type &) const |
| bool | operator!= (const Type &t) const |
| const PtrVec< Type > & | typeParameters () const |
| size_t | typeParamCount () const |
| const Type & | operator[] (size_t i) const |
| const Type & | Map (TypesMapper, const SourceRange &) const |
| virtual bool | isSubtype (const Type &) const |
| virtual bool | isSupertype (const Type &) const |
| operator bool () const | |
| virtual bool | valid () const |
| virtual bool | hasFields () const |
| virtual bool | isFile () const |
| virtual bool | isFunction () const |
| virtual bool | isString () const |
| virtual bool | isOptional () const |
| virtual bool | isOrdered () const |
| virtual bool | canBeNegated () const |
| virtual const Type & | onAddTo (const Type &) const |
| virtual const Type & | onPrefixWith (const Type &) const |
| Public Member Functions inherited from fabrique::Printable | |
| Printable (const Printable &) | |
| Printable & | operator= (const Printable &) |
| virtual std::string | str () const |
Protected Member Functions | |
| RawMaybeType (TypeContext &) | |
| Protected Member Functions inherited from fabrique::Type | |
| Type (const std::string &, const PtrVec< Type > ¶ms, TypeContext &) | |
Friends | |
| class | TypeContext |
Additional Inherited Members | |
| Public Types inherited from fabrique::Type | |
|
typedef std::pair< std::string, const Type & > | NamedType |
| typedef std::vector< NamedType > | NamedTypeVec |
| typedef StringMap< const Type & > | TypeMap |
|
typedef std::function< PtrVec < Type >const PtrVec< Type > &)> | TypesMapper |
| Static Public Member Functions inherited from fabrique::Type | |
| static const Type & | GetSupertype (const Type &, const Type &) |
| static const Type & | ListOf (const Type &, const SourceRange &) |
| static std::string | UntypedPart (std::string typedName) |
An unparameterised sequence (e.g., maybe): used to generate parameterised sequences (e.g., maybe[foo]).
Definition at line 69 of file MaybeType.h.
