cyclops.control

Interface Validated<E,T>

All Superinterfaces:

Convert<Higher<DataWitness.validated,T>>, Higher<DataWitness.validated,T>, io.kindedj.Hk<DataWitness.validated,T>, java.lang.Iterable<T>, OrElseValue<T,Validated<E,T>>, org.reactivestreams.Publisher<T>, Sealed2<NonEmptyList<E>,T>, SealedOr<T>, java.io.Serializable, Transformable<T>, Value<T>

All Known Implementing Classes:

Validated.Async, Validated.Invalid, Validated.Valid

public interface Validated<E,T>
extends Sealed2<NonEmptyList<E>,T>, Transformable<T>, java.lang.Iterable<T>, OrElseValue<T,Validated<E,T>>, Higher<DataWitness.validated,T>, Value<T>, java.io.Serializable

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Validated.Async<E,T>
static class	Validated.Invalid<E,T>
static class	Validated.Valid<E,T>

Method Summary

Modifier and Type	Method and Description
<RE,R> Validated<RE,R>	bimap(java.util.function.Function<? super E,? extends RE> e, java.util.function.Function<? super T,? extends R> f)
default Validated<E,T>	combine(Semigroup<T> st, Validated<E,T> b)
default E	foldInvalidLeft(Monoid<E> reducer)
default <R> R	foldInvalidLeft(R zero, java.util.function.BiFunction<R,? super E,R> fold)
static <T> Validated<java.lang.Throwable,T>	fromPublisher(org.reactivestreams.Publisher<T> pub)
static <E,T> Validated<E,T>	invalid(E e)
static <E,T> Validated<E,T>	invalid(NonEmptyList<E> nel)
default boolean	isInvalid()
boolean	isValid()
<R> Validated<E,R>	map(java.util.function.Function<? super T,? extends R> f) Transform this functor using the supplied transformation function
default NonEmptyList<E>	orElseInvalid(E alt)
default Validated<E,T>	orElseUse(java.util.function.Supplier<Validated<E,T>> alt)
default Validated<E,T>	orElseUseAccumulating(java.util.function.Supplier<Validated<E,T>> alt)
default Validated<E,T>	peek(java.util.function.Consumer<? super T> c) Peek at the current value of this Transformable, without transforming it
default Validated<E,Seq<T>>	sequence(java.lang.Iterable<Validated<E,T>> seq)
Either<NonEmptyList<E>,T>	toEither()
default <R> Validated<E,Seq<R>>	traverse(java.lang.Iterable<Validated<E,T>> seq, java.util.function.Function<? super T,? extends R> fn)
static <E,T> Validated<E,T>	valid(T t)

Methods inherited from interface com.oath.cyclops.matching.Sealed2

fold

Methods inherited from interface com.oath.cyclops.types.OrElseValue

orElseUse

Methods inherited from interface com.oath.cyclops.types.Value

asSupplier, collect, fold, generate, isPresent, iterate, mkString, nonEmptyList, nonEmptyListGet, orElse, orElseGet, print, print, printErr, printOut, stream, subscribe, toEither, toLazyEither, toLeft, toMaybe, toOption, toOptional, toRight, toTry, toTry, toTry

Methods inherited from interface com.oath.cyclops.matching.SealedOr

fold

Methods inherited from interface java.lang.Iterable

spliterator

Methods inherited from interface com.oath.cyclops.hkt.Higher

applyHKT_, applyHKT, applyHKT

Methods inherited from interface com.oath.cyclops.hkt.Convert

convert

Method Detail

map

<R> Validated<E,R> map(java.util.function.Function<? super T,? extends R> f)

Description copied from interface: Transformable

Transform this functor using the supplied transformation function

 


    of(1,2,3).map(i->i*2)

    //[2,4,6]

 
 

Specified by:

map in interface Transformable<T>

Parameters:

f - Transformation function

Returns:

Transformed Transformable

bimap

<RE,R> Validated<RE,R> bimap(java.util.function.Function<? super E,? extends RE> e,
                             java.util.function.Function<? super T,? extends R> f)

isValid

boolean isValid()

isInvalid

default boolean isInvalid()

peek

default Validated<E,T> peek(java.util.function.Consumer<? super T> c)

Description copied from interface: Transformable

Peek at the current value of this Transformable, without transforming it

 


    of(1,2,3).map(System.out::println)

    1
    2
    3

 
 

Specified by:

peek in interface Transformable<T>

Parameters:

c - Consumer that recieves each element from this Transformable

Returns:

Transformable that will peek at each value

combine

default Validated<E,T> combine(Semigroup<T> st,
                               Validated<E,T> b)

sequence

default Validated<E,Seq<T>> sequence(java.lang.Iterable<Validated<E,T>> seq)

traverse

default <R> Validated<E,Seq<R>> traverse(java.lang.Iterable<Validated<E,T>> seq,
                                         java.util.function.Function<? super T,? extends R> fn)

orElseInvalid

default NonEmptyList<E> orElseInvalid(E alt)

orElseUseAccumulating

default Validated<E,T> orElseUseAccumulating(java.util.function.Supplier<Validated<E,T>> alt)

orElseUse

default Validated<E,T> orElseUse(java.util.function.Supplier<Validated<E,T>> alt)

Specified by:

orElseUse in interface OrElseValue<T,Validated<E,T>>

valid

static <E,T> Validated<E,T> valid(T t)

invalid

static <E,T> Validated<E,T> invalid(E e)

invalid

static <E,T> Validated<E,T> invalid(NonEmptyList<E> nel)

fromPublisher

static <T> Validated<java.lang.Throwable,T> fromPublisher(org.reactivestreams.Publisher<T> pub)

toEither

Either<NonEmptyList<E>,T> toEither()

foldInvalidLeft

default <R> R foldInvalidLeft(R zero,
                              java.util.function.BiFunction<R,? super E,R> fold)

foldInvalidLeft

default E foldInvalidLeft(Monoid<E> reducer)