#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)