bolts ~master (2020-08-17T07:19:44Z)

Flatten

bolts meta

Flattens a list of types to their ElementType or in the case of an AliasPack it's .UnpackDeep

If a type is a range then its ElementType is used

template Flatten (
Values...
) {
import std.meta : AliasSeq;;
import std.range : isInputRange;;
import std.traits : isInstanceOf;;
alias Head = Values[0];
alias Tail = Values[1..$];
alias Flatten = Flatten!(Head.UnpackDeep, Flatten!Tail);
import std.range : ElementType;;
alias Flatten = Flatten!(ElementType!Head, Flatten!Tail);
alias Flatten = AliasSeq!(Head, Flatten!Tail);
alias Flatten = AliasSeq!();
}

Members

Aliases

Flatten
alias Flatten = Flatten!(ElementType!Head, Flatten!Tail)
Undocumented in source.
Flatten
alias Flatten = AliasSeq!(Head, Flatten!Tail)
Undocumented in source.
Flatten
alias Flatten = Flatten!(Head.UnpackDeep, Flatten!Tail)
Undocumented in source.
Flatten
alias Flatten = AliasSeq!()
Undocumented in source.
Head
alias Head = Values[0]
Undocumented in source.
Tail
alias Tail = Values[1..$]
Undocumented in source.

Examples

import std.algorithm: filter;
import std.meta: AliasSeq;

alias R1 = typeof([1, 2, 3].filter!"true");
alias R2 = typeof([1.0, 2.0, 3.0]);

static assert(is(Flatten!(int, double) == AliasSeq!(int, double)));
static assert(is(Flatten!(int, R1, R2) == AliasSeq!(int, int, double)));
static assert(is(Flatten!(R1, int) == AliasSeq!(int, int)));

import std.traits: CommonType;
static assert(is(CommonType!(Flatten!(int, R1, R2, float)) == double));

static assert(is(Flatten!(R1, int, AliasPack!(AliasPack!(float, int)), int) == AliasSeq!(int, int, float, int, int)));

Meta

Source

See Implementation

bolts meta aliasestemplates

Page generated by adrdox