The OpenD Programming Language

Annotated

A convenience definition of an annotated value.

A structure that behaves like a recursive algebraic type should define enum _serdeRecursiveAlgebraic; member.

@serdeRegister

@serdeAnnotation

struct Annotated (

T

) {

@serdeAnnotation

string[] annotations;

enum bool isVariant(T); via import mir.algebraic : isVariant;;

static if(_alloc_)

inout(T) value();

static if(_alloc_)

T value(T value);

static if(_alloc_)

bool opEquals(Annotated rhs);

static if(!(_alloc_))

this(string[] annotations, Args args);

enum bool isAssociativeArray(T); via import std.traits : isAssociativeArray, isAggregateType;;

enum bool isAggregateType(T); via import std.traits : isAssociativeArray, isAggregateType;;

int opCmp(typeof(this) rhs);

}

Constructors

this this(string[] annotations, Args args)

Members

Functions

opCmp int opCmp(typeof(this) rhs)
opEquals bool opEquals(Annotated rhs)
value inout(T) value()
value T value(T value)

Variables

annotations string[] annotations;
value T value;

Examples

auto annotations = ["annotation"];
static struct S {double x;}
auto as = Annotated!S(annotations, 5);
assert(as.annotations == annotations);
assert(as.value.x == 5);

static struct C {double x;}
auto ac = Annotated!S(annotations, 5);
assert(ac.annotations == annotations);
assert(ac.value.x == 5);

import mir.algebraic;
auto annotations = ["annotation"];
static struct S {double x;}
auto as = Annotated!(Variant!S)(annotations, 5);
assert(as.annotations == annotations);
assert(as.value.x == 5);

static struct C {double x;}
auto ac = Annotated!(Variant!S)(annotations, 5);
assert(ac.annotations == annotations);
assert(ac.value.x == 5);

Meta

Source

See Implementation

mir annotated structs