A type that represents an ordered sequence. More...
#include <BooleanType.h>
Public Member Functions | |
virtual const Type & | onAddTo (const Type &) 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 & | onPrefixWith (const Type &) const |
Public Member Functions inherited from fabrique::Printable | |
Printable (const Printable &) | |
Printable & | operator= (const Printable &) |
virtual std::string | str () const |
Static Public Member Functions | |
static const Type & | get (TypeContext &) |
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) |
Protected Member Functions | |
BooleanType (TypeContext &) | |
Protected Member Functions inherited from fabrique::Type | |
Type (const std::string &, const PtrVec< Type > ¶ms, TypeContext &) | |
virtual Type * | Parameterise (const PtrVec< Type > &, const SourceRange &) const |
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 |
A type that represents an ordered sequence.
Definition at line 45 of file BooleanType.h.