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> |