TypeList::LeftFoldList< Op, TypeList, Initial > Struct Template Reference

Like LeftFold, but passing nonempty prefixes, not elements, to Op. More...

#include <TypeList.h>

Classes
struct	Op1

Public Types
using	type = First_t< LeftFold_t< Op1_t, TypeList, List< Initial, Nil > > >

Private Types
template<typename T , typename Pair >
using	Op1_t = typename Op1< T, Pair >::type

Detailed Description

template<template< typename Prefix, typename Accumulator > class Op, typename TypeList, typename Initial>
struct TypeList::LeftFoldList< Op, TypeList, Initial >

Like LeftFold, but passing nonempty prefixes, not elements, to Op.

Definition at line 315 of file TypeList.h.

Member Typedef Documentation

Op1_t

template<template< typename Prefix, typename Accumulator > class Op, typename TypeList , typename Initial >

template<typename T , typename Pair >

using TypeList::LeftFoldList< Op, TypeList, Initial >::Op1_t = typename Op1<T, Pair>::type

private

Definition at line 321 of file TypeList.h.

type

template<template< typename Prefix, typename Accumulator > class Op, typename TypeList , typename Initial >

using TypeList::LeftFoldList< Op, TypeList, Initial >::type = First_t<LeftFold_t<Op1_t, TypeList, List<Initial, Nil> >>

Definition at line 324 of file TypeList.h.

---

The documentation for this struct was generated from the following file:

• TypeList.h