List
◆ accumulate
template<class lbd , class state , class... seqs>
| using metal::accumulate = typedef detail::call< if_<same<size<seqs>...>, detail::_accumulate<lbd> >::template type, state, seqs...> |
#include <metal/list/accumulate.hpp>
Description
Computes the recursive invocation of a binary Lambda with the result of the previous invocation and each element of one or more Lists traversed in parallel from the beginning to the end.
Usage
For any Lambda lbd, Value val and Lists l_0, ..., l_n-1
using result = metal::accumulate<lbd, val, l_0, ..., l_n-1>;
- Precondition
- :
metal::size<l_0>{} == metal::size<>{}... == metal::size<l_n-1>{}
- Returns
- : Value
- Semantics:
- Equivalent to whereusing result =lbd(... lbd(lbd(val, l[0]...), l[1]...), ..., l[m-1]...)
l[N]...stands forl_0[N], ...[N], l_n-1[N]andlbd(x, y)stands formetal::invoke<lbd, x, y>.
Example
template<class val, class num>
using add_extent = val[num::value];
using ext = metal::numbers<3, 5, 2>;
using a = metal::list<int, int&, int*, int[]>;
using b = metal::list<char, char&, char*, char[]>;
using c = metal::list<float, float&, float*, float[]>;
IS_SAME(
int, char, float,
int&, char&, float&,
int*, char*, float*,
int[], char[], float[]
>
);
See Also
◆ all_of
template<class seq , class lbd >
| using metal::all_of = typedef metal::apply<metal::lambda<metal::and_>, metal::transform<lbd, seq> > |
#include <metal/list/all_of.hpp>
Description
Checks whether a predicate holds for all elements of a List.
Usage
using result = metal::all_of<l, lbd>;
- Precondition
- : For any element
l[i]contained inl,metal::invoke<lbd, l[i]>returns a Number
- Returns
- : Number
- Semantics:
- If
metal::invoke<lbd, l[i]>{} != falsefor alll[i]contained inl, thenotherwiseusing result = metal::true_;using result = metal::false_;
Example
See Also
◆ any_of
template<class seq , class lbd >
| using metal::any_of = typedef metal::apply<metal::lambda<metal::or_>, metal::transform<lbd, seq> > |
#include <metal/list/any_of.hpp>
Description
Checks whether a predicate holds for at least some element of a List.
Usage
using result = metal::any_of<l, lbd>;
- Precondition
- : For any element
l[i]contained inl,metal::invoke<lbd, l[i]>returns a Number
- Returns
- : Number
- Semantics:
- If
metal::invoke<lbd, l[i]>{} != falsefor at least somel[i]contained inl, thenotherwiseusing result = metal::true_;using result = metal::false_;
Example
See Also
◆ append
template<class seq , class... vals>
| using metal::append = typedef metal::join<seq, metal::list<vals...> > |
◆ as_list
template<class val >
| using metal::as_list = typedef typename detail::_as_list<val>::type |
#include <metal/list/list.hpp>
Description
Given any Value that is a specialization of a template class or union whose template parameters are all themselves Values, constructs a List that contains all those Values.
Usage
For any Value val
using result = metal::as_list<val>;
- Returns
- : List
Example
IS_SAME(metal::as_list<std::shared_ptr<int>>, metal::list<int>);
IS_SAME(
metal::as_list<std::unique_ptr<int>>,
metal::list<int, std::default_delete<int>>
);
IS_SAME(
metal::as_list<std::tuple<int, char, float>>,
);
See Also
◆ at
template<class seq , class num >
| using metal::at = typedef detail::call<detail::_at<seq>::template type, num> |
#include <metal/list/at.hpp>
Description
Retrieves an element of a List at an arbitrary position.
Usage
using result = metal::at<l, num>;
- Precondition
- :
metal::number<0>{} ≤ num{} < metal::size<l>{}
- Returns
- : Value
- Semantics:
- If
lcontains elementsl[0], ..., l[i], ..., l[m-1]andnum{} == i, thenusing result = l[i];
Example
See Also
◆ back
template<class seq >
| using metal::back = typedef metal::at<seq, metal::dec<metal::size<seq> >> |
#include <metal/list/back.hpp>
Description
Retrieves the last element of a List.
Usage
For any List l
using result = metal::back<l>;
- Returns
- : Value
- Semantics:
- If
lcontains elementsl[0], ..., l[m-1], thenusing result = l[m-1];
Example
See Also
◆ cartesian
template<class... seqs>
| using metal::cartesian = typedef fold_left<lambda<detail::product>, list<list<> >, seqs...> |
#include <metal/list/cartesian.hpp>
Description
Computes the cartesian product of Lists.
Usage
For any Lists l_0, ..., l_n-1
using result = metal::cartesian<l_0, ..., l_n-1>;
- Returns
- : List
- Semantics:
- Equivalent to where each
xinx_0, ..., x_n-1varies independently from0ton-1.
Example
struct a; struct b; struct c;
struct d; struct e;
struct f; struct g;
using x = metal::list<a, b>;
using y = metal::list<c, d>;
using z = metal::list<e, f, g>;
IS_SAME(
>
);
See Also
◆ cascade
template<class seq , class... lbds>
| using metal::cascade = typedef apply<fold_right<lambda<detail::cascader>, lbds...>, seq> |
#include <metal/list/cascade.hpp>
Description
Recursively applies Lambdas to nested Lists of Lists.
Usage
For any List l and Lambdas lbd_0, ..., lbd_n-1, where n > 0,
using result = metal::cascade<l, lbd_0, ..., lbd_n-1>;
- Returns
- : Value
- Semantics:
- If
n == 1, thenotherwise, ifusing result = metal::apply<lbd_0, l>;lcontains elementsl[0], ..., l[m-1], thenusing result = metal::invoke<lbd_0,metal::cascade<l[0], lbd_1, ..., lbd_n-1>>,metal::cascade<l[1], lbd_1, ..., lbd_n-1>>,...,metal::cascade<l[m-1], lbd_1, ..., lbd_n-1>>>;
Example
struct a; struct b; struct c; struct d;
template<class...> struct f {};
template<class...> struct g {};
template<class...> struct h {};
using tree = metal::list<
>;
IS_SAME(
f<g<h<a>, h<b>>, g<h<c>, h<d>>>
);
See Also
◆ combine
template<class seq , class num = metal::size<seq>>
| using metal::combine = typedef metal::apply< metal::lambda<metal::cartesian>, metal::repeat<metal::if_<metal::is_list<seq>, seq>, num> > |
#include <metal/list/combine.hpp>
Description
Computes all possible combinations (with repetition) from the elements in a List.
Usage
using result = metal::combine<l, num>;
- Returns
- : List
- Semantics:
- If
lcontains elementsl[0], ..., l[m-1]andnumholds the constantn, then where eachxinx_0, ..., x_n-1varies independently from0tom-1.
Example
struct a; struct b; struct c; struct d;
IS_SAME(
>
);
See Also
◆ contains
template<class seq , class val >
| using metal::contains = typedef metal::any_of<seq, metal::partial<metal::lambda<metal::same>, val> > |
#include <metal/list/contains.hpp>
Description
Checks whether a Value is contained in a List.
Usage
using result = metal::contains<l, val>;
- Returns
- : Number
- Semantics:
- If
valis contained inl, thenotherwiseusing result = metal::true_;using result = metal::false_;
Example
IS_SAME(metal::contains<l, int>, metal::true_);
IS_SAME(metal::contains<l, float>, metal::true_);
IS_SAME(metal::contains<l, void>, metal::true_);
IS_SAME(metal::contains<l, char>, metal::false_);
See Also
◆ copy
template<class seq , class val >
| using metal::copy = typedef metal::copy_if<seq, metal::partial<metal::lambda<metal::same>, val> > |
#include <metal/list/copy.hpp>
Description
Removes all elements from a List except for those that are the same as some Value.
Usage
using result = metal::copy<l, val>;
- Returns
- : List
- Semantics:
- Equivalent to whereusing result = metal::list<...>;
resultcontains all and only the occurrences ofvalinl.
Example
IS_SAME(metal::copy<l, int>, metal::list<int, int, int>);
IS_SAME(metal::copy<l, float>, metal::list<float, float>);
IS_SAME(metal::copy<l, void>, metal::list<void>);
IS_SAME(metal::copy<l, char>, metal::list<>);
See Also
◆ copy_if
template<class seq , class lbd >
| using metal::copy_if = typedef metal::remove_if<seq, metal::bind<metal::lambda<metal::not_>, lbd> > |
#include <metal/list/copy_if.hpp>
Description
Removes all elements from a List except for those that satisfy a predicate.
Usage
using result = metal::copy_if<l, lbd>;
- Precondition
- : For any element
l[i]contained inl,metal::invoke<lbd, l[i]>returns a Number
- Returns
- : List
- Semantics:
- Equivalent to whereusing result = metal::list<...>;
resultcontains all and only the elementsl[i]inlfor whichmetal::invoke<lbd, l[i]>{} != false.
Example
IS_SAME(
);
IS_SAME(
);
See Also
- See also
- list, copy, remove_if, replace_if
◆ count
template<class seq , class val >
| using metal::count = typedef metal::count_if<seq, metal::partial<metal::lambda<metal::same>, val> > |
#include <metal/list/count.hpp>
Description
Counts the occurrences of a Value in a List.
Usage
using result = metal::count<l, val>;
- Returns
- : Number
- Semantics:
- Equivalent to whereusing result = metal::number<n>;
nis the number of occurrences ofvalinl.
Example
IS_SAME(metal::count<l, int>, metal::number<3>);
IS_SAME(metal::count<l, float>, metal::number<2>);
IS_SAME(metal::count<l, void>, metal::number<1>);
IS_SAME(metal::count<l, char>, metal::number<0>);
See Also
◆ count_if
template<class seq , class lbd >
| using metal::count_if = typedef metal::apply<metal::lambda<metal::add>, metal::transform<lbd, seq> > |
#include <metal/list/count_if.hpp>
Description
Counts the elements in a List that satisfy a predicate.
Usage
using result = metal::count_if<l, lbd>;
- Precondition
- : For any element
l[i]contained inl,metal::invoke<lbd, l[i]>returns a Number
- Returns
- : Number
- Semantics:
- Equivalent to whereusing result = metal::number<n>;
nis the number of occurrences of somel[i]inl, such thatmetal::invoke<lbd, l[i]>{} != false.
Example
See Also
◆ drop
template<class seq , class n >
| using metal::drop = typedef metal::range<seq, n, metal::size<seq> > |
#include <metal/list/drop.hpp>
Description
Removes all elements from the beginning up to an arbitrary index of a List.
Usage
using result = metal::drop<l, num>;
- Precondition
- :
metal::number<0>{} ≤ num{} ≤ metal::size<l>{}
- Returns
- : List
- Semantics:
- If
lcontains elementsl[0], ..., l[i], ..., l[m-1]andnum{} == i, thenusing result = metal::list<l[i], ..., l[m-1]>;
Example
See Also
◆ empty
template<class seq >
| using metal::empty = typedef metal::not_<metal::size<seq> > |
#include <metal/list/empty.hpp>
Description
Checks whether a List has no elements.
Usage
For any List l
using result = metal::empty<l>;
- Returns
- : Number
- Semantics:
- If
lcontains at least one element, thenotherwiseusing result = metal::false_;using result = metal::true_;
Example
IS_SAME(metal::empty<l>, metal::false_);
See Also
◆ erase
template<class seq , class beg , class end = inc<beg>>
| using metal::erase = typedef metal::join< metal::take<seq, metal::min<beg, end> >, metal::drop<seq, metal::max<beg, end> >> |
#include <metal/list/erase.hpp>
Description
Removes all elements between two arbitrary indices of a List.
Usage
For any List l and Numbers beg and end
using result = metal::erase<l, beg, end>;
- Precondition
- :
metal::number<0>{} ≤ beg{} ≤ metal::size<l>{}andmetal::number<0>{} ≤ end{} ≤ metal::size<l>{}
- Returns
- : List
- Semantics:
- If
lcontains elementsl[0], ..., l[i], ..., l[j], ..., l[m-1]and eitherbeg{} == iandend{} == jorbeg{} == jandend{} == i, then
Example
IS_SAME(
);
IS_SAME(
);
See Also
◆ find
template<class seq , class val >
| using metal::find = typedef metal::find_if<seq, metal::partial<metal::lambda<metal::same>, val> > |
#include <metal/list/find.hpp>
Description
Returns the index of the first occurrence of a Value in a List.
Usage
using result = metal::find<l, val>;
- Returns
- : Number
- Semantics:
- Equivalent to whereusing result = metal::number<i>;
iis index of the first occurrence ofvalinl, otherwiseusing result = metal::size<l>;
Example
IS_SAME(metal::find<l, int>, metal::number<0>);
IS_SAME(metal::find<l, float>, metal::number<2>);
IS_SAME(metal::find<l, void>, metal::number<4>);
IS_SAME(metal::find<l, char>, metal::number<6>);
See Also
◆ find_if
template<class seq , class lbd >
| using metal::find_if = typedef typename detail::_find_if<transform<lbd, seq> >::type |
#include <metal/list/find_if.hpp>
Description
Returns the index of the first element of a List that satisfy a predicate.
Usage
using result = metal::find_if<l, lbd>;
- Precondition
- : For any element
l[i]contained inl,metal::invoke<lbd, l[i]>returns a Number
- Returns
- : Number
- Semantics:
- Equivalent to whereusing result = metal::number<i>;
iis such thatl[i]is the first element inlfor whichmetal::invoke<lbd, l[i]>{} != false, otherwiseusing result = metal::size<l>;
Example
See Also
◆ flatten
template<class seq >
| using metal::flatten = typedef metal::apply<metal::lambda<metal::join>, seq> |
#include <metal/list/flatten.hpp>
Description
Collapses a List of Lists into a flat List that contains all the elements of the inner Lists preserving their order.
Usage
For any List l
using result = metal::flatten<l>;
- Returns
- : List
- Semantics:
- If
lcontains elementsl[0], ..., l[m-1], thenwhereusing result = metal::list<l[0][:], ...[:], l[n-1][:]>;l[:]stands for the expansion of all elements contained inl.
Example
using character = metal::list<char, wchar_t, char16_t, char32_t>;
using integral = metal::list<short, int, long, long long>;
using floating = metal::list<float, double, long double>;
IS_SAME(
char, wchar_t, char16_t, char32_t,
short, int, long, long long,
float, double, long double
>
);
See Also
◆ front
template<class seq >
| using metal::front = typedef metal::at<seq, metal::number<0> > |
#include <metal/list/front.hpp>
Description
Retrieves the first element of a List.
Usage
For any List l
using result = metal::front<l>;
- Returns
- : Value
- Semantics:
- If
lcontains elementsl[0], ..., l[m-1], thenusing result = l[0];
Example
See Also
◆ indices
template<class seq >
| using metal::indices = typedef metal::iota<metal::number<0>, metal::size<seq> > |
#include <metal/list/indices.hpp>
Description
Replaces each element of a List by its corresponding index.
Usage
For any List l
using result = metal::indices<l>;
- Returns
- : List
- Semantics:
- If
lcontains elementsl[0], ..., l[m-1], then
Example
IS_SAME(
>
);
See Also
◆ insert
template<class seq , class num , class... vals>
| using metal::insert = typedef metal::splice<seq, num, metal::list<vals...> > |
#include <metal/list/insert.hpp>
Description
Inserts a Value in a List at an arbitrary position.
Usage
For any List l, Number num and Values val_0, ..., val_n-1
using result = metal::insert<l, num, val_0, ..., val_n-1>;
- Precondition
- :
metal::number<0>{} ≤ num{} ≤ metal::size<l>{}
- Returns
- : List
- Semantics:
- If
lcontains elementsl[0], ..., l[i], ..., l[m-1]andnum{} == i, then
Example
IS_SAME(
);
See Also
◆ iota
template<class start , class size , class stride = number<1>>
| using metal::iota = typedef typename detail::_iota<start, size, stride>::type |
#include <metal/list/iota.hpp>
Description
Generates a sequence of Numbers.
Usage
For any Numbers st, sz and sd
using result = metal::iota<st, sz, sd>;
- Returns
- : List
- Semantics:
- If
szis positive, then otherwise, ifszis negative, then otherwiseusing result = metal::numbers<>;
Example
IS_SAME(
);
IS_SAME(
);
IS_SAME(
);
See Also
◆ is_list
template<class val >
| using metal::is_list = typedef typename detail::_is_list<val>::type |
#include <metal/list/list.hpp>
Description
Checks whether some Value is a List.
Usage
For any Value val
using result = metal::is_list<val>;
- Returns
- : Number
- Semantics:
- If
valis a List, thenotherwiseusing result = metal::true_;using result = metal::false_;
Example
IS_SAME(metal::is_list<void>, metal::false_);
IS_SAME(metal::is_list<std::tuple<int, float, void>>, metal::false_);
See Also
◆ join
template<class... seqs>
| using metal::join = typedef detail::call<detail::joiner<sizeof...(seqs)>::template type, seqs...> |
#include <metal/list/join.hpp>
Description
Concatenates Lists.
Usage
For any Lists l_0, ..., l_n-1
using result = metal::join<l_0, ..., l_n-1>;
- Returns
- : List
- Semantics:
- Equivalent to whereusing result = metal::list<l_0[:], ...[:], l_n-1[:]>;
l[:]stands for the expansion of all elements contained inl.
Example
using character = metal::list<char, wchar_t, char16_t, char32_t>;
using integral = metal::list<short, int, long, long long>;
using floating = metal::list<float, double, long double>;
IS_SAME(
char, wchar_t, char16_t, char32_t,
short, int, long, long long,
float, double, long double
>
);
See Also
◆ list
template<class... vals>
| using metal::list = typedef { } |
◆ none_of
template<class seq , class lbd >
| using metal::none_of = typedef metal::not_<metal::any_of<seq, lbd> > |
#include <metal/list/none_of.hpp>
Description
Checks whether a predicate does not hold for any element of a List.
Usage
using result = metal::none_of<l, lbd>;
- Precondition
- : For any element
l[i]contained inl,metal::invoke<lbd, l[i]>returns a Number
- Returns
- : Number
- Semantics:
- If
metal::invoke<lbd, l[i]>{} == falsefor alll[i]contained inl, thenotherwiseusing result = metal::true_;using result = metal::false_;
Example
See Also
◆ partition
template<class seq , class lbd >
| using metal::partition = typedef detail::call<detail::_partition<lbd>::template type, seq> |
#include <metal/list/partition.hpp>
Description
Splits a List in two according to a predicate.
Usage
using result = metal::partition<l, lbd>;
- Precondition
- : For any element
l[i]contained inl,metal::invoke<lbd, l[i]>returns a Number
- Returns
- : Pair
- Semantics:
- Equivalent to whereusing result = metal::pair<l_1, l_2>;
l_1contains all and only the elementsl[i]inlfor whichmetal::invoke<lbd, l[i]>{} != falseandl_2contains the remaining elements.
Example
IS_SAME(
);
IS_SAME(
);
IS_SAME(
);
See Also
◆ powerset
template<class seq >
| using metal::powerset = typedef accumulate<lambda<detail::power>, list<list<> >, metal::reverse<seq> > |
#include <metal/list/powerset.hpp>
Description
Computes the powerset of a List.
Usage
For any List l
using result = metal::powerset<l>;
- Returns
- : List
- Semantics:
- If
lcontains elementsl[0], ..., l[m-1], thenwhere the notationusing result = metal::list<metal::list<l[2^m]>...>;l[2^m]stands for the expansion of all elements inl, whose indices correspond to 1-bits of the number2^mwritten in binary base andmetal::list<l[2^m]>...stands for the expansion for all numbers in0...2^m.
Example
struct a; struct b; struct c; struct d;
IS_SAME(
>
);
See Also
◆ prepend
template<class seq , class... vals>
| using metal::prepend = typedef metal::join<metal::list<vals...>, seq> |
◆ range
template<class seq , class beg , class end >
| using metal::range = typedef detail::range< seq, if_<not_<or_<greater<number<0>, beg>, greater<beg, size<seq> >> >, beg>, if_<not_<or_<greater<number<0>, end>, greater<end, size<seq> >> >, end> > |
#include <metal/list/range.hpp>
Description
Returns a contiguous subsequence of a List.
Usage
For any List l and Numbers beg and end
using result = metal::range<l, beg, end>;
- Precondition
- :
metal::number<0>{} ≤ beg{} ≤ metal::size<l>{}andmetal::number<0>{} ≤ end{} ≤ metal::size<l>{}
- Returns
- : List
- Semantics:
- If
lcontains elementsl[0], ..., l[i], ..., l[j], ..., l[m-1],beg{} == iandend{} == j, thenotherwise, ifusing result = metal::list<l[i], ..., l[j-1]>;beg{} == jandend{} == i, thenusing result = metal::list<l[j-1], ..., l[i]>;
Example
IS_SAME(
);
IS_SAME(
);
See Also
◆ remove
template<class seq , class val >
| using metal::remove = typedef metal::remove_if<seq, metal::partial<metal::lambda<metal::same>, val> > |
#include <metal/list/remove.hpp>
Description
Removes all elements from a List that are the same as some Value.
Usage
using result = metal::remove<l, val>;
- Returns
- : List
- Semantics:
- Equivalent to whereusing result = metal::list<...>;
resultcontains all and only the elements inlwhich are distinct fromval.
Example
See Also
◆ remove_if
template<class seq , class lbd >
| using metal::remove_if = typedef metal::replace_if<seq, lbd> |
#include <metal/list/remove_if.hpp>
Description
Removes all elements from a List that satisfy a predicate.
Usage
using result = metal::remove_if<l, lbd>;
- Precondition
- : For any element
l[i]contained inl,metal::invoke<lbd, l[i]>returns a Number
- Returns
- : List
- Semantics:
- Equivalent to whereusing result = metal::list<...>;
resultcontains all and only the elementsl[i]inlfor whichmetal::invoke<lbd, l[i]>{} == false.
Example
IS_SAME(
);
IS_SAME(
);
See Also
- See also
- list, remove, copy_if, replace_if
◆ repeat
template<class val , class num >
| using metal::repeat = typedef metal::transform< metal::always<val>, metal::iota<metal::number<0>, num, metal::number<0> >> |
#include <metal/list/repeat.hpp>
Description
Returns a List that contains a Number of copies of the same Value.
Usage
For any Value val and Number num
using result = metal::repeat<val, num>;
- Returns
- : List
- Semantics:
- If
numholds the constantn, thenwhereusing result = metal::list<val_0, ..., val_n-1>;val_0, ..., val_n-1are all identical toval.
Example
See Also
◆ replace
template<class seq , class val , class... vals>
| using metal::replace = typedef metal::replace_if<seq, metal::partial<metal::lambda<metal::same>, val>, vals...> |
#include <metal/list/replace.hpp>
Description
Replaces every occurrence of a Value in a List by another Value.
Usage
For any List l and Values val and val_0, ..., val_n-1
using result = metal::replace<l, val, val_0, ..., val_n-1>;
- Returns
- : List
- Semantics:
- Equivalent to whereusing result = metal::list<...>;
resultcontains all and only the elements inl, except that every occurrence ofvalhas been replaced byval_0, ..., val_n-1.
Example
IS_SAME(
);
IS_SAME(
);
IS_SAME(
);
See Also
- See also
- list, replace_if, copy, remove
◆ replace_if
template<class seq , class lbd , class... vals>
| using metal::replace_if = typedef typename detail::_replace_if<seq, transform<lbd, seq>, vals...>::type |
#include <metal/list/replace_if.hpp>
Description
Replaces every element in a List that satisfies a predicate by some Value.
Usage
For any List l, Lambda lbd and Values val_0, ..., val_n-1
using result = metal::replace_if<l, lbd, val_0, ..., val_n-1>;
- Precondition
- : For any element
l[i]contained inl,metal::invoke<lbd, l[i]>returns a Number
- Returns
- : List
- Semantics:
- Equivalent to whereusing result = metal::list<...>;
resultcontains all and only the elements inl, except that every elementl[i]for whichmetal::invoke<lbd, l[i]>{} != falsehas been replaced byval_0, ..., val_n-1.
Example
IS_SAME(
);
IS_SAME(
);
IS_SAME(
);
See Also
◆ reverse
template<class seq >
| using metal::reverse = typedef metal::range<seq, metal::size<seq>, metal::number<0> > |
#include <metal/list/reverse.hpp>
Description
Reverses the order of the elements of a List.
Usage
For any List l
using result = metal::reverse<l>;
- Returns
- : List
- Semantics:
- If
lcontains elementsl[0], ..., l[m-1], thenusing result = metal::list<l[m-1], ..., l[0]>;
Example
See Also
◆ rotate
template<class seq , class num >
| using metal::rotate = typedef typename detail::_rotate<seq, num>::type |
#include <metal/list/rotate.hpp>
Description
Rotates the elements of a List around a pivot.
Usage
using result = metal::rotate<l, num>;
- Returns
- : List
- Semantics:
- If
lcontains elementsl[0], ..., l[i-1], l[i], ..., l[m-1]andnum{} % m == i, then
Example
IS_SAME(
);
IS_SAME(
);
See Also
◆ size
template<class seq >
| using metal::size = typedef typename detail::_size<seq>::type |
#include <metal/list/size.hpp>
Description
Returns the number of elements in a List.
Usage
For any List l
using result = metal::size<l>;
- Returns
- : Number
- Semantics:
- If
lcontains elementsl[0], ..., l[m-1], thenusing result = metal::number<m>;
Example
IS_SAME(metal::size<l>, metal::number<6>);
See Also
◆ slice
template<class seq , class start , class size , class stride = number<1>>
| using metal::slice = typedef metal::transform< metal::partial<metal::lambda<metal::at>, metal::if_<metal::is_list<seq>, seq> >, metal::iota<start, size, stride> > |
#include <metal/list/slice.hpp>
Description
Returns a subset of elements in a List picked at regular intervals in a range.
Usage
For any List l and Numbers st, sz and sd
using result = metal::slice<l, st, sz, sd>;
- Precondition
- :
metal::number<0>{} ≤ n{} ≤ metal::size<l>{}for allninmetal::iota<st, sz, sd>
- Returns
- : List
- Semantics:
- If
metal::iota<st, sz, sd>contains Numbersnum_0, ..., num_n-1, thenusing result = metal::list<l[num_0], ..., l[num_n-1]>;
Example
IS_SAME(
);
IS_SAME(
);
IS_SAME(
);
See Also
◆ sort
template<class seq , class lbd = metal::lambda<metal::less>>
| using metal::sort = typedef detail::call< detail::_sort<lbd>::template type, metal::if_<metal::is_list<seq>, seq> > |
#include <metal/list/sort.hpp>
Description
Sorts the elements of a List according to an ordering relation.
Usage
using result = metal::sort<l, lbd>;
- Precondition
- : For any two Values
val_iandval_jcontained inlmetal::invoke<lbd, val_i, val_j>returns a Number
- Returns
- : List
- Semantics:
- Equivalent to whereusing result = metal::list<val_0, ..., val_m-1>;
val_0, ..., val_m-1is a permutation of the elements inlsuch thatmetal::invoke<lbd, val_i, val_i+1>{} != falsefor alliin[0, m-2].
Tip
lbd may be omitted, in which case it defaults to metal::lambda<metal::less>.Example
template<class x, class y> // strict ordering
IS_SAME(
);
template<class x, class y> // partial ordering
IS_SAME(
);
IS_SAME(
);
See Also
◆ splice
template<class seq , class num , class other >
| using metal::splice = typedef metal::join<metal::take<seq, num>, other, metal::drop<seq, num> > |
#include <metal/list/splice.hpp>
Description
Splices one List into another at an arbitrary position.
Usage
For any Lists l_1 and l_2 and Number num
using result = metal::splice<l_1, num, l_2>;
- Precondition
- :
metal::number<0>{} ≤ num{} ≤ metal::size<l_1>{}
- Returns
- : List
- Semantics:
- If
l_1contains elementsl_1[0], ..., l_1[i], ..., l_1[m-1],l_2contains elementsl_2[0], ..., l_2[n-1]andnum{} == i, then
Example
IS_SAME(
);
See Also
◆ take
template<class seq , class n >
| using metal::take = typedef metal::range<seq, metal::number<0>, n> |
#include <metal/list/take.hpp>
Description
Removes all elements from the end down to an arbitrary index of a List.
Usage
using result = metal::take<l, num>;
- Precondition
- :
metal::number<0>{} ≤ num{} ≤ metal::size<l>{}
- Returns
- : List
- Semantics:
- If
lcontains elementsl[0], ..., l[i], ..., l[m-1]andnum{} == i, thenusing result = metal::list<l[0], ..., l[i-1]>;
Example
See Also
◆ transform
template<class lbd , class... seqs>
| using metal::transform = typedef detail::call<if_<same<size<seqs>...>, detail::_transform<lbd> >::template type, seqs...> |
#include <metal/list/transform.hpp>
Description
Transforms one or more Lists into a new List through an arbitrary n-ary Lambda.
Usage
For any Lambda lbd and Lists l_0, ..., l_n-1
using result = metal::transform<lbd, l_0, ..., l_n-1>;
- Precondition
- :
metal::size<l_0>{} == metal::size<>{}... == metal::size<l_n-1>{}
- Returns
- : List
- Semantics:
- Equivalent to whereusing result = metal::list<metal::invoke<lbd, l[0]...>,metal::invoke<lbd, l[1]...>,...,metal::invoke<lbd, l[m-1]...>,>;
l[N]...stands forl_0[N], ...[N], l_n-1[N].
Example
See Also
- See also
- list, accumulate
◆ transpose
template<class seq >
| using metal::transpose = typedef metal::apply< metal::partial<metal::lambda<metal::transform>, metal::lambda<metal::list> >, seq> |
#include <metal/list/transpose.hpp>
Description
Usage
For any List l
using result = metal::transpose<l>;
- Precondition
- : If
lcontains elementsl[0], ..., l[m-1],metal::size<l[0]>{} == metal::size<>{}... == metal::size<l[n-1]>{}
- Returns
- : List
- Semantics:
- Equivalent to using result = metal::list<metal::list<l[0][0], ...[0], l[m-1][0]>,...,metal::list<l[0][n-1], ...[n-1], l[m-1][n-1]>>;