.TH "serif::utils::misc::concepts" 3 "Version v0.0.1a" "SERiF" \" -*- nroff -*-
.ad l
.nh
.SH NAME
serif::utils::misc::concepts
.SH SYNOPSIS
.br
.PP
.SS "Classes"

.in +1c
.ti -1c
.RI "struct \fBConcat\fP"
.br
.ti -1c
.RI "struct \fBConcat< types::TypeList< LhsTs\&.\&.\&. >, types::TypeList< RhsTs\&.\&.\&. >, Rest\&.\&.\&. >\fP"
.br
.ti -1c
.RI "struct \fBConcat< types::TypeList< Ts\&.\&.\&. > >\fP"
.br
.ti -1c
.RI "struct \fBConcat<>\fP"
.br
.ti -1c
.RI "struct \fBFilter\fP"
.br
.ti -1c
.RI "struct \fBFilter< types::TypeList< Head, Tail\&.\&.\&. >, Predicate >\fP"
.br
.ti -1c
.RI "struct \fBFilter< types::TypeList<>, Predicate >\fP"
.br
.ti -1c
.RI "struct \fBPrepend\fP"
.br
.ti -1c
.RI "struct \fBPrepend< T, types::TypeList< Ts\&.\&.\&. > >\fP"
.br
.in -1c
.SS "Concepts"

.in +1c
.ti -1c
.RI "concept \fBIsException\fP"
.br
.ti -1c
.RI "concept \fBIsNumeric\fP"
.br
.ti -1c
.RI "concept \fBIsComparableToNumeric\fP"
.br
.ti -1c
.RI "concept \fBSetOfOneOrTwo\fP"
.br
.ti -1c
.RI "concept \fBAllTypesAreUnique\fP"
.br
.in -1c
.SS "Typedefs"

.in +1c
.ti -1c
.RI "template<typename\&.\&.\&. Lists> using \fBConcatT\fP = \fBConcat\fP<Lists\&.\&.\&.>::Type"
.br
.ti -1c
.RI "template<typename T, typename List> using \fBPrependT\fP = \fBPrepend\fP<T, List>::Type"
.br
.ti -1c
.RI "template<typename List, template< typename > typename Predicate> using \fBFilterT\fP = \fBFilter\fP<List, Predicate>::Type"
.br
.in -1c
.SH "Typedef Documentation"
.PP 
.SS "template<typename\&.\&.\&. Lists> using \fBserif::utils::misc::concepts::ConcatT\fP = \fBConcat\fP<Lists\&.\&.\&.>::Type"

.SS "template<typename List, template< typename > typename Predicate> using \fBserif::utils::misc::concepts::FilterT\fP = \fBFilter\fP<List, Predicate>::Type"

.SS "template<typename T, typename List> using \fBserif::utils::misc::concepts::PrependT\fP = \fBPrepend\fP<T, List>::Type"

.SH "Author"
.PP 
Generated automatically by Doxygen for SERiF from the source code\&.