match.h

Go to the documentation of this file.

 
#pragma once
 
#include "./visit.h"
 
namespace emlabcpp
{
 
template < typename... Callables >
struct matcher : Callables...
{
        matcher( matcher const& )     = default;
        matcher( matcher&& ) noexcept = default;
 
        matcher& operator=( matcher const& )     = default;
        matcher& operator=( matcher&& ) noexcept = default;
 
        template < typename... Ts >
        explicit matcher( Ts&&... ts )
          : Callables{ std::forward< Ts >( ts ) }...
        {
        }
 
        using Callables::operator()...;
 
        ~matcher() = default;
};
 
template < typename... Callables >
matcher( Callables&&... ) -> matcher< std::decay_t< Callables >... >;
 
template < typename Variant, typename... Callables >
decltype( auto ) match( Variant&& var, Callables&&... cals )
{
        return emlabcpp::visit(
            matcher< std::decay_t< Callables >... >( std::forward< Callables >( cals )... ),
            std::forward< Variant >( var ) );
}
 
template < typename Variant, typename... Callables >
decltype( auto ) apply_on_match( Variant&& var, Callables&&... cals )
{
        return apply_on_visit(
            matcher< std::decay_t< Callables >... >( std::forward< Callables >( cals )... ),
            std::forward< Variant >( var ) );
}
 
}  // namespace emlabcpp