functions.h

///////////////////////////////////////////////////////////////////////////////
//
// Module : functions.h
// Copyright : (c) Andy Arvanitis 2019
// License : BSD
//
// Maintainer : Andy Arvanitis
// Stability : experimental
// Portability :
//
// Runtime function types (for regular functions and lambdas)
//
///////////////////////////////////////////////////////////////////////////////
//
#ifndef purescript_functions_H
#definepurescript_functions_H

namespacepurescript {
namespace_template_ {

template <typename T>
classfn_t {
public:
virtual~fn_t() {}
virtualautooperator ()(const T&) const -> T = 0;
 };

template <typename T, typename U>
classfn_T : publicfn_t<T> {
 U fn;
public:
fn_T(U&& f) noexcept : fn(std::move(f)) {}
autooperator ()(const T& arg) const -> T override {
returnfn(arg);
 }
 };

template <typename T>
classeff_fn_t {
public:
virtual~eff_fn_t() {}
virtualautooperator ()() const -> T = 0;
 };

template <typename T, typename U>
classeff_fn_T : publiceff_fn_t<T> {
 U fn;
public:
eff_fn_T(U&& f) noexcept : fn(std::move(f)) {}
autooperator ()() const -> T override {
returnfn();
 }
 };

 } // namespace _template_
} // namespace purescript

#endif// purescript_functions_H