public interface Witness
| Modifier and Type | Interface and Description |
|---|---|
static interface |
Witness.CollectionXWitness<W extends Witness.CollectionXWitness<W>> |
static class |
Witness.completableFuture |
static class |
Witness.deque |
static class |
Witness.either |
static class |
Witness.either3 |
static class |
Witness.either4 |
static class |
Witness.either5 |
static class |
Witness.eval |
static class |
Witness.future |
static class |
Witness.ior |
static class |
Witness.list |
static class |
Witness.maybe |
static interface |
Witness.MonadicValueWitness<W extends Witness.MonadicValueWitness<W>> |
static class |
Witness.optional |
static class |
Witness.pstack |
static class |
Witness.pvector |
static class |
Witness.queue |
static class |
Witness.reactiveSeq |
static class |
Witness.set |
static class |
Witness.sortedSet |
static class |
Witness.stream |
static class |
Witness.streamable |
static interface |
Witness.StreamWitness<W extends Witness.StreamWitness<W>> |
static class |
Witness.tryType |
static class |
Witness.xor |
| Modifier and Type | Method and Description |
|---|---|
static <T,W extends Witness.CollectionXWitness<W>> |
collectionX(AnyM<W,? extends T> anyM) |
static <T> java.util.concurrent.CompletableFuture<T> |
completableFuture(AnyM<Witness.completableFuture,? extends T> anyM) |
static <T> java.util.Deque<T> |
deque(AnyM<Witness.deque,? extends T> anyM) |
static <L,R> Either<L,R> |
either(AnyM<Witness.either,? extends R> anyM) |
static <L1,L2,R> Either3<L1,L2,R> |
either3(AnyM<Witness.either3,? extends R> anyM) |
static <L1,L2,L3,R> |
either4(AnyM<Witness.either4,? extends R> anyM) |
static <L1,L2,L3,L4,R> |
either5(AnyM<Witness.either5,? extends R> anyM) |
static <T> Eval<T> |
eval(AnyM<Witness.eval,? extends T> anyM) |
static <T> Future<T> |
future(AnyM<Witness.future,? extends T> anyM) |
static <ST,T> Ior<ST,T> |
ior(AnyM<Witness.ior,? extends T> anyM) |
static <T> ListX<T> |
list(AnyM<Witness.list,? extends T> anyM) |
static <T> Maybe<T> |
maybe(AnyM<Witness.maybe,? extends T> anyM) |
static <T,W extends Witness.MonadicValueWitness<W>> |
monadicValue(AnyM<W,? extends T> anyM) |
static <T> java.util.Optional<T> |
optional(AnyM<Witness.optional,? extends T> anyM) |
static <T> PStackX<T> |
pstack(AnyM<Witness.pstack,? extends T> anyM) |
static <T> PVectorX<T> |
pvector(AnyM<Witness.pvector,? extends T> anyM) |
static <T> java.util.Queue<T> |
queue(AnyM<Witness.queue,? extends T> anyM) |
static <T> ReactiveSeq<T> |
reactiveSeq(AnyM<Witness.stream,? extends T> anyM) |
static <T> java.util.Set<T> |
set(AnyM<Witness.set,? extends T> anyM) |
static <T> java.util.SortedSet<T> |
sortedSet(AnyM<Witness.sortedSet,? extends T> anyM) |
static <T> java.util.stream.Stream<T> |
stream(AnyM<Witness.stream,? extends T> anyM) |
static <T> Streamable<T> |
streamable(AnyM<Witness.streamable,? extends T> anyM) |
static <X extends java.lang.Throwable,T> |
Try(AnyM<Witness.tryType,? extends T> anyM) |
static <ST,T> Xor<ST,T> |
xor(AnyM<Witness.xor,? extends T> anyM) |
static <T> java.util.stream.Stream<T> stream(AnyM<Witness.stream,? extends T> anyM)
static <T> ReactiveSeq<T> reactiveSeq(AnyM<Witness.stream,? extends T> anyM)
static <T> Streamable<T> streamable(AnyM<Witness.streamable,? extends T> anyM)
static <T> PVectorX<T> pvector(AnyM<Witness.pvector,? extends T> anyM)
static <T> PStackX<T> pstack(AnyM<Witness.pstack,? extends T> anyM)
static <T> ListX<T> list(AnyM<Witness.list,? extends T> anyM)
static <T> java.util.Deque<T> deque(AnyM<Witness.deque,? extends T> anyM)
static <T> java.util.Set<T> set(AnyM<Witness.set,? extends T> anyM)
static <T> java.util.Queue<T> queue(AnyM<Witness.queue,? extends T> anyM)
static <T> java.util.SortedSet<T> sortedSet(AnyM<Witness.sortedSet,? extends T> anyM)
static <T> java.util.Optional<T> optional(AnyM<Witness.optional,? extends T> anyM)
static <T,W extends Witness.CollectionXWitness<W>> CollectionX<T> collectionX(AnyM<W,? extends T> anyM)
static <T,W extends Witness.MonadicValueWitness<W>> MonadicValue<T> monadicValue(AnyM<W,? extends T> anyM)
static <T> Eval<T> eval(AnyM<Witness.eval,? extends T> anyM)
static <T> Maybe<T> maybe(AnyM<Witness.maybe,? extends T> anyM)
static <T> Future<T> future(AnyM<Witness.future,? extends T> anyM)
static <T> java.util.concurrent.CompletableFuture<T> completableFuture(AnyM<Witness.completableFuture,? extends T> anyM)
static <ST,T> Xor<ST,T> xor(AnyM<Witness.xor,? extends T> anyM)
static <L,R> Either<L,R> either(AnyM<Witness.either,? extends R> anyM)
static <L1,L2,R> Either3<L1,L2,R> either3(AnyM<Witness.either3,? extends R> anyM)
static <L1,L2,L3,R> Either4<L1,L2,L3,R> either4(AnyM<Witness.either4,? extends R> anyM)
static <L1,L2,L3,L4,R> Either5<L1,L2,L3,L4,R> either5(AnyM<Witness.either5,? extends R> anyM)
static <ST,T> Ior<ST,T> ior(AnyM<Witness.ior,? extends T> anyM)
static <X extends java.lang.Throwable,T> Try<T,X> Try(AnyM<Witness.tryType,? extends T> anyM)