public class ReaderWriterState<R,W,S,T> extends java.lang.Object implements Higher4<Witness.rws,R,W,S,T>
Modifier and Type | Class and Description |
---|---|
static class |
ReaderWriterState.Instances |
Constructor and Description |
---|
ReaderWriterState() |
Modifier and Type | Method and Description |
---|---|
Active<Higher<Higher<Higher<Witness.rws,R>,W>,S>,T> |
allTypeclasses(R val1,
S val2,
Monoid<W> monoid) |
ReaderWriterState<R,W,S,T> |
ask() |
<R2> ReaderWriterState<R,W,S,R2> |
flatMap(java.util.function.Function<? super T,? extends ReaderWriterState<R,W,S,R2>> f) |
<R1,R4> ReaderWriterState<R,W,S,R4> |
forEach2(java.util.function.Function<? super T,ReaderWriterState<R,W,S,R1>> value2,
java.util.function.BiFunction<? super T,? super R1,? extends R4> yieldingFunction) |
<R1,R2,R4> ReaderWriterState<R,W,S,R4> |
forEach3(java.util.function.Function<? super T,ReaderWriterState<R,W,S,R1>> value2,
java.util.function.BiFunction<? super T,? super R1,ReaderWriterState<R,W,S,R2>> value3,
Fn3<? super T,? super R1,? super R2,? extends R4> yieldingFunction) |
<R1,R2,R3,R4> |
forEach4(java.util.function.Function<? super T,ReaderWriterState<R,W,S,R1>> value2,
java.util.function.BiFunction<? super T,? super R1,ReaderWriterState<R,W,S,R2>> value3,
Fn3<? super T,? super R1,? super R2,ReaderWriterState<R,W,S,R3>> value4,
Fn4<? super T,? super R1,? super R2,? super R3,? extends R4> yieldingFunction) |
static <R,W,S,T> Cokleisli<Higher<Higher<Higher<Witness.rws,R>,W>,S>,T,ReaderWriterState<R,W,S,T>> |
kindCokleisli() |
static <R,W,S,T> Kleisli<Higher<Higher<Higher<Witness.rws,R>,W>,S>,ReaderWriterState<R,W,S,T>,T> |
kindKleisli(Monoid<W> m) |
ReaderWriterState<R,W,S,T> |
local(java.util.function.Function<? super R,? extends R> fn) |
<R2> ReaderWriterState<R,W,S,R2> |
map(java.util.function.Function<? super T,? extends R2> mapper) |
<W2,R2> Nested<Higher<Higher<Higher<Witness.rws,R>,W>,S>,W2,R2> |
mapM(R val1,
S val2,
Monoid<W> monoid,
java.util.function.Function<? super T,? extends Higher<W2,R2>> fn,
InstanceDefinitions<W2> defs) |
<R2> ReaderWriterState<R,W,S,R2> |
mapState(java.util.function.Function<org.jooq.lambda.tuple.Tuple3<W,S,T>,org.jooq.lambda.tuple.Tuple3<W,S,R2>> fn) |
static <R,W,S,T> ReaderWriterState<R,W,S,T> |
narrowK(Higher<Higher<Higher<Higher<Witness.rws,R>,W>,S>,T> hkt) |
org.jooq.lambda.tuple.Tuple3<W,S,T> |
run(R r,
S s) |
static <R,W,S,T> ReaderWriterState<R,W,S,T> |
rws(java.util.function.BiFunction<? super R,? super S,? extends org.jooq.lambda.tuple.Tuple3<W,S,T>> runF,
Monoid<W> monoid) |
static <T,R1,W,S,R> |
tailRec(Monoid<W> monoid,
T initial,
java.util.function.Function<? super T,? extends ReaderWriterState<R1,W,S,? extends Xor<T,R>>> fn) |
ReaderWriterState<R,W,S,T> |
tell(W value) |
static <R,W,S,T> Higher<Higher<Higher<Higher<Witness.rws,R>,W>,S>,T> |
widen(ReaderWriterState<R,W,S,T> narrow) |
public static <T,R1,W,S,R> ReaderWriterState<R1,W,S,R> tailRec(Monoid<W> monoid, T initial, java.util.function.Function<? super T,? extends ReaderWriterState<R1,W,S,? extends Xor<T,R>>> fn)
public ReaderWriterState<R,W,S,T> ask()
public ReaderWriterState<R,W,S,T> local(java.util.function.Function<? super R,? extends R> fn)
public <R2> ReaderWriterState<R,W,S,R2> map(java.util.function.Function<? super T,? extends R2> mapper)
public <R2> ReaderWriterState<R,W,S,R2> mapState(java.util.function.Function<org.jooq.lambda.tuple.Tuple3<W,S,T>,org.jooq.lambda.tuple.Tuple3<W,S,R2>> fn)
public <R2> ReaderWriterState<R,W,S,R2> flatMap(java.util.function.Function<? super T,? extends ReaderWriterState<R,W,S,R2>> f)
public <R1,R2,R3,R4> ReaderWriterState<R,W,S,R4> forEach4(java.util.function.Function<? super T,ReaderWriterState<R,W,S,R1>> value2, java.util.function.BiFunction<? super T,? super R1,ReaderWriterState<R,W,S,R2>> value3, Fn3<? super T,? super R1,? super R2,ReaderWriterState<R,W,S,R3>> value4, Fn4<? super T,? super R1,? super R2,? super R3,? extends R4> yieldingFunction)
public <R1,R2,R4> ReaderWriterState<R,W,S,R4> forEach3(java.util.function.Function<? super T,ReaderWriterState<R,W,S,R1>> value2, java.util.function.BiFunction<? super T,? super R1,ReaderWriterState<R,W,S,R2>> value3, Fn3<? super T,? super R1,? super R2,? extends R4> yieldingFunction)
public <R1,R4> ReaderWriterState<R,W,S,R4> forEach2(java.util.function.Function<? super T,ReaderWriterState<R,W,S,R1>> value2, java.util.function.BiFunction<? super T,? super R1,? extends R4> yieldingFunction)
public Active<Higher<Higher<Higher<Witness.rws,R>,W>,S>,T> allTypeclasses(R val1, S val2, Monoid<W> monoid)
public <W2,R2> Nested<Higher<Higher<Higher<Witness.rws,R>,W>,S>,W2,R2> mapM(R val1, S val2, Monoid<W> monoid, java.util.function.Function<? super T,? extends Higher<W2,R2>> fn, InstanceDefinitions<W2> defs)
public static <R,W,S,T> ReaderWriterState<R,W,S,T> rws(java.util.function.BiFunction<? super R,? super S,? extends org.jooq.lambda.tuple.Tuple3<W,S,T>> runF, Monoid<W> monoid)
public static <R,W,S,T> ReaderWriterState<R,W,S,T> narrowK(Higher<Higher<Higher<Higher<Witness.rws,R>,W>,S>,T> hkt)
public static <R,W,S,T> Kleisli<Higher<Higher<Higher<Witness.rws,R>,W>,S>,ReaderWriterState<R,W,S,T>,T> kindKleisli(Monoid<W> m)
public static <R,W,S,T> Higher<Higher<Higher<Higher<Witness.rws,R>,W>,S>,T> widen(ReaderWriterState<R,W,S,T> narrow)
public static <R,W,S,T> Cokleisli<Higher<Higher<Higher<Witness.rws,R>,W>,S>,T,ReaderWriterState<R,W,S,T>> kindCokleisli()