Go to the source code of this file.
Classes
- struct argument_helper< T >
- struct argument_helper< T & >
- struct argument_helper< T * >
- struct argument_helper< const T & >
- struct argument_helper< const T * >
- class REP_STRUCT< C >
- struct def_function_0_rep< D >
- struct function_0< D >
- class REP_STRUCT< C >
- struct def_function_1_rep< D, S1 >
- struct function_1< D, S1 >
- struct format_function_helper< FT, R, C, Fun >
- struct format_function_helper< FT, C, C, Fun >
- struct format_function_helper< empty_format, R, C, Fun >
- struct format_function_helper< empty_format, C, C, Fun >
- class REP_STRUCT< C >
- struct def_function_2_rep< D, S1, S2 >
- struct function_2< D, S1, S2 >
- class REP_STRUCT< C >
- struct def_function_3_rep< D, S1, S2, S3 >
- struct function_3< D, S1, S2, S3 >
- class REP_STRUCT< C >
- struct def_function_4_rep< D, S1, S2, S3, S4 >
- struct function_4< D, S1, S2, S3, S4 >
- class REP_STRUCT< C >
- struct def_function_5_rep< D, S1, S2, S3, S4, S5 >
- struct function_5< D, S1, S2, S3, S4, S5 >
- class REP_STRUCT< C >
- struct def_function_6_rep< D, S1, S2, S3, S4, S5, S6 >
- struct function_6< D, S1, S2, S3, S4, S5, S6 >
- class REP_STRUCT< C >
- struct def_function_7_rep< D, S1, S2, S3, S4, S5, S6, S7 >
- struct function_7< D, S1, S2, S3, S4, S5, S6, S7 >
- class REP_STRUCT< C >
- struct def_function_8_rep< D, S1, S2, S3, S4, S5, S6, S7, S8 >
- struct function_8< D, S1, S2, S3, S4, S5, S6, S7, S8 >
Namespaces
Defines
- #define Argument(T) T
- #define TMPL template<typename D>
- #define Function function_0<D>
- #define TMPL template<typename D, typename S1>
- #define Function function_1<D,S1>
- #define TMPL template<typename D, typename S1, typename S2>
- #define Function function_2<D,S1,S2>
- #define TMPL template<typename D, typename S1, typename S2, typename S3>
- #define Function function_3<D,S1,S2,S3>
- #define TMPL template<typename D, typename S1, typename S2, typename S3, typename S4>
- #define Function function_4<D,S1,S2,S3,S4>
- #define TMPL template<typename D, typename S1, typename S2, typename S3, typename S4, typename S5>
- #define Function function_5<D,S1,S2,S3,S4,S5>
- #define TMPL template<typename D, typename S1, typename S2, typename S3, typename S4, typename S5, typename S6>
- #define Function function_6<D,S1,S2,S3,S4,S5,S6>
- #define TMPL template<typename D, typename S1, typename S2, typename S3, typename S4, typename S5, typename S6, typename S7>
- #define Function function_7<D,S1,S2,S3,S4,S5,S6,S7>
- #define TMPL template<typename D, typename S1, typename S2, typename S3, typename S4, typename S5, typename S6, typename S7, typename S8>
- #define Function function_8<D,S1,S2,S3,S4,S5,S6,S7,S8>
Functions
- template<typename T > syntactic flatten_type ()
- template<typename D > syntactic flatten (const function_0< D > &f)
- template<typename D > nat hard_hash (const function_0< D > &f)
- template<typename D > bool hard_eq (const function_0< D > &f, const function_0< D > &g)
- template<typename D > bool hard_neq (const function_0< D > &f, const function_0< D > &g)
- HARD_TO_EXACT_IDENTITY_SUGAR (template< typename D >, function_0< D >) HARD_TO_TRUE_IDENTITY_SUGAR(template< typename D >
- template<typename D , typename S1 > syntactic flatten (const function_1< D, S1 > &f)
- template<typename D , typename S1 > nat hard_hash (const function_1< D, S1 > &f)
- template<typename D , typename S1 > bool hard_eq (const function_1< D, S1 > &f, const function_1< D, S1 > &g)
- template<typename D , typename S1 > bool hard_neq (const function_1< D, S1 > &f, const function_1< D, S1 > &g)
- HARD_TO_EXACT_IDENTITY_SUGAR (template< typename D, typename S1 >, function_1< D, S1 >) HARD_TO_TRUE_IDENTITY_SUGAR(template< typename D
- template<typename C , typename R > format< R > map (const function_1< R, C > &fun, const format< C > &fm)
- template<typename C , typename R > format< R > map (R(*fun)(const C &), const format< C > &fm)
- template<typename D , typename S1 , typename S2 > syntactic flatten (const function_2< D, S1, S2 > &f)
- template<typename D , typename S1 , typename S2 > nat hard_hash (const function_2< D, S1, S2 > &f)
- template<typename D , typename S1 , typename S2 > bool hard_eq (const function_2< D, S1, S2 > &f, const function_2< D, S1, S2 > &g)
- template<typename D , typename S1 , typename S2 > bool hard_neq (const function_2< D, S1, S2 > &f, const function_2< D, S1, S2 > &g)
- HARD_TO_EXACT_IDENTITY_SUGAR (template< typename D, typename S1, typename S2 >, function_2< D, S1, S2 >) HARD_TO_TRUE_IDENTITY_SUGAR(template< typename D
- template<typename D , typename S1 , typename S2 , typename S3 > syntactic flatten (const function_3< D, S1, S2, S3 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 > nat hard_hash (const function_3< D, S1, S2, S3 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 > bool hard_eq (const function_3< D, S1, S2, S3 > &f, const function_3< D, S1, S2, S3 > &g)
- template<typename D , typename S1 , typename S2 , typename S3 > bool hard_neq (const function_3< D, S1, S2, S3 > &f, const function_3< D, S1, S2, S3 > &g)
- HARD_TO_EXACT_IDENTITY_SUGAR (template< typename D, typename S1, typename S2, typename S3 >, function_3< D, S1, S2, S3 >) HARD_TO_TRUE_IDENTITY_SUGAR(template< typename D
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 > syntactic flatten (const function_4< D, S1, S2, S3, S4 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 > nat hard_hash (const function_4< D, S1, S2, S3, S4 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 > bool hard_eq (const function_4< D, S1, S2, S3, S4 > &f, const function_4< D, S1, S2, S3, S4 > &g)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 > bool hard_neq (const function_4< D, S1, S2, S3, S4 > &f, const function_4< D, S1, S2, S3, S4 > &g)
- HARD_TO_EXACT_IDENTITY_SUGAR (template< typename D, typename S1, typename S2, typename S3, typename S4 >, function_4< D, S1, S2, S3, S4 >) HARD_TO_TRUE_IDENTITY_SUGAR(template< typename D
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 > syntactic flatten (const function_5< D, S1, S2, S3, S4, S5 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 > nat hard_hash (const function_5< D, S1, S2, S3, S4, S5 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 > bool hard_eq (const function_5< D, S1, S2, S3, S4, S5 > &f, const function_5< D, S1, S2, S3, S4, S5 > &g)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 > bool hard_neq (const function_5< D, S1, S2, S3, S4, S5 > &f, const function_5< D, S1, S2, S3, S4, S5 > &g)
- HARD_TO_EXACT_IDENTITY_SUGAR (template< typename D, typename S1, typename S2, typename S3, typename S4, typename S5 >, function_5< D, S1, S2, S3, S4, S5 >) HARD_TO_TRUE_IDENTITY_SUGAR(template< typename D
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 > syntactic flatten (const function_6< D, S1, S2, S3, S4, S5, S6 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 > nat hard_hash (const function_6< D, S1, S2, S3, S4, S5, S6 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 > bool hard_eq (const function_6< D, S1, S2, S3, S4, S5, S6 > &f, const function_6< D, S1, S2, S3, S4, S5, S6 > &g)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 > bool hard_neq (const function_6< D, S1, S2, S3, S4, S5, S6 > &f, const function_6< D, S1, S2, S3, S4, S5, S6 > &g)
- HARD_TO_EXACT_IDENTITY_SUGAR (template< typename D, typename S1, typename S2, typename S3, typename S4, typename S5, typename S6 >, function_6< D, S1, S2, S3, S4, S5, S6 >) HARD_TO_TRUE_IDENTITY_SUGAR(template< typename D
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 , typename S7 > syntactic flatten (const function_7< D, S1, S2, S3, S4, S5, S6, S7 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 , typename S7 > nat hard_hash (const function_7< D, S1, S2, S3, S4, S5, S6, S7 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 , typename S7 > bool hard_eq (const function_7< D, S1, S2, S3, S4, S5, S6, S7 > &f, const function_7< D, S1, S2, S3, S4, S5, S6, S7 > &g)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 , typename S7 > bool hard_neq (const function_7< D, S1, S2, S3, S4, S5, S6, S7 > &f, const function_7< D, S1, S2, S3, S4, S5, S6, S7 > &g)
- HARD_TO_EXACT_IDENTITY_SUGAR (template< typename D, typename S1, typename S2, typename S3, typename S4, typename S5, typename S6, typename S7 >, function_7< D, S1, S2, S3, S4, S5, S6, S7 >) HARD_TO_TRUE_IDENTITY_SUGAR(template< typename D
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 , typename S7 , typename S8 > syntactic flatten (const function_8< D, S1, S2, S3, S4, S5, S6, S7, S8 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 , typename S7 , typename S8 > nat hard_hash (const function_8< D, S1, S2, S3, S4, S5, S6, S7, S8 > &f)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 , typename S7 , typename S8 > bool hard_eq (const function_8< D, S1, S2, S3, S4, S5, S6, S7, S8 > &f, const function_8< D, S1, S2, S3, S4, S5, S6, S7, S8 > &g)
- template<typename D , typename S1 , typename S2 , typename S3 , typename S4 , typename S5 , typename S6 , typename S7 , typename S8 > bool hard_neq (const function_8< D, S1, S2, S3, S4, S5, S6, S7, S8 > &f, const function_8< D, S1, S2, S3, S4, S5, S6, S7, S8 > &g)
- HARD_TO_EXACT_IDENTITY_SUGAR (template< typename D, typename S1, typename S2, typename S3, typename S4, typename S5, typename S6, typename S7, typename S8 >, function_8< D, S1, S2, S3, S4, S5, S6, S7, S8 >) HARD_TO_TRUE_IDENTITY_SUGAR(template< typename D
Variables
Define Documentation
#define Function function_7<D,S1,S2,S3,S4,S5,S6,S7> |
#define Function function_8<D,S1,S2,S3,S4,S5,S6,S7,S8> |
#define TMPL template<typename D, typename S1, typename S2, typename S3, typename S4> |
#define TMPL template<typename D, typename S1, typename S2, typename S3, typename S4, typename S5, typename S6, typename S7, typename S8> |
#define TMPL template<typename D, typename S1> |
#define TMPL template<typename D, typename S1, typename S2, typename S3, typename S4, typename S5> |
#define TMPL template<typename D, typename S1, typename S2> |
#define TMPL template<typename D, typename S1, typename S2, typename S3, typename S4, typename S5, typename S6, typename S7> |
#define TMPL template<typename D, typename S1, typename S2, typename S3> |
#define TMPL template<typename D> |
#define TMPL template<typename D, typename S1, typename S2, typename S3, typename S4, typename S5, typename S6> |