capy::meta::implementation_details_ Namespace Reference

Classes
struct	MetaCallable
struct	IsWrappedWith
struct	IsWrappedWith< Wrapper< Wrapees... >, Wrapper >
struct	FixTemplateArityTyped
struct	FixTemplateArityValued
struct	Nil
struct	ValueTag
struct	ErrorTag
struct	SomeTag
struct	NoneTag

Concepts
concept	tagged_with
concept	of_arity

Typedefs
template<typename MetaFunctor_, typename... Args>
using	functor_call_t = MetaFunctor_::template Functor<Args...>

Functions
	DEUNIFY_TEMPLATE (MetaArity::N1, PACK(template< class T >), PACK(T))
	DEUNIFY_TEMPLATE (MetaArity::N2, PACK(template< class T1, class T2 >), PACK(T1, T2))
	DEUNIFY_TEMPLATE (MetaArity::N3, PACK(template< class T1, class T2, class T3 >), PACK(T1, T2, T3))
	DEUNIFY_TEMPLATE (MetaArity::N4, PACK(template< class T1, class T2, class T3, class T4 >), PACK(T1, T2, T3, T4))
	DEUNIFY_TEMPLATE (MetaArity::N5, PACK(template< class T1, class T2, class T3, class T4, class T5 >), PACK(T1, T2, T3, T4, T5))
	DEUNIFY_TEMPLATE (MetaArity::N6, PACK(template< class T1, class T2, class T3, class T4, class T5, class T6 >), PACK(T1, T2, T3, T4, T5, T6))
	DEUNIFY_TEMPLATE (MetaArity::N7, PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7 >), PACK(T1, T2, T3, T4, T5, T6, T7))
	DEUNIFY_TEMPLATE (MetaArity::N8, PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8 >), PACK(T1, T2, T3, T4, T5, T6, T8))
	DEUNIFY_TEMPLATE (MetaArity::N9, PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9 >), PACK(T1, T2, T3, T4, T5, T6, T8, T9))
	DEUNIFY_TEMPLATE (MetaArity::N10, PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10 >), PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10))
	DEUNIFY_TEMPLATE (MetaArity::N11, PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11 >), PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11))
	DEUNIFY_TEMPLATE (MetaArity::N12, PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11, class T12 >), PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11, T12))
	DEUNIFY_TEMPLATE (MetaArity::N13, PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11, class T12, class T13 >), PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11, T12, T13))
	DEUNIFY_TEMPLATE (MetaArity::N14, PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11, class T12, class T13, class T14 >), PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11, T12, T13, T14))
	DEUNIFY_TEMPLATE (MetaArity::N15, PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11, class T12, class T13, class T14, class T15 >), PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11, T12, T13, T14, T15))
	DEUNIFY_TEMPLATE (MetaArity::N16, PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11, class T12, class T13, class T14, class T15, class T16 >), PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11, T12, T13, T14, T15, T16))

Typedef Documentation

functor_call_t

template<typename MetaFunctor_, typename... Args>

using capy::meta::implementation_details_::functor_call_t = MetaFunctor_::template Functor<Args...>

Function Documentation

DEUNIFY_TEMPLATE() [1/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N1	,
		PACK(template< class T >)	,
		PACK(T)	)

DEUNIFY_TEMPLATE() [2/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N10	,
		PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10 >)	,
		PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10)	)

DEUNIFY_TEMPLATE() [3/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N11	,
		PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11 >)	,
		PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11)	)

DEUNIFY_TEMPLATE() [4/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N12	,
		PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11, class T12 >)	,
		PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11, T12)	)

DEUNIFY_TEMPLATE() [5/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N13	,
		PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11, class T12, class T13 >)	,
		PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11, T12, T13)	)

DEUNIFY_TEMPLATE() [6/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N14	,
		PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11, class T12, class T13, class T14 >)	,
		PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11, T12, T13, T14)	)

DEUNIFY_TEMPLATE() [7/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N15	,
		PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11, class T12, class T13, class T14, class T15 >)	,
		PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11, T12, T13, T14, T15)	)

DEUNIFY_TEMPLATE() [8/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N16	,
		PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9, class T10, class T11, class T12, class T13, class T14, class T15, class T16 >)	,
		PACK(T1, T2, T3, T4, T5, T6, T8, T9, T10, T11, T12, T13, T14, T15, T16)	)

DEUNIFY_TEMPLATE() [9/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N2	,
		PACK(template< class T1, class T2 >)	,
		PACK(T1, T2)	)

DEUNIFY_TEMPLATE() [10/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N3	,
		PACK(template< class T1, class T2, class T3 >)	,
		PACK(T1, T2, T3)	)

DEUNIFY_TEMPLATE() [11/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N4	,
		PACK(template< class T1, class T2, class T3, class T4 >)	,
		PACK(T1, T2, T3, T4)	)

DEUNIFY_TEMPLATE() [12/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N5	,
		PACK(template< class T1, class T2, class T3, class T4, class T5 >)	,
		PACK(T1, T2, T3, T4, T5)	)

DEUNIFY_TEMPLATE() [13/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N6	,
		PACK(template< class T1, class T2, class T3, class T4, class T5, class T6 >)	,
		PACK(T1, T2, T3, T4, T5, T6)	)

DEUNIFY_TEMPLATE() [14/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N7	,
		PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7 >)	,
		PACK(T1, T2, T3, T4, T5, T6, T7)	)

DEUNIFY_TEMPLATE() [15/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N8	,
		PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8 >)	,
		PACK(T1, T2, T3, T4, T5, T6, T8)	)

DEUNIFY_TEMPLATE() [16/16]

capy::meta::implementation_details_::DEUNIFY_TEMPLATE	(	MetaArity::N9	,
		PACK(template< class T1, class T2, class T3, class T4, class T5, class T6, class T7, class T8, class T9 >)	,
		PACK(T1, T2, T3, T4, T5, T6, T8, T9)	)