| Interface | Description |
|---|---|
| Eval<T> |
Represents a computation that can be defered (always), cached (later) or immediate(now).
|
| Ior<ST,PT> |
Inclusive Or (can be one of Primary, Secondary or Both Primary and Secondary)
An Either or Union type, but right biased.
|
| Maybe<T> |
Totally lazy more powerful general Option(al) type.
|
| Trampoline<T> |
simple Trampoline implementation : inspired by excellent TotallyLazy Java 8 impl
and Mario Fusco presentation
Allows Stack Free Recursion
|
| Try<T,X extends java.lang.Throwable> |
Light weight Try Monad
Fail fast behaviour with more explicit declararions required compared to
with scala.util.Try and javaslang.monad.Try.
|
| Try.AndFinally<T,V,X extends java.lang.Throwable> | |
| Try.CheckedConsumer<T,X extends java.lang.Throwable> | |
| Try.CheckedFunction<T,R,X extends java.lang.Throwable> | |
| Try.CheckedRunnable<X extends java.lang.Throwable> | |
| Try.CheckedSupplier<T,X extends java.lang.Throwable> | |
| Try.Init<X extends java.lang.Throwable> | |
| Try.TryCatch<V,X extends java.lang.Throwable> | |
| Xor<ST,PT> |
eXclusive Or (Xor)
'Right' (or primary type) biased disjunct union.
|
| Class | Description |
|---|---|
| Eval.µ | |
| Eval.Instances |
Companion class for creating Type Class instances for working with Evals
|
| Eval.Module | |
| Eval.Module.Always<T> | |
| Eval.Module.Later<T> | |
| Ior.Both<ST,PT> | |
| Ior.Primary<ST,PT> | |
| Ior.Secondary<ST,PT> | |
| Maybe.µ | |
| Maybe.Instances |
Companion class for creating Type Class instances for working with Maybes
|
| Maybe.Just<T> | |
| Maybe.Lazy<T> | |
| Maybe.Nothing<T> | |
| Try.Failure<T,X extends java.lang.Throwable> |
Class that represents the Failure of a Try
|
| Try.MyFinallyBlock<T,V,X extends java.lang.Throwable> | |
| Try.MyInit<X extends java.lang.Throwable> | |
| Try.MyTryCatch<V,X extends java.lang.Throwable> | |
| Try.Success<T,X extends java.lang.Throwable> |
Class that represents a Successful Try
|
| Xor.Primary<ST,PT> | |
| Xor.Secondary<ST,PT> |