 |
LeechCraft
0.6.70-15082-g543737046d
Modular cross-platform feature rich live environment.
|
Go to the documentation of this file.
35 struct InstanceFunctor
67 static FmapResult_t<F>
Apply (
const T& functor,
const F&
function);
94 return detail::IsFunctorImpl<T> (0);
104 template<
typename T,
typename F>
127 template<typename T, typename F, typename = std::enable_if_t<IsFunctor<T> ()>>
153 template<
typename T,
typename F>
154 auto operator* (
const F&
function,
const T& functor) -> decltype (
Fmap (functor,
function))
156 return Fmap (functor,
function);
179 template<
typename T,
typename F>
180 auto operator* (
const T& functor,
const F&
function) -> decltype (
Fmap (functor,
function))
182 return Fmap (functor,
function);
188 struct WrapVoidResult
194 struct WrapVoidResult<void>
231 return { std::invoke (
f, *t) };
235 template<
typename L,
typename R>
236 struct InstanceFunctor<Either<L, R>>
239 using FmapResult_t = Either<L, std::result_of_t<F (R)>>;
242 static FmapResult_t<F>
Apply (
const Either<L, R>& either,
const F&
f)
244 if (either.IsLeft ())
245 return FmapResult_t<F>::Left (either.GetLeft ());
247 return FmapResult_t<F>::Right (
f (either.GetRight ()));
detail::ImplementationType FmapResult_t
The type of the functor after its elements were mapped by the function F.
static FmapResult_t< F > Apply(const T &functor, const F &function)
Applies the function to the each of the elements inside the functor.
typename InstanceFunctor< T >::template FmapResult_t< F > FmapResult_t
The result type of the contents of the functor T mapped by function F.
constexpr bool IsFunctorImpl(int, typename InstanceFunctor< T >::UndefinedTag *=nullptr)
FmapResult_t< T, F > Fmap(const T &functor, const F &function)
Apply the function f to the elements in functor.
auto operator*(const AF &af, const AV &av) -> decltype(GSL(af, av))
The Functor class is used for types that can be mapped over.
typename WrapVoidResult< T >::Type WrapVoidResult_t
constexpr bool IsFunctor()
Checks whether the given type has a Functor instance for it.
constexpr detail::ExprTree< detail::ExprType::LeafStaticPlaceholder, detail::MemberPtrs< Ptr > > f
A proper void type, akin to unit (or ()) type in functional languages.