Package com.jnape.palatable.lambda.adt

Class Summary

Class	Description
Either<L,R>	The binary tagged union, implemented as a specialized CoProduct2.
Maybe<A>	The optional type, representing a potentially absent value.
These<A,B>	The coproduct of a coproduct (CoProduct2<A, B>) and its product (Tuple2<A, B>), represented as a CoProduct3<A, B, Tuple2<A, B>>.
Try<A>	A Monad of the evaluation outcome of an expression that might throw.
Unit	The empty return type.