File size: 1,402 Bytes
8ae5fc5 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 | #include <metal.hpp>
#include "test.hpp"
#define MATRIX(M, N) \
CHECK((metal::is_invocable<metal::lambda<metal::as_lambda>, VALUE(M)>), (FALSE)); \
CHECK((metal::is_invocable<metal::lambda<metal::as_lambda>, NUMBER(M)>), (FALSE)); \
CHECK((metal::is_invocable<metal::lambda<metal::as_lambda>, PAIR(M)>), (TRUE)); \
CHECK((metal::is_invocable<metal::lambda<metal::as_lambda>, LIST(M)>), (TRUE)); \
CHECK((metal::is_invocable<metal::lambda<metal::as_lambda>, MAP(M)>), (TRUE)); \
CHECK((metal::is_invocable<metal::lambda<metal::as_lambda>, LAMBDA(M)>), (FALSE)); \
CHECK((metal::is_invocable<metal::lambda<metal::as_lambda>, LAMBDA(_)>), (FALSE)); \
CHECK((metal::is_lambda<VALUE(N)>), (FALSE)); \
CHECK((metal::is_lambda<NUMBER(N)>), (FALSE)); \
CHECK((metal::is_lambda<PAIR(N)>), (FALSE)); \
CHECK((metal::is_lambda<LIST(N)>), (FALSE)); \
CHECK((metal::is_lambda<MAP(N)>), (FALSE)); \
CHECK((metal::is_lambda<LAMBDA(N)>), (TRUE)); \
CHECK((metal::is_lambda<LAMBDA(_)>), (TRUE)); \
CHECK((metal::is_lambda<metal::lambda<EXPR(M)>>), (TRUE)); \
CHECK((metal::is_lambda<metal::lambda<EXPR(N)>>), (TRUE)); \
CHECK((metal::as_lambda<PAIR(N)>), (metal::lambda<metal::list>)); \
CHECK((metal::as_lambda<LIST(N)>), (metal::lambda<metal::list>)); \
CHECK((metal::as_lambda<MAP(N)>), (metal::lambda<metal::list>)); \
/**/
GEN(MATRIX)
|