LanguageExt.Core ► Monads ► Free ► Extensions
Contents
- FreeExtensions
- FreeExtensions
- Map <F, A, B> (this Func<A, B> f, K<Free<F>, A> ma)
- Map <F, A, B> (this Func<A, B> f, Free<F, A> ma)
- Action <F, A, B> (this Free<F, A> ma, K<Free<F>, B> mb)
- Action <F, A, B> (this K<Free<F>, A> ma, K<Free<F>, B> mb)
- Apply <F, A, B> (this Free<F, Func<A, B>> mf, K<Free<F>, A> ma)
- Apply <F, A, B> (this K<Free<F>, Func<A, B>> mf, K<Free<F>, A> ma)
class FreeExtensions Source #
class FreeExtensions Source #
Methods
method Free<F, B> Map <F, A, B> (this Func<A, B> f, K<Free<F>, A> ma) Source #
Functor map operation
Unwraps the value within the functor, passes it to the map function f provided, and
then takes the mapped value and wraps it back up into a new functor.
Parameters
| param | ma | Functor to map |
| param | f | Mapping function |
| returns | Mapped functor | |
method Free<F, B> Map <F, A, B> (this Func<A, B> f, Free<F, A> ma) Source #
Functor map operation
Unwraps the value within the functor, passes it to the map function f provided, and
then takes the mapped value and wraps it back up into a new functor.
Parameters
| param | ma | Functor to map |
| param | f | Mapping function |
| returns | Mapped functor | |
method Free<F, B> Action <F, A, B> (this Free<F, A> ma, K<Free<F>, B> mb) Source #
Applicative action: runs the first applicative, ignores the result, and returns the second applicative
method Free<F, B> Action <F, A, B> (this K<Free<F>, A> ma, K<Free<F>, B> mb) Source #
Applicative action: runs the first applicative, ignores the result, and returns the second applicative
method Free<F, B> Apply <F, A, B> (this Free<F, Func<A, B>> mf, K<Free<F>, A> ma) Source #
Applicative functor apply operation
Unwraps the value within the ma applicative-functor, passes it to the unwrapped function(s) within mf, and
then takes the resulting value and wraps it back up into a new applicative-functor.
Parameters
| param | ma | Value(s) applicative functor |
| param | mf | Mapping function(s) |
| returns | Mapped applicative functor | |
method Free<F, B> Apply <F, A, B> (this K<Free<F>, Func<A, B>> mf, K<Free<F>, A> ma) Source #
Applicative functor apply operation
Unwraps the value within the ma applicative-functor, passes it to the unwrapped function(s) within mf, and
then takes the resulting value and wraps it back up into a new applicative-functor.
Parameters
| param | ma | Value(s) applicative functor |
| param | mf | Mapping function(s) |
| returns | Mapped applicative functor | |