mpc
Haskell-like feature supports in C++
mpc::detail::liftA_op< N, class > Struct Template Reference

liftA :: Applicative f => (a -> b -> ... -> z) -> f a -> f b -> ... -> f z More...

Detailed Description

template<std::size_t N, class = make_reversed_index_sequence<N + 1>>
struct mpc::detail::liftA_op< N, class >

liftA :: Applicative f => (a -> b -> ... -> z) -> f a -> f b -> ... -> f z

liftA f a b ... z = f `fmap` a `seq_apply` b `seq_apply` ... `seq_apply` z
mpc::applicatives::fmap
constexpr partial< detail::fmap_op > fmap
fmap :: (a -> b) -> f a -> f b
Definition: applicative.hpp:161
mpc::cpo::liftA
constexpr partial< detail::liftA_op< N > > liftA
liftA :: Applicative f => (a -> b -> ... -> z) -> f a -> f b -> ... -> f z
Definition: applicative.hpp:249
mpc::cpo::seq_apply
constexpr partial< detail::seq_apply_op > seq_apply
seq_apply :: f (a -> b) -> f a -> f b
Definition: applicative.hpp:99
The documentation for this struct was generated from the following file: