// Copyright (C) 2018 T. Zachary Laine
//
// Distributed under the Boost Software License, Version 1.0. (See
// accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
#include <boost/parser/parser.hpp>

#include <boost/mpl/assert.hpp>
#include <boost/type_traits/is_same.hpp>


using namespace boost::parser;
using boost::is_same;
using boost::hana::tuple;

void compile_or_attribute()
{
    char const chars[] = "";
    auto first = std::begin(chars);
    auto const last = std::end(chars);

    // scalar and eps
    {
        constexpr auto parser = int_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT((is_same<attr_t, std::optional<std::optional<int>>>));
    }

    // scalar | scalar
    {
        constexpr auto parser = char_ | char_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT((is_same<attr_t, std::optional<char>>));
    }
    {
        constexpr auto parser = char_ | char_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT((is_same<attr_t, std::optional<std::optional<char>>>));
    }
    {
        constexpr auto parser = int_ | char_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<attr_t, std::optional<std::variant<int, char>>>));
    }
    {
        constexpr auto parser = int_ | char_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::optional<std::variant<int, char>>>>));
    }

    // -scalar | -scalar
    {
        constexpr auto parser = -char_ | -char_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT((is_same<attr_t, std::optional<std::optional<char>>>));
    }
    {
        constexpr auto parser = -char_ | -char_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT((is_same<attr_t, std::optional<std::optional<char>>>));
    }
    {
        constexpr auto parser = -int_ | -char_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<
                    std::variant<std::optional<int>, std::optional<char>>>>));
    }
    {
        constexpr auto parser = -int_ | -char_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::optional<
                    std::variant<std::optional<int>, std::optional<char>>>>>));
    }

    // seq<T> | seq<T>
    {
        constexpr auto parser = *char_ | *char_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT((is_same<attr_t, std::optional<std::vector<char>>>));
    }
    {
        constexpr auto parser = *char_ | *char_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<attr_t, std::optional<std::optional<std::vector<char>>>>));
    }
    {
        constexpr auto parser = *string("str") | *string("str");
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT((is_same<attr_t, std::optional<std::string>>));
    }
    {
        constexpr auto parser = *string("str") | *string("str") | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<attr_t, std::optional<std::optional<std::string>>>));
    }

    // seq<T> | seq<U>
    {
        constexpr auto parser = *char_ | *string("str");
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::variant<std::vector<char>, std::string>>>));
    }
    {
        constexpr auto parser = *char_ | *string("str") | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT((is_same<
                          attr_t,
                          std::optional<std::optional<
                              std::variant<std::vector<char>, std::string>>>>));
    }

    // seq<T> | T
    {
        constexpr auto parser = *char_ | char_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::variant<std::vector<char>, char>>>));
    }
    {
        constexpr auto parser = *char_ | char_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<
                    std::optional<std::variant<std::vector<char>, char>>>>));
    }
    {
        constexpr auto parser = *string("str") | char_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<attr_t, std::optional<std::variant<std::string, char>>>));
    }
    {
        constexpr auto parser = *string("str") | char_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<
                    std::optional<std::variant<std::string, char>>>>));
    }

    // T | seq<T>
    {
        constexpr auto parser = char_ | *char_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::variant<char, std::vector<char>>>>));
    }
    {
        constexpr auto parser = char_ | *char_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<
                    std::optional<std::variant<char, std::vector<char>>>>>));
    }
    {
        constexpr auto parser = char_ | *string("str");
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<attr_t, std::optional<std::variant<char, std::string>>>));
    }
    {
        constexpr auto parser = char_ | *string("str") | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<
                    std::optional<std::variant<char, std::string>>>>));
    }

    // seq<T> | std::optional<T>
    {
        constexpr auto parser = *char_ | -char_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<
                    std::variant<std::vector<char>, std::optional<char>>>>));
    }
    {
        constexpr auto parser = *char_ | -char_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::optional<
                    std::variant<std::vector<char>, std::optional<char>>>>>));
    }
    {
        constexpr auto parser = *string("str") | -char_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<
                    std::variant<std::string, std::optional<char>>>>));
    }
    {
        constexpr auto parser = *string("str") | -char_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::optional<
                    std::variant<std::string, std::optional<char>>>>>));
    }

    // std::optional<T> | seq<T>
    {
        constexpr auto parser = -char_ | *char_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<
                    std::variant<std::optional<char>, std::vector<char>>>>));
    }
    {
        constexpr auto parser = -char_ | *char_ | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::optional<
                    std::variant<std::optional<char>, std::vector<char>>>>>));
    }
    {
        constexpr auto parser = -char_ | *string("str");
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<
                    std::variant<std::optional<char>, std::string>>>));
    }
    {
        constexpr auto parser = -char_ | *string("str") | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::optional<
                    std::variant<std::optional<char>, std::string>>>>));
    }

    // or grouping
    {
        constexpr auto parser = (-char_ | *string("str")) | eps;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::optional<
                    std::variant<std::optional<char>, std::string>>>>));
    }
    {
        constexpr auto parser = -char_ | (*string("str") | eps);
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::optional<
                    std::variant<std::optional<char>, std::string>>>>));
    }
    {
        constexpr auto parser = int_ | string("str") | double_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::variant<int, std::string, double>>>));
    }
    {
        constexpr auto parser = (int_ | string("str")) | double_;
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::variant<int, std::string, double>>>));
    }
    {
        constexpr auto parser = int_ | (string("str") | double_);
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::variant<int, std::string, double>>>));
    }
    {
        constexpr auto parser = (int_ | string("str")) | (double_ | float_);
        using attr_t = decltype(parse(first, last, parser));
        BOOST_MPL_ASSERT(
            (is_same<
                attr_t,
                std::optional<std::variant<int, std::string, double, float>>>));
    }
}