extractImplicit

Undocumented in source.

template extractImplicit (

) {

alias unpack(I) = I.getImplicated!();

alias implications = getUDAs!(A, Implies);

alias locallyImplicated = staticMap!(unpack, implications);

template step(size_t i, Acc...);

alias theirImplications = step!(0);

alias extractImplicit = AliasSeq!(locallyImplicated, theirImplications);

alias extractImplicit = locallyImplicated;

}

Members

Aliases

extractImplicit alias extractImplicit = AliasSeq!(locallyImplicated, theirImplications): Undocumented in source.
extractImplicit alias extractImplicit = locallyImplicated: Undocumented in source.
implications alias implications = getUDAs!(A, Implies): Undocumented in source.
locallyImplicated alias locallyImplicated = staticMap!(unpack, implications): Undocumented in source.
theirImplications alias theirImplications = step!(0): Undocumented in source.
unpack alias unpack(I) = I.getImplicated!(): Undocumented in source.

Templates

step template step(size_t i, Acc...): Undocumented in source.

Meta

Source

See Implementation

glued annotations core_impl aliases

enums

templates