public static Monad <TResult> ReplaceBy <TSource, TResult>(
this Monad <TSource> @this,
TResult value)
{
Require.NotNull(@this, nameof(@this));
return(@this.Select(_ => value));
}
/// <seealso cref="Apply{TSource, TResult}(Monad{Func{TSource, TResult}}, Monad{TSource})" />
public static Monad <TResult> Gather <TSource, TResult>(
this Monad <TSource> @this,
Monad <Func <TSource, TResult> > applicative)
{
Require.NotNull(@this, nameof(@this));
Require.NotNull(applicative, nameof(applicative));
return(applicative.Bind(func => @this.Select(func)));
}
// Select() with automatic resource management.
public static Monad <TResult> Using <TSource, TResult>(
this Monad <TSource> @this,
Func <TSource, TResult> selector)
where TSource : IDisposable
{
Require.NotNull(@this, nameof(@this));
Require.NotNull(selector, nameof(selector));
return(@this.Select(val => { using (val) { return selector(val); } }));
}
/// <seealso cref="Monad.Lift{T1, T2, TResult}"/>
public static Monad <TResult> ZipWith <T1, T2, TResult>(
this Monad <T1> @this,
Monad <T2> second,
Func <T1, T2, TResult> zipper)
{
Require.NotNull(@this, nameof(@this));
Require.NotNull(second, nameof(second));
Require.NotNull(zipper, nameof(zipper));
return(@this.Bind(
arg1 => second.Select(
arg2 => zipper(arg1, arg2))));
}