Contents

Iterator <UOut, UIn, DIn, DOut, M, A> ( Func<Proxy<UOut, UIn, DIn, DOut, M, A>> Next)

Run ()

IteratorFoldable <UOut, UIn, DIn, DOut, F, X, M, A> ( K<F, X> Items, Func<X, Proxy<UOut, UIn, DIn, DOut, M, Unit>> Yield, Func<Proxy<UOut, UIn, DIn, DOut, M, A>> Next)

ToProxy ()
Run ()
Bind ( Func<A, Proxy<UOut, UIn, DIn, DOut, M, B>> f)
Map ( Func<A, B> f)
MapM ( Func<K<M, A>, K<M, B>> f)
ToIO ()
For <C1, C> ( Func<DOut, Proxy<UOut, UIn, C1, C, M, DIn>> body)
Action ( Proxy<UOut, UIn, DIn, DOut, M, B> r)
PairEachRequestWithRespond <UOutA, AUInA> ( Func<UOut, Proxy<UOutA, AUInA, UOut, UIn, M, A>> lhs)
ReplaceRequest <UOutA, AUInA> ( Func<UOut, Proxy<UOutA, AUInA, DIn, DOut, M, UIn>> lhs)
PairEachRespondWithRequest <DInC, DOutC> ( Func<DOut, Proxy<DIn, DOut, DInC, DOutC, M, A>> rhs)
ReplaceRespond <DInC, DOutC> ( Func<DOut, Proxy<UOut, UIn, DInC, DOutC, M, DIn>> rhs)
Reflect ()
Observe ()

IteratorAsyncEnumerable <UOut, UIn, DIn, DOut, F, X, M, A> ( IAsyncEnumerable<X> Items, Func<X, Proxy<UOut, UIn, DIn, DOut, M, Unit>> Yield, Func<Proxy<UOut, UIn, DIn, DOut, M, A>> Next)

ToProxy ()
Run ()
Bind ( Func<A, Proxy<UOut, UIn, DIn, DOut, M, B>> f)
Map ( Func<A, B> f)
MapM ( Func<K<M, A>, K<M, B>> f)
ToIO ()
For <C1, C> ( Func<DOut, Proxy<UOut, UIn, C1, C, M, DIn>> body)
Action ( Proxy<UOut, UIn, DIn, DOut, M, B> r)
PairEachRequestWithRespond <UOutA, AUInA> ( Func<UOut, Proxy<UOutA, AUInA, UOut, UIn, M, A>> lhs)
ReplaceRequest <UOutA, AUInA> ( Func<UOut, Proxy<UOutA, AUInA, DIn, DOut, M, UIn>> lhs)
PairEachRespondWithRequest <DInC, DOutC> ( Func<DOut, Proxy<DIn, DOut, DInC, DOutC, M, A>> rhs)
ReplaceRespond <DInC, DOutC> ( Func<DOut, Proxy<UOut, UIn, DInC, DOutC, M, DIn>> rhs)
Reflect ()
Observe ()

record Iterator <UOut, UIn, DIn, DOut, M, A> ( Func<Proxy<UOut, UIn, DIn, DOut, M, A>> Next) Source #

where M : Monad<M>

Methods

method IEnumerable<Proxy<UOut, UIn, DIn, DOut, M, Unit>> Run () Source #

record IteratorFoldable <UOut, UIn, DIn, DOut, F, X, M, A> ( K<F, X> Items, Func<X, Proxy<UOut, UIn, DIn, DOut, M, Unit>> Yield, Func<Proxy<UOut, UIn, DIn, DOut, M, A>> Next) Source #

where M : Monad<M>

where F : Foldable<F>

Methods

method Proxy<UOut, UIn, DIn, DOut, M, A> ToProxy () Source #

method IEnumerable<Proxy<UOut, UIn, DIn, DOut, M, Unit>> Run () Source #

method Proxy<UOut, UIn, DIn, DOut, M, B> Bind ( Func<A, Proxy<UOut, UIn, DIn, DOut, M, B>> f) Source #

method Proxy<UOut, UIn, DIn, DOut, M, B> Map ( Func<A, B> f) Source #

method Proxy<UOut, UIn, DIn, DOut, M, B> MapM ( Func<K<M, A>, K<M, B>> f) Source #

method Proxy<UOut, UIn, DIn, DOut, M, IO<A>> ToIO () Source #

Extract the lifted IO monad (if there is one)

Parameters

param	f	The map function
returns	A new `Proxy` that represents the innermost IO monad, if it exists.

method Proxy<UOut, UIn, C1, C, M, A> For <C1, C> ( Func<DOut, Proxy<UOut, UIn, C1, C, M, DIn>> body) Source #

method Proxy<UOut, UIn, DIn, DOut, M, B> Action ( Proxy<UOut, UIn, DIn, DOut, M, B> r) Source #

method Proxy<UOutA, AUInA, DIn, DOut, M, A> PairEachRequestWithRespond <UOutA, AUInA> ( Func<UOut, Proxy<UOutA, AUInA, UOut, UIn, M, A>> lhs) Source #

method Proxy<UOutA, AUInA, DIn, DOut, M, A> ReplaceRequest <UOutA, AUInA> ( Func<UOut, Proxy<UOutA, AUInA, DIn, DOut, M, UIn>> lhs) Source #

method Proxy<UOut, UIn, DInC, DOutC, M, A> PairEachRespondWithRequest <DInC, DOutC> ( Func<DOut, Proxy<DIn, DOut, DInC, DOutC, M, A>> rhs) Source #

method Proxy<UOut, UIn, DInC, DOutC, M, A> ReplaceRespond <DInC, DOutC> ( Func<DOut, Proxy<UOut, UIn, DInC, DOutC, M, DIn>> rhs) Source #

method Proxy<DOut, DIn, UIn, UOut, M, A> Reflect () Source #

method Proxy<UOut, UIn, DIn, DOut, M, A> Observe () Source #

record IteratorAsyncEnumerable <UOut, UIn, DIn, DOut, F, X, M, A> ( IAsyncEnumerable<X> Items, Func<X, Proxy<UOut, UIn, DIn, DOut, M, Unit>> Yield, Func<Proxy<UOut, UIn, DIn, DOut, M, A>> Next) Source #

where M : Monad<M>

where F : Foldable<F>

Methods

method Proxy<UOut, UIn, DIn, DOut, M, A> ToProxy () Source #

method IEnumerable<Proxy<UOut, UIn, DIn, DOut, M, Unit>> Run () Source #

method Proxy<UOut, UIn, DIn, DOut, M, B> Bind ( Func<A, Proxy<UOut, UIn, DIn, DOut, M, B>> f) Source #

method Proxy<UOut, UIn, DIn, DOut, M, B> Map ( Func<A, B> f) Source #

method Proxy<UOut, UIn, DIn, DOut, M, B> MapM ( Func<K<M, A>, K<M, B>> f) Source #

method Proxy<UOut, UIn, DIn, DOut, M, IO<A>> ToIO () Source #

Extract the lifted IO monad (if there is one)

Parameters

param	f	The map function
returns	A new `Proxy` that represents the innermost IO monad, if it exists.