Package com.jnape.palatable.lambda.adt
package com.jnape.palatable.lambda.adt
-
ClassesClassDescriptionEither<L,
R> The binary tagged union, implemented as a specializedCoProduct2
.Either.Left<L,R> Either.Right<L,R> Maybe<A>The optional type, representing a potentially absent value.Maybe.Just<A>These<A,B> The coproduct of a coproduct (
) and its product (CoProduct2
<A, B>
), represented as aTuple2
<A, B>
.CoProduct3
<A, B,Tuple2
<A, B>>These._A<A,B> These._B<A,B> These.Both<A,B> Try<A>AMonad
of the evaluation outcome of an expression that might throw.Try.Failure<A>Try.Success<A>The empty return type.