alternation.h File Reference

#include "di/function/overload.h"
#include "di/function/ycombinator.h"
#include "di/meta/constexpr.h"
#include "di/parser/concepts/parser.h"
#include "di/parser/concepts/parser_context.h"
#include "di/parser/meta/parser_context_result.h"
#include "di/parser/meta/parser_value.h"
#include "di/vocab/prelude.h"

Go to the source code of this file.

Classes
struct	di::parser::detail::AlternationParserMarker
class	di::parser::detail::AlternationParser< Parsers >
struct	di::parser::detail::AlternationFunction

Namespaces
namespace	di
namespace	di::parser
namespace	di::parser::detail

Functions
template<concepts::DecayConstructible Left, concepts::DecayConstructible Right> requires (concepts::DerivedFrom<Left, ParserBase<Left>> && concepts::DerivedFrom<Right, ParserBase<Right>>)
constexpr auto	di::parser::operator| (Left &&left, Right &&right)
template<concepts::DecayConstructible Left, concepts::DecayConstructible Right> requires (concepts::DerivedFrom<Left, ParserBase<Left>> && concepts::DerivedFrom<Right, ParserBase<Right>> && !concepts::DerivedFrom<Left, detail::AlternationParserMarker> && concepts::DerivedFrom<Right, detail::AlternationParserMarker>)
constexpr auto	di::parser::operator| (Left &&left, Right &&right)
template<concepts::DecayConstructible Left, concepts::DecayConstructible Right> requires (concepts::DerivedFrom<Left, ParserBase<Left>> && concepts::DerivedFrom<Right, ParserBase<Right>> && concepts::DerivedFrom<Left, detail::AlternationParserMarker> && !concepts::DerivedFrom<Right, detail::AlternationParserMarker>)
constexpr auto	di::parser::operator| (Left &&left, Right &&right)
template<concepts::DecayConstructible Left, concepts::DecayConstructible Right> requires (concepts::DerivedFrom<Left, ParserBase<Left>> && concepts::DerivedFrom<Right, ParserBase<Right>> && concepts::DerivedFrom<Left, detail::AlternationParserMarker> && concepts::DerivedFrom<Right, detail::AlternationParserMarker>)
constexpr auto	di::parser::operator| (Left &&left, Right &&right)

Variables
constexpr auto	di::parser::alternation = detail::AlternationFunction {}