Modifier and Type | Method and Description |
---|---|
static <L> Pure<Either<L,?>> |
Either.pureEither()
|
static Pure<Maybe<?>> |
Maybe.pureMaybe()
|
static <A> Pure<These<A,?>> |
These.pureThese()
|
static Pure<Try<?>> |
Try.pureTry()
|
Modifier and Type | Method and Description |
---|---|
static <A> Pure<Choice2<A,?>> |
Choice2.pureChoice()
|
static <A,B> Pure<Choice3<A,B,?>> |
Choice3.pureChoice()
|
static <A,B,C> Pure<Choice4<A,B,C,?>> |
Choice4.pureChoice()
|
static <A,B,C,D> Pure<Choice5<A,B,C,D,?>> |
Choice5.pureChoice()
|
static <A,B,C,D,E> |
Choice6.pureChoice()
|
static <A,B,C,D,E,F> |
Choice7.pureChoice()
|
static <A,B,C,D,E,F,G> |
Choice8.pureChoice()
|
Modifier and Type | Method and Description |
---|---|
static Pure<SingletonHList<?>> |
SingletonHList.pureSingletonHList()
The canonical
Pure instance for SingletonHList . |
static <_1,_2,_3,_4,_5,_6,_7> |
Tuple8.pureTuple(_1 _1,
_2 _2,
_3 _3,
_4 _4,
_5 _5,
_6 _6,
_7 _7)
|
static <_1,_2,_3,_4,_5,_6> |
Tuple7.pureTuple(_1 _1,
_2 _2,
_3 _3,
_4 _4,
_5 _5,
_6 _6)
|
static <_1,_2,_3,_4,_5> |
Tuple6.pureTuple(_1 _1,
_2 _2,
_3 _3,
_4 _4,
_5 _5)
|
static <_1,_2,_3,_4> |
Tuple5.pureTuple(_1 _1,
_2 _2,
_3 _3,
_4 _4)
|
static <_1,_2,_3> Pure<Tuple4<_1,_2,_3,?>> |
Tuple4.pureTuple(_1 _1,
_2 _2,
_3 _3)
|
static <_1,_2> Pure<Tuple3<_1,_2,?>> |
Tuple3.pureTuple(_1 _1,
_2 _2)
|
static <_1> Pure<Tuple2<_1,?>> |
Tuple2.pureTuple(_1 _1)
|
Modifier and Type | Method and Description |
---|---|
static <A> Pure<Fn1<A,?>> |
Fn1.pureFn1()
|
Modifier and Type | Method and Description |
---|---|
static <A> Pure<RecursiveResult<A,?>> |
RecursiveResult.pureRecursiveResult()
The canonical
Pure instance for RecursiveResult . |
Modifier and Type | Method and Description |
---|---|
static <F extends Applicative<?,? extends F>> |
Pure.of(Applicative<?,? extends F> app)
|
static <F extends Functor<?,? extends F>> |
Pure.pure(Pure<F> pure)
Static method to aid inference.
|
Modifier and Type | Method and Description |
---|---|
static <F extends Functor<?,? extends F>> |
Pure.pure(Pure<F> pure)
Static method to aid inference.
|
Modifier and Type | Method and Description |
---|---|
static <F extends Applicative<?,F>,G extends Applicative<?,G>> |
Compose.pureCompose(Pure<F> pureF,
Pure<G> pureG)
|
static <A> Pure<Const<A,?>> |
Const.pureConst(A a)
|
static Pure<Identity<?>> |
Identity.pureIdentity()
|
static Pure<Lazy<?>> |
Lazy.pureLazy()
|
static <A,B,S> Pure<Market<A,B,S,?>> |
Market.pureMarket()
|
static <S> Pure<State<S,?>> |
State.pureState()
|
static <S> Pure<Tagged<S,?>> |
Tagged.pureTagged()
|
static <W> Pure<Writer<W,?>> |
Writer.pureWriter()
|
Modifier and Type | Method and Description |
---|---|
static <F extends Applicative<?,F>,G extends Applicative<?,G>> |
Compose.pureCompose(Pure<F> pureF,
Pure<G> pureG)
|
static <F extends Applicative<?,F>,G extends Applicative<?,G>> |
Compose.pureCompose(Pure<F> pureF,
Pure<G> pureG)
|
Modifier and Type | Method and Description |
---|---|
static Pure<IO<?>> |
IO.pureIO()
|
Modifier and Type | Method and Description |
---|---|
static <M extends MonadRec<?,M>> |
SafeT.pureSafeT(Pure<M> pureM)
|
Modifier and Type | Method and Description |
---|---|
static <M extends MonadRec<?,M>> |
SafeT.pureSafeT(Pure<M> pureM)
|
Modifier and Type | Method and Description |
---|---|
static <M extends MonadRec<?,M>,L> |
EitherT.pureEitherT(Pure<M> pureM)
|
static <M extends MonadRec<?,M>> |
IdentityT.pureIdentityT(Pure<M> pureM)
|
static <M extends MonadRec<?,M>> |
LazyT.pureLazyT(Pure<M> pureM)
|
static <M extends MonadRec<?,M>> |
MaybeT.pureMaybeT(Pure<M> pureM)
|
static <R,M extends MonadRec<?,M>> |
ReaderT.pureReaderT(Pure<M> pureM)
|
static <S,M extends MonadRec<?,M>> |
StateT.pureStateT(Pure<M> pureM)
|
static <W,M extends MonadRec<?,M>> |
WriterT.pureWriterT(Pure<M> pureM)
|
Modifier and Type | Method and Description |
---|---|
static <A,M extends MonadRec<?,M>> |
StateT.get(Pure<M> pureM)
|
static <M extends MonadRec<?,M>,L> |
EitherT.pureEitherT(Pure<M> pureM)
|
static <M extends MonadRec<?,M>> |
IdentityT.pureIdentityT(Pure<M> pureM)
|
static <M extends MonadRec<?,M>> |
LazyT.pureLazyT(Pure<M> pureM)
|
static <M extends MonadRec<?,M>> |
MaybeT.pureMaybeT(Pure<M> pureM)
|
static <R,M extends MonadRec<?,M>> |
ReaderT.pureReaderT(Pure<M> pureM)
|
static <S,M extends MonadRec<?,M>> |
StateT.pureStateT(Pure<M> pureM)
|
static <W,M extends MonadRec<?,M>> |
WriterT.pureWriterT(Pure<M> pureM)
|
Modifier and Type | Method and Description |
---|---|
Monoid<Fn1<A,MA>> |
EndoK.checkedApply(Pure<M> pureM) |
static <M extends MonadRec<?,M>,A,MA extends MonadRec<A,M>> |
EndoK.endoK(Pure<M> pureM) |
Modifier and Type | Method and Description |
---|---|
static <S,A,B> Pure<Iso<S,?,A,B>> |
Iso.pureIso(Fn1<? super S,? extends A> sa)
|
static <S,A,B> Pure<Lens<S,?,A,B>> |
Lens.pureLens(Fn1<? super S,? extends A> sa)
|
static <S,A,B> Pure<Prism<S,?,A,B>> |
Prism.purePrism()
|
Modifier and Type | Method and Description |
---|---|
<F extends Applicative<?,F>> |
ProtoOptic.toOptic(Pure<F> pure)
|
Modifier and Type | Method and Description |
---|---|
static Pure<LambdaIterable<?>> |
LambdaIterable.pureLambdaIterable()
The canonical
Pure instance for LambdaIterable . |