Package com.github.tonivade.purefun.transformer

Interface OptionT<F extends Kind<F,?>,T>

All Superinterfaces:

Bindable<OptionT<F,?>,T>, Kind<OptionT<F,?>,T>, Mappable<OptionT<F,?>,T>, OptionTOf<F,T>

public non-sealed interface OptionT<F extends Kind<F,?>,T>
extends OptionTOf<F,T>, Bindable<OptionT<F,?>,T>

Method Summary

Modifier and Type	Method	Description
default <R> OptionT<F,R>	andThen(Kind<OptionT<F,?>,? extends R> next)
default OptionT<F,T>	filter(Matcher1<? super T> filter)
default OptionT<F,T>	filterNot(Matcher1<? super T> matcher)
default <R> OptionT<F,R>	flatMap(Function1<? super T,? extends Kind<OptionT<F,?>,? extends R>> map)
default <R> Kind<F,Option<R>>	flatMapF(Function1<? super T,? extends Kind<F,? extends Option<R>>> map)
default <R> Kind<F,R>	fold(Producer<? extends R> orElse, Function1<? super T,? extends R> map)
default Kind<F,T>	getOrElse(Producer<? extends T> orElse)
default Kind<F,T>	getOrElse(T orElse)
default Kind<F,T>	getOrElseThrow()
default Kind<F,Boolean>	isEmpty()
static <F extends Kind<F, ?>, T> OptionT<F,T>	lift(Monad<F> monad, Option<T> value)
default <R> OptionT<F,R>	map(Function1<? super T,? extends R> map)
default <G extends Kind<G, ?>> OptionT<G,T>	mapK(Monad<G> other, FunctionK<F,G> functionK)
Monad<F>	monad()
static <F extends Kind<F, ?>, T> OptionT<F,T>	none(Monad<F> monad)
static <F extends Kind<F, ?>, T> OptionT<F,T>	of(Monad<F> monad, Kind<F,Option<T>> value)
static <F extends Kind<F, ?>, T> OptionT<F,T>	some(Monad<F> monad, T value)
Kind<F,Option<T>>	value()

Methods inherited from interface com.github.tonivade.purefun.Kind

fix, kind

Method Details

monad

Monad<F> monad()

value

Kind<F,Option<T>> value()

map

default <R> OptionT<F,R> map(Function1<? super T,? extends R> map)

Specified by:

map in interface Bindable<F extends Kind<F,?>,T>

Specified by:

map in interface Mappable<F extends Kind<F,?>,T>

flatMap

default <R> OptionT<F,R> flatMap(Function1<? super T,? extends Kind<OptionT<F,?>,? extends R>> map)

Specified by:

flatMap in interface Bindable<F extends Kind<F,?>,T>

andThen

default <R> OptionT<F,R> andThen(Kind<OptionT<F,?>,? extends R> next)

Specified by:

andThen in interface Bindable<F extends Kind<F,?>,T>

fold

default <R> Kind<F,R> fold(Producer<? extends R> orElse,
 Function1<? super T,? extends R> map)

mapK

default <G extends Kind<G,
?>> OptionT<G,T> mapK(Monad<G> other,
 FunctionK<F,G> functionK)

getOrElseThrow

default Kind<F,T> getOrElseThrow()

isEmpty

default Kind<F,Boolean> isEmpty()

getOrElse

default Kind<F,T> getOrElse(T orElse)

getOrElse

default Kind<F,T> getOrElse(Producer<? extends T> orElse)

filter

default OptionT<F,T> filter(Matcher1<? super T> filter)

filterNot

default OptionT<F,T> filterNot(Matcher1<? super T> matcher)

lift

static <F extends Kind<F,
?>,
T> OptionT<F,T> lift(Monad<F> monad,
 Option<T> value)

of

static <F extends Kind<F,
?>,
T> OptionT<F,T> of(Monad<F> monad,
 Kind<F,Option<T>> value)

some

static <F extends Kind<F,
?>,
T> OptionT<F,T> some(Monad<F> monad,
 T value)

none

static <F extends Kind<F,
?>,
T> OptionT<F,T> none(Monad<F> monad)

flatMapF

default <R> Kind<F,Option<R>> flatMapF(Function1<? super T,? extends Kind<F,? extends Option<R>>> map)