Contents
- BimonadExtensions
- BindFirst <M, X, Y, A> (this K<M, X, A> ma, Func<X, K<M, Y, A>> f)
- BindSecond <M, X, A, B> (this K<M, X, A> ma, Func<A, K<M, X, B>> f)
- FlattenFirst <M, X, A> (K<M, K<M, X, A>, A> mma)
- FlattenSecond <M, X, A> (K<M, X, K<M, X, A>> mma)
- Bimonad
- bindFirst <M, X, Y, A> (K<M, X, A> ma, Func<X, K<M, Y, A>> f)
- bindSecond <M, X, A, B> (K<M, X, A> ma, Func<A, K<M, X, B>> f)
- flattenFirst <M, X, A> (K<M, K<M, X, A>, A> mma)
- flattenSecond <M, X, A> (K<M, X, K<M, X, A>> mma)
- Bimonad <M>
class BimonadExtensions Source #
interface Bimonad <M> Source #
where
M : Bimonad<M>
Methods
method K<M, X, B> BindSecond <X, A, B> (K<M, X, A> ma, Func<A, K<M, X, B>> f) Source #
method K<M, X, A> FlattenFirst <X, A> (K<M, K<M, X, A>, A> mma) Source #
method K<M, X, A> FlattenSecond <X, A> (K<M, X, K<M, X, A>> mma) Source #