The OpenD Programming Language

TaggedUnion.TaggedUnion

Undocumented in source.

template TaggedUnion(U)

struct TaggedUnion {

alias FieldTypeTuple = Fields via import std.traits : FieldTypeTuple, FieldNameTuple, Largest, hasElaborateCopyConstructor, hasElaborateDestructor, isCopyable;;

template FieldNameTuple(T) via import std.traits : FieldTypeTuple, FieldNameTuple, Largest, hasElaborateCopyConstructor, hasElaborateDestructor, isCopyable;;

template Largest(T...) via import std.traits : FieldTypeTuple, FieldNameTuple, Largest, hasElaborateCopyConstructor, hasElaborateDestructor, isCopyable;;

eponymoustemplate isCopyable(S) via import std.traits : FieldTypeTuple, FieldNameTuple, Largest, hasElaborateCopyConstructor, hasElaborateDestructor, isCopyable;;

template templateOr(Preds...) via import std.meta : templateOr;;

auto toUpper(C c) via import std.ascii : toUpper;;

alias Kind = UnionFieldEnum!U;

bool opEquals(inout(TaggedUnion) other);

static if(allSatisfy!(isHashable, FieldTypes))

size_t toHash();

Kind kind [@property getter];

bool hasType [@property getter];

ref value [@property getter];

inout(T) value [@property getter];

FieldTypes[kind] set(FieldTypes[kind] value);

void toString(W w);

}

Destructor

A destructor is present on this object, but not explicitly documented in the source.

Postblit

A postblit is present on this object, but not explicitly documented in the source.

Members

Aliases

Kind alias Kind = UnionFieldEnum!U: A type enum that identifies the type of value currently stored.

Functions

opCast T opCast(): Enables conversion or extraction of the stored value.
opEquals bool opEquals(inout(TaggedUnion) other): Enables equality comparison with the stored value.
set FieldTypes[kind] set(FieldTypes[kind] value): Sets a new value of the specified kind.
set void set(): Sets a void value of the specified kind.
toHash size_t toHash(): Enables using a tagged union value as an associative array key.
toString void toString(W w): Converts the contained value to a string.

Properties

hasType bool hasType [@property getter]: Checks whether the currently stored value has a given type.
kind Kind kind [@property getter]: The type ID of the currently stored value.
value ref value [@property getter]: Accesses the contained value by reference.
value inout(T) value [@property getter]: Accesses the contained value by reference.

Meta

Source

See Implementation

taggedalgebraic taggedunion TaggedUnion structs

TaggedUnion