mpc
Haskell-like feature supports in C++
Public Member Functions | List of all members
mpc::applicatives::detail::fmap_op Struct Reference

fmap :: (a -> b) -> f a -> f b More...

#include <applicative.hpp>

Public Member Functions

template<class Fn , class Fa >
constexpr auto operator() (Fn &&fn, Fa &&fa) const noexcept(noexcept(mpc::seq_apply(mpc::pure< Fa >(std::forward< Fn >(fn)), std::forward< Fa >(fa)))) -> decltype(mpc::seq_apply(mpc::pure< Fa >(std::forward< Fn >(fn)), std::forward< Fa >(fa)))
 

Detailed Description

fmap :: (a -> b) -> f a -> f b

fmap f x = (pure f) `seq_apply` x
mpc::applicatives::seq_apply
constexpr auto seq_apply
seq_apply :: f (a -> b) -> f a -> f b
Definition: applicative.hpp:170
mpc::applicatives::fmap
constexpr partial< detail::fmap_op > fmap
fmap :: (a -> b) -> f a -> f b
Definition: applicative.hpp:161
mpc::cpo::pure
constexpr partial< detail::pure_op< F > > pure
pure :: a -> f a
Definition: applicative.hpp:96
The documentation for this struct was generated from the following file: