File size: 1,300 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 | #include <metal.hpp>
#include "test.hpp"
#define MATRIX(M, N) \
CHECK((metal::is_invocable<metal::trait<EXPR(N)>, VALUE(M)>), (BOOL(N == 1))); \
CHECK((metal::is_invocable<metal::trait<EXPR(N)>, NUMBER(M)>), (BOOL(N == 1))); \
CHECK((metal::is_invocable<metal::trait<EXPR(N)>, PAIR(M)>), (BOOL(N == 1))); \
CHECK((metal::is_invocable<metal::trait<EXPR(N)>, LIST(M)>), (BOOL(N == 1))); \
CHECK((metal::is_invocable<metal::trait<EXPR(N)>, MAP(M)>), (BOOL(N == 1))); \
CHECK((metal::is_invocable<metal::trait<EXPR(N)>, LAMBDA(M)>), (BOOL(N == 1))); \
CHECK((metal::is_invocable<metal::trait<EXPR(N)>, LAMBDA(_)>), (BOOL(N == 1))); \
CHECK((metal::is_invocable<metal::trait<EXPR(_)>, VALUE(M)>), (FALSE)); \
CHECK((metal::is_invocable<metal::trait<EXPR(_)>, NUMBER(M)>), (FALSE)); \
CHECK((metal::is_invocable<metal::trait<EXPR(_)>, PAIR(M)>), (FALSE)); \
CHECK((metal::is_invocable<metal::trait<EXPR(_)>, LIST(M)>), (FALSE)); \
CHECK((metal::is_invocable<metal::trait<EXPR(_)>, MAP(M)>), (FALSE)); \
CHECK((metal::is_invocable<metal::trait<EXPR(_)>, LAMBDA(M)>), (FALSE)); \
CHECK((metal::is_invocable<metal::trait<EXPR(_)>, LAMBDA(_)>), (FALSE)); \
CHECK((metal::invoke<metal::trait<EXPR(1)>, NUMBER(N)>), (NUMBER(1))); \
/**/
GEN(MATRIX)
|