/// <summary>
/// Select Many
/// </summary>
public static RWS <R, W, S, V> SelectMany <R, W, S, T, U, V>(
this RWS <R, W, S, T> self,
Func <T, RWS <R, W, S, U> > bind,
Func <T, U, V> project
)
where S : class
{
if (bind == null)
{
throw new ArgumentNullException("bind");
}
if (project == null)
{
throw new ArgumentNullException("project");
}
return((R r, S s) =>
{
var resT = self(r, s);
var resU = bind(resT.Value).Invoke(r, resT.State ?? s);
var resV = project(resT.Value, resU.Value);
return RWSResult.Create <W, S, V>(resV, resT.Output.Concat(resU.Output), resU.State ?? resT.State ?? s);
});
}
public static RWSResult <W, S, A> Tell <W, S, A>(A a, IEnumerable <W> ws)
{
if (ws == null)
{
throw new ArgumentNullException("ws");
}
return(RWSResult.Create <W, S, A>(a, ws, default(S)));
}
public static RWS <R, W, S, R> Ask <R, W, S, T>(this RWS <R, W, S, T> self, Func <R, R> f)
{
if (f == null)
{
throw new ArgumentNullException("f");
}
return((R r, S s) => RWSResult.Create(f(r), new W[0], s));
}
public static RWS <R, W, S, S> Get <R, W, S>(Func <S, S> f)
{
if (f == null)
{
throw new ArgumentNullException("f");
}
return((R r, S s) => RWSResult.Create <W, S, S>(s, new W[0], f(s)));
}
/// <summary>
/// Select
/// </summary>
public static RWS <R, W, S, U> Select <R, W, S, T, U>(this RWS <R, W, S, T> self, Func <T, U> select)
where S : class
{
if (select == null)
{
throw new ArgumentNullException("select");
}
return((R r, S s) =>
{
var resT = self(r, s);
var resU = select(resT.Value);
return RWSResult.Create <W, S, U>(resU, resT.Output, resT.State ?? s);
});
}
public static RWS <R, W, S, Unit> Tell <R, W, S>(W value)
{
return((R r, S s) => RWSResult.Create <W, S, Unit>(Unit.Default, new W[1] {
value
}, s));
}
public static RWSResult <W, S, A> Tell <W, S, A>(A a, W w)
{
return(RWSResult.Create <W, S, A>(a, new W[1] {
w
}, default(S)));
}
public static RWS <R, W, S, A> Return <R, W, S, A>(A a)
{
return((R r, S s) => RWSResult.Create <W, S, A>(a, new W[0], s));
}
public static RWS <R, W, S, R> Ask <R, W, S, T>(this RWS <R, W, S, T> self)
{
return((R r, S s) => RWSResult.Create(r, new W[0], s));
}
public static RWS <R, W, S, Unit> Put <R, W, S>(S state)
{
return((R r, S s) => RWSResult.Create <W, S, Unit>(Unit.Default, new W[0], state));
}
public static RWS <R, W, S, S> Get <R, W, S>()
{
return((R r, S s) => RWSResult.Create <W, S, S>(s, new W[0], s));
}
public static RWS <R, W, S, R> Ask <R, W, S>()
{
return((R r, S s) => RWSResult.Create(r, new W[0], s));
}
