| Interface | Description |
|---|---|
| Eval<T> |
Represents a computation that can be deferred (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, reactiveBuffer more powerful general Option type.
|
| Reader<T,R> |
An interface that represents the Reader monad
A technique for functional dependency injection.
|
| Trampoline<T> |
simple Trampoline implementation : inspired by excellent TotallyLazy Java 8 impl
and Mario Fusco presentation
Allows Stack Free Recursion
|
| 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 |
|---|---|
| Constant<T,P> | |
| Constant.Instances | |
| Coreader<R,T> | |
| Eval.CompletableEval<ORG,T2> | |
| Eval.Instances |
Companion class for creating Type Class instances for working with Evals
|
| Eval.Module | |
| Eval.Module.Always<T> | |
| Eval.Module.FutureAlways<T> | |
| Eval.Module.Later<T> | |
| Identity<T> | |
| Identity.Instances | |
| Ior.Both<ST,PT> | |
| Ior.Instances | |
| Ior.Primary<ST,PT> | |
| Ior.Secondary<ST,PT> | |
| Maybe.CompletableMaybe<ORG,T2> | |
| Maybe.Instances |
Companion class for creating Type Class instances for working with Maybes
|
| Maybe.Just<T> | |
| Maybe.Lazy<T> | |
| Maybe.Nothing<T> | |
| Reader.Instances | |
| ReaderWriterState<R,W,S,T> | |
| ReaderWriterState.Instances | |
| State<S,T> | |
| State.Instances | |
| 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.Instances | |
| Try.MyFinallyBlock<T,V,X extends java.lang.Throwable> | |
| Unrestricted<T> |
Java friendly version of Free (as in Unrestricted) monad for cyclops2
also see
Free for a more advanced type safe version
Inspiration and heavily influenced by https://github.com/xuwei-k/free-monad-java/blob/master/src/main/java/free/Free.java
Other influences incl :- http://www.slideshare.net/kenbot/running-free-with-the-monads
and https://github.com/scalaz/scalaz/blob/series/7.2.x/core/src/main/scala/scalaz/Free.scala
and https://github.com/typelevel/cats/blob/master/free/src/main/scala/cats/free/Free.scala
Org recover : https://github.com/aol/cyclops/blob/v4.0.1/cyclops-free-monad/src/main/java/com/aol/cyclops/monad/Free.java |
| Unrestricted.Comprehensions |
Created by johnmcclean on 11/05/2017.
|
| Writer<W,T> | |
| Writer.Instances | |
| Xor.Instances | |
| Xor.Primary<ST,PT> | |
| Xor.Secondary<ST,PT> |