Contents
- ValidationT <F, M, A> (K<M, Validation<F, A>> runValidation)
- Success (A value)
- Fail (F value)
- Lift (Pure<A> pure)
- Lift (Validation<F, A> Validation)
- Lift (Fail<F> fail)
- Lift (K<M, A> monad)
- LiftIO (IO<A> monad)
- Match <B> (Func<A, B> Succ, Func<F, B> Fail)
- Run ()
- MapT <M1, B> (Func<K<M, Validation<F, A>>, K<M1, Validation<F, B>>> f)
- MapM <B> (Func<K<M, A>, K<M, B>> f)
- Map <B> (Func<A, B> f)
- MapFail <F1> (Func<F, F1> f)
- Select <B> (Func<A, B> f)
- Bind <B> (Func<A, K<ValidationT<F, M>, B>> f)
- Bind <B> (Func<A, ValidationT<F, M, B>> f)
- BiBind <B> (Func<A, ValidationT<F, M, B>> Succ, Func<F, ValidationT<F, M, B>> Fail)
- BindFail (Func<F, ValidationT<F, M, A>> Fail)
- Bind <B> (Func<A, IO<B>> f)
- Bind <B> (Func<A, Pure<B>> f)
- SelectMany <B, C> (Func<A, K<ValidationT<F, M>, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, ValidationT<F, M, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, K<M, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, Validation<F, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, Pure<B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, IO<B>> bind, Func<A, B, C> project)
- >> (ValidationT<F, M, A> lhs, ValidationT<F, M, A> rhs)
- >> (ValidationT<F, M, A> lhs, K<ValidationT<F, M>, A> rhs)
- >> (ValidationT<F, M, A> lhs, ValidationT<F, M, Unit> rhs)
- >> (ValidationT<F, M, A> lhs, K<ValidationT<F, M>, Unit> rhs)
- + (ValidationT<F, M, A> lhs, ValidationT<F, M, A> rhs)
- + (K<ValidationT<F, M>, A> lhs, ValidationT<F, M, A> rhs)
- + (ValidationT<F, M, A> lhs, K<ValidationT<F, M>, A> rhs)
- + (ValidationT<F, M, A> lhs, Pure<A> rhs)
- + (ValidationT<F, M, A> lhs, Fail<F> rhs)
- | (ValidationT<F, M, A> lhs, ValidationT<F, M, A> rhs)
- | (K<ValidationT<F, M>, A> lhs, ValidationT<F, M, A> rhs)
- | (ValidationT<F, M, A> lhs, K<ValidationT<F, M>, A> rhs)
- | (ValidationT<F, M, A> lhs, Pure<A> rhs)
- | (ValidationT<F, M, A> lhs, Fail<F> rhs)
- | (ValidationT<F, M, A> lhs, CatchM<F, ValidationT<F, M>, A> rhs)
- & (ValidationT<F, M, A> ma, ValidationT<F, M, A> mb)
- ValidationTExtensions
- As <L, M, A> (this K<ValidationT<L, M>, A> ma)
- Run <L, M, A> (this K<ValidationT<L, M>, A> ma)
- Flatten <L, M, A> (this ValidationT<L, M, ValidationT<L, M, A>> mma)
- Flatten <L, A> (this Task<ValidationT<L, IO, A>> tma)
- ToIO <L, A> (this Task<Validation<L, A>> ma)
- ToOption <F, M, A> (this ValidationT<F, M, A> ma)
- ToEither <F, M, A> (this ValidationT<F, M, A> ma)
- ToFin <M, A> (this ValidationT<Error, M, A> ma)
- SelectMany <L, M, A, B, C> ( this K<M, A> ma, Func<A, K<ValidationT<L, M>, B>> bind, Func<A, B, C> project)
- SelectMany <L, M, A, B, C> ( this K<M, A> ma, Func<A, ValidationT<L, M, B>> bind, Func<A, B, C> project)
- ValidationTExtensions
- Map <F, M, A, B> (this Func<A, B> f, K<ValidationT<F, M>, A> ma)
- Map <F, M, A, B> (this Func<A, B> f, ValidationT<F, M, A> ma)
- Action <F, M, A, B> (this ValidationT<F, M, A> ma, K<ValidationT<F, M>, B> mb)
- Action <F, M, A, B> (this K<ValidationT<F, M>, A> ma, K<ValidationT<F, M>, B> mb)
- Apply <F, M, A, B> (this ValidationT<F, M, Func<A, B>> mf, K<ValidationT<F, M>, A> ma)
- Apply <F, M, A, B> (this K<ValidationT<F, M>, Func<A, B>> mf, K<ValidationT<F, M>, A> ma)
- ValidationT <F, M>
- Right <A> (A value)
- Left <A> (F value)
- lift <A> (Validation<F, A> ma)
- lift <A> (Pure<A> ma)
- lift <A> (Fail<F> ma)
- liftIO <A> (IO<A> ma)
- ValidationT
- Right <L, M, A> (A value)
- Left <L, M, A> (L value)
- lift <L, M, A> (Validation<L, A> ma)
- lift <L, M, A> (K<M, A> ma)
- lift <L, M, A> (Pure<A> ma)
- lift <L, M, A> (Fail<L> ma)
- liftIO <L, M, A> (IO<A> ma)
- match <L, M, A, B> (ValidationT<L, M, A> ma, Func<A, B> Succ, Func<L, B> Fail)
- ValidationT <F, M>
- Prelude
record ValidationT <F, M, A> (K<M, Validation<F, A>> runValidation) Source #
ValidationT monad transformer, which allows for an optional result.
Parameters
| type | M | Given monad trait |
| type | F | Left value type |
| type | A | Bound value type |
Methods
method ValidationT<F, M, A> Success (A value) Source #
Lift a pure value into the monad-transformer
Parameters
| param | value | Value to lift |
| returns |
| |
method ValidationT<F, M, A> Fail (F value) Source #
Lift a fail value into the monad-transformer
Parameters
| param | value | Value to lift |
| returns |
| |
method ValidationT<F, M, A> Lift (Pure<A> pure) Source #
Lifts a given monad into the transformer
Parameters
| param | pure | Monad to lift |
| returns |
| |
method ValidationT<F, M, A> Lift (Validation<F, A> Validation) Source #
Lifts a given monad into the transformer
Parameters
| param | Validation | Monad to lift |
| returns |
| |
method ValidationT<F, M, A> Lift (Fail<F> fail) Source #
Lifts a given monad into the transformer
Parameters
| param | fail | Monad to lift |
| returns |
| |
method ValidationT<F, M, A> Lift (K<M, A> monad) Source #
Lifts a given monad into the transformer
Parameters
| param | monad | Monad to lift |
| returns |
| |
method ValidationT<F, M, A> LiftIO (IO<A> monad) Source #
Lifts a given monad into the transformer
Parameters
| param | monad | Monad to lift |
| returns |
| |
method ValidationT<F, M1, B> MapT <M1, B> (Func<K<M, Validation<F, A>>, K<M1, Validation<F, B>>> f) Source #
Maps the bound monad
Parameters
| type | M1 | Target monad type |
| type | B | Target bound value type |
| param | f | Mapping function |
| returns | Mapped monad | |
method ValidationT<F, M, B> MapM <B> (Func<K<M, A>, K<M, B>> f) Source #
Maps the given monad
Parameters
| param | f | Mapping function |
method ValidationT<F, M, B> Map <B> (Func<A, B> f) Source #
Maps the bound value
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method ValidationT<F1, M, A> MapFail <F1> (Func<F, F1> f) Source #
Maps the bound value
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method ValidationT<F, M, B> Select <B> (Func<A, B> f) Source #
Maps the bound value
Parameters
| type | B | Target bound value type |
| param | f | Mapping transducer |
| returns |
| |
method ValidationT<F, M, B> Bind <B> (Func<A, K<ValidationT<F, M>, B>> f) Source #
Monad bind operation
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method ValidationT<F, M, B> Bind <B> (Func<A, ValidationT<F, M, B>> f) Source #
Monad bind operation
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method ValidationT<F, M, B> BiBind <B> (Func<A, ValidationT<F, M, B>> Succ, Func<F, ValidationT<F, M, B>> Fail) Source #
Monad bind operation
Parameters
| type | B | Target bound value type |
| param | Succ | Success mapping function |
| param | Fail | Failure mapping function |
| returns |
| |
method ValidationT<F, M, A> BindFail (Func<F, ValidationT<F, M, A>> Fail) Source #
Failure bind operation
Parameters
| type | B | Target bound value type |
| param | Fail | Failure mapping function |
| returns |
| |
method ValidationT<F, M, B> Bind <B> (Func<A, IO<B>> f) Source #
Monad bind operation
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method ValidationT<F, M, B> Bind <B> (Func<A, Pure<B>> f) Source #
Monad bind operation
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method ValidationT<F, M, C> SelectMany <B, C> (Func<A, K<ValidationT<F, M>, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method ValidationT<F, M, C> SelectMany <B, C> (Func<A, ValidationT<F, M, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method ValidationT<F, M, C> SelectMany <B, C> (Func<A, K<M, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method ValidationT<F, M, C> SelectMany <B, C> (Func<A, Validation<F, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method ValidationT<F, M, C> SelectMany <B, C> (Func<A, Pure<B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method ValidationT<F, M, C> SelectMany <B, C> (Func<A, IO<B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
Operators
operator >> (ValidationT<F, M, A> lhs, ValidationT<F, M, A> rhs) Source #
Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in C#.
Parameters
| param | lhs | First action to run |
| param | rhs | Second action to run |
| returns | Result of the second action | |
operator >> (ValidationT<F, M, A> lhs, K<ValidationT<F, M>, A> rhs) Source #
Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in C#.
Parameters
| param | lhs | First action to run |
| param | rhs | Second action to run |
| returns | Result of the second action | |
operator >> (ValidationT<F, M, A> lhs, ValidationT<F, M, Unit> rhs) Source #
Sequentially compose two actions. The second action is a unit returning action, so the result of the first action is propagated.
Parameters
| param | lhs | First action to run |
| param | rhs | Second action to run |
| returns | Result of the first action | |
operator >> (ValidationT<F, M, A> lhs, K<ValidationT<F, M>, Unit> rhs) Source #
Sequentially compose two actions. The second action is a unit returning action, so the result of the first action is propagated.
Parameters
| param | lhs | First action to run |
| param | rhs | Second action to run |
| returns | Result of the first action | |
class ValidationTExtensions Source #
ValidationT monad transformer extensions
Methods
method ValidationT<L, M, A> As <L, M, A> (this K<ValidationT<L, M>, A> ma) Source #
method K<M, Validation<L, A>> Run <L, M, A> (this K<ValidationT<L, M>, A> ma) Source #
method ValidationT<L, M, A> Flatten <L, M, A> (this ValidationT<L, M, ValidationT<L, M, A>> mma) Source #
Monadic join
method ValidationT<L, IO, A> Flatten <L, A> (this Task<ValidationT<L, IO, A>> tma) Source #
Get the outer task and wrap it up in a new IO within the EitherT IO
method ValidationT<L, IO, A> ToIO <L, A> (this Task<Validation<L, A>> ma) Source #
Lift the task
method OptionT<M, A> ToOption <F, M, A> (this ValidationT<F, M, A> ma) Source #
method EitherT<F, M, A> ToEither <F, M, A> (this ValidationT<F, M, A> ma) Source #
method ValidationT<L, M, C> SelectMany <L, M, A, B, C> ( this K<M, A> ma, Func<A, K<ValidationT<L, M>, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method ValidationT<L, M, C> SelectMany <L, M, A, B, C> ( this K<M, A> ma, Func<A, ValidationT<L, M, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
class ValidationTExtensions Source #
Methods
method ValidationT<F, M, B> Map <F, M, A, B> (this Func<A, B> f, K<ValidationT<F, M>, 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 ValidationT<F, M, B> Map <F, M, A, B> (this Func<A, B> f, ValidationT<F, M, 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 ValidationT<F, M, B> Action <F, M, A, B> (this ValidationT<F, M, A> ma, K<ValidationT<F, M>, B> mb) Source #
Applicative action: runs the first applicative, ignores the result, and returns the second applicative
method ValidationT<F, M, B> Action <F, M, A, B> (this K<ValidationT<F, M>, A> ma, K<ValidationT<F, M>, B> mb) Source #
Applicative action: runs the first applicative, ignores the result, and returns the second applicative
method ValidationT<F, M, B> Apply <F, M, A, B> (this ValidationT<F, M, Func<A, B>> mf, K<ValidationT<F, M>, 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 ValidationT<F, M, B> Apply <F, M, A, B> (this K<ValidationT<F, M>, Func<A, B>> mf, K<ValidationT<F, M>, 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 | |
class ValidationT Source #
Methods
method ValidationT<L, M, A> Right <L, M, A> (A value) Source #
method ValidationT<L, M, A> Left <L, M, A> (L value) Source #
method ValidationT<L, M, A> lift <L, M, A> (Validation<L, A> ma) Source #
method ValidationT<L, M, A> lift <L, M, A> (K<M, A> ma) Source #
method ValidationT<L, M, A> lift <L, M, A> (Pure<A> ma) Source #
method ValidationT<L, M, A> lift <L, M, A> (Fail<L> ma) Source #
class ValidationT <F, M> Source #
Trait implementation for ValidationT
Parameters
| type | M | Given monad trait |
Methods
method ValidationT<F, M, B> map <F, M, A, B> (Func<A, B> f, K<ValidationT<F, M>, 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 ValidationT<F, M, B> action <F, M, A, B> (K<ValidationT<F, M>, A> ma, K<ValidationT<F, M>, B> mb) Source #
Applicative action: runs the first applicative, ignores the result, and returns the second applicative
method ValidationT<F, M, B> apply <F, M, A, B> (K<ValidationT<F, M>, Func<A, B>> mf, K<ValidationT<F, M>, 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 | |