Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

[detail level 12345]

▼Nboost
►Nmpl11
►Ndetail
►Nat_key
Cmultiple_inheritance2	Key-based lookup into a parameter pack using multiple inheritance
►Nleft_folds
Cuntil_naive	Naive left fold stopping whenever the predicate returns true
Cvariadic_aliased	Recursive alias-based variadic left fold
Cvariadic_naive	Naive left fold for parameter packs
Cvariadic_unrolled	Left fold over a parameter pack with loop unrolling
►Nright_folds
Cuntil_naive	Naive right fold stopping whenever the predicate returns true
Cvariadic_naive	Naive right fold for parameter packs
Cvariadic_unrolled	Right fold over a parameter pack with loop unrolling
Cdependent	Turns a value or a type into a dependent entity
Cindex_pair	Empty struct (not a mpl::pair)
Cinherit	Type multiply inheriting from each of the xs...
Cmake_std_index_sequence	Create an std_index_sequence with indices from 0 to n
Cpair	Empty struct (not a mpl::pair)
Cstd_conditional	Equivalent to std::conditional
Cstd_index_sequence	A simple sequence of integers
Cstd_is_same	Equivalent to std::is_same; except it only has a nested ::value and a nested ::type
►Niterable_detail
Cplus_one
Call	Returns whether all the elements of the structure satisfy the predicate
Call_of	Equivalent to all<lift<id>, structure>
Calways	Returns a constant metafunction class returning x regardless of the arguments it is invoked with
Cand_	Returns the result of short-circuit logical and (&&) on its arguments
Cany	Returns whether any element of the structure satisfies the predicate
Cany_of	Equivalent to any<lift<id>, structure>
Capply	Invokes a metafunction class with the given arguments
Capply_curried	Invokes a curried metafunction class with the given arguments
Carg	Returns the nth of its arguments
Cargmap	Invokes f with the result of mapping g on each argument
Cat	Returns the element of an iterable at the given index
Cat_c	Equivalent to at<size_t<index>, iter>
Cbind	Invokes f with the result of invoking each fs... with the arguments
Cbitand_	Bitwise and (&&)
Cbitor_	Bitwise or (||)
Cbitxor	Bitwise xor (^)
Cbool_	Alias to integer_c<bool, B>; provided for convenience
Cbox	Boxes its argument
Ccast	Metafunction class converting an object of the From datatype to an object of the To datatype
Ccast_to	Metafunction class converting an object to the To datatype
Cchar_	Alias to integer_c<char, C>; provided for convenience
Ccompl_	Bitwise complement (~)
Ccompose	Returns the composition of several metafunction classes
Cconcat	Concatenate several lists
Ccons	A List created by prepending an element to an Iterable
Ccurry	Returns a curried metafunction class
Cdatatype	Returns the datatype of the given data constructor
Cdiv	Integer division of x by y
Cdrop	Drops the first n elements from an iterable and return the rest
Cdrop_c	Equivalent to drop<size_t<n>, iter>; provided for convenience
Cdrop_until	Equivalent to drop_while with a negated predicate
Cdrop_while	Drops elements from an iterable up to, but not including, the first element for which the predicate returns false
Celse_	Transparent alias to its argument; provided for use with if_
Celse_if	Equivalent to if_; provided for use with if_
Celse_if_c	Equivalent to else_if<bool_<Condition>, Then, Else>
Cequal	Returns whether the given objects are equal
Cfalse_	Alias to bool_<false>; provided for convenience
Cfilter	Returns a List containing only the elements satisfying predicate
Cfix	Returns a metafunction class computing the least fixed point of f
Cflip	Returns a metafunction class invoking f with its two first arguments in reverse order
Cfmap	Returns the result of mapping a metafunction class over a Functor
Cfoldl	Left-associative fold of a structure using a binary operation
Cfoldl1	Variant of foldl that has no base case, and thus may only be applied to non-empty structures
Cfoldr	Right-associative fold of a structure using a binary operation
Cfoldr1	Variant of foldr that has no base case, and thus may only be applied to non-empty structures
Cfrom_just	Extracts the value out of a just, and triggers a hard compile-time error if the argument is nothing
Cfrom_maybe	If m is nothing, returns def
Cgreater	Returns whether the given objects are ordered according to the > ordering
Cgreater_equal	Returns whether the given objects are ordered according to the >= ordering
Chead	Returns the first element of a non-empty iterable
Cid	The identity metafunction - returns its argument unchanged
Cif_	Evaluates one of two branches based on a condition
Cif_c	Equivalent to if_<bool_<Condition>, Then, Else>
Cinfix	Applies a metafunction class in infix notation
Cinfix_	Equivalent to infix<x, lift<f>, y>; provided for convenience
Cinit	Returns the elements before the last one of a non-empty list
Cinstantiate	Holds default methods of typeclasses
Cint_	Alias to integer_c<int, N>; provided for convenience
Cinteger_c	Integer holding the specified value
Cintegral_c	Alias to integer_c<T, v>; provided for backward compatibility
Cinto	Returns a specialization of the given template with the provided arguments
Cis_empty	Returns whether the iterable is empty
Cis_just	Returns whether a Maybe is a just
Cis_nothing	Returns whether a Maybe is a nothing
Citerate	Returns an infinite List of repeated applications of f to x
Cjoin	Remove one level of monadic structure, projecting its argument into the outer level
Cjust	Creates an optional value containing x
Clast	Returns the last element of a non-empty iterable
Clength	Returns the number of elements in a finite iterable
Cless	Returns whether the given objects are ordered according to the < ordering
Cless_equal	Returns whether the given objects are ordered according to the <= ordering
Clift	Lifts a metafunction
Clist	A List containing the given elements
Clist_	Constructor equivalent to list, except it takes unboxed arguments
Cllong	Alias to integer_c<long long, N>; provided for convenience
Clong_	Alias to integer_c<long, N>; provided for convenience
Clsect	Returns the left section of f with x
Clsect_	Equivalent to lsect<x, lift<f>>; provided for convenience
Cmax	Returns the largest of its arguments according to the ordering induced by less
Cmaximum	Returns the largest element of a non-empty structure
Cmaximum_by	The largest element of a non-empty structure with respect to the given predicate
Cmaybe	Applies a metafunction class to a Maybe, with a fallback result
Cmin	Returns the smallest of its arguments according to the ordering induced by less
Cminimum	Returns the least element of a non-empty structure
Cminimum_by	The least element of a non-empty structure with respect to the given predicate
Cminus	Equivalent to plus<x, negate<y>>
Cmod	Remainder of the integer division of x by y
Cmult	Ring operation
Cnegate	Returns the inverse of x
Cnone	Returns whether none of the elements of the structure satisfy the predicate
Cnone_of	Equivalent to none<lift<id>, structure>
Cnot_	Returns the logical negation (!) of its argument
Cnot_equal	Returns whether the given objects are unequal
Cnothing	Creates an empty optional value
Con	Invokes f with the result of invoking fs... on each corresponding argument
Cone	Multiplicative identity for the given Datatype
Cor_	Returns the result of short-circuit logical or (||) on its arguments
Cpartial	Returns a partially applied metafunction class
Cplus	Associative operation on a Monoid
Cpred	Returns the predecessor of the given object
Cproduct	Compute the product of the elements of a structure
Cquot	Multiplication of x by the multiplicative inverse of y
Crecip	Multiplicative inverse of x
Crepeat	Returns an infinite List containing copies of x
Creverse	Returns a List with its elements in reverse order
Crsect	Returns the right section of f with y
Crsect_	Equivalent to rsect<lift<f>, y>; provided for convenience
Cscanl	scanl is similar to foldl, but returns a List of successive reduced values from the left
Cshift_left	Bitwise left shift (<<)
Cshift_left_c	Equivalent to shift_left<x, size_t<n>>
Cshift_right	Bitwise right shift (>>)
Cshift_right_c	Equivalent to shift_right<x, size_t<n>>
Cshort_	Alias to integer_c<short, N>; provided for convenience
Csize_t	Alias to integer_c<std::size_t, N>; provided for convenience
Cslice	Returns a subrange of a list
Cslice_c	Equivalent to slice<xs, size_t<start>, size_t<stop>>
Csnoc	A List created by appending an element to an Iterable
Csort_by	Returns a list sorted with the predicate
Csucc	Returns the successor of the given object
Csum	Compute the sum of the elements of a structure
Ctail	Extract the elements after the head of a non-empty iterable
Ctake	Returns the first n elements of a List
Ctake_c	Equivalent to take<size_t<n>, xs>
Ctake_until	Equivalent to take_while with a negated predicate
Ctake_while	Returns the longest prefix of a List in which all elements satisfy the predicate
Ctrue_	Alias to bool_<true>; provided for convenience
Cuint	Alias to integer_c<unsigned int, N>; provided for convenience
Cullong	Alias to integer_c<unsigned long long, N>; provided for convenience
Culong	Alias to integer_c<unsigned long, N>; provided for convenience
Cuncurry	Returns a uncurried metafunction class
Cundefined	Represents the bottom value of most functional programming languages
Cunit	Lift a value into a monadic structure
Cunpack	Invokes a metafunction class with the contents of a structure
Cushort	Alias to integer_c<unsigned short, N>; provided for convenience
Czero	Additive identity for the given Datatype
Czip	Equivalent to zip_with<lift<list>, lists...>
Czip_with	Returns a list of applications of f to the elements of the zipped lists, in lockstep
Cminimal_iterable	Minimal iterable for testing purposes
Cstatic_assert_	Returns the given boolean expression and statically asserts that its value is true
Ctests