mpc
Haskell-like feature supports in C++
mpc::applicative_traits_specialized Concept Reference

applicative_traits_specialized More...

#include <applicative.hpp>

Concept definition

template<class F>
concept mpc::applicative_traits_specialized = requires {
applicative_traits<std::remove_cvref_t<F>>::pure;
applicative_traits<std::remove_cvref_t<F>>::seq_apply;
applicative_traits<std::remove_cvref_t<F>>::liftA2;
applicative_traits<std::remove_cvref_t<F>>::discard2nd;
applicative_traits<std::remove_cvref_t<F>>::discard1st;
}
mpc::applicative_traits_specialized
applicative_traits_specialized
Definition: applicative.hpp:22
mpc::applicatives::liftA2
constexpr partial< detail::liftA2_op > liftA2
liftA2 :: (a -> b -> c) -> f a -> f b -> f c
Definition: applicative.hpp:173
mpc::applicatives::discard1st
constexpr auto discard1st
discard1st :: f a -> f b -> f b
Definition: applicative.hpp:191
mpc::applicatives::seq_apply
constexpr auto seq_apply
seq_apply :: f (a -> b) -> f a -> f b
Definition: applicative.hpp:170
mpc::applicatives::discard2nd
constexpr auto discard2nd
discard2nd :: f a -> f b -> f a
Definition: applicative.hpp:182
mpc::cpo::pure
constexpr partial< detail::pure_op< F > > pure
pure :: a -> f a
Definition: applicative.hpp:96
mpc::applicative_traits
class Functor f => Applicative f where
Definition: applicative.hpp:18

Detailed Description

applicative_traits_specialized