Package com.github.tonivade.purefun.instances

Interface OptionTInstances

public interface OptionTInstances

Method Summary

Static Methods

Modifier and Type	Method	Description
static <F extends Kind<F, ?>, T> Eq<Kind<OptionT<F,?>,T>>	eq(Eq<Kind<F,Option<T>>> eq)
static <F extends Kind<F, ?>> Monad<OptionT<F,?>>	monad(Monad<F> monadF)
static <F extends Kind<F, ?>> MonadDefer<OptionT<F,?>>	monadDefer(MonadDefer<F> monadDeferF)
static <F extends Kind<F, ?>> MonadError<OptionT<F,?>,Unit>	monadError(Monad<F> monadF)
static <F extends Kind<F, ?>, E> MonadError<OptionT<F,?>,E>	monadError(MonadError<F,E> monadErrorF)
static <F extends Kind<F, ?>> MonadThrow<OptionT<F,?>>	monadThrow(MonadThrow<F> monadThrowF)
static <F extends Kind<F, ?>, A> Reference<OptionT<F,?>,A>	ref(MonadDefer<F> monadF, A value)

Method Details

eq

static <F extends Kind<F,
?>,
T>
Eq<Kind<OptionT<F,?>,T>> eq(Eq<Kind<F,Option<T>>> eq)

monad

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

monadError

static <F extends Kind<F,
?>>
MonadError<OptionT<F,?>,Unit> monadError(Monad<F> monadF)

monadError

static <F extends Kind<F,
?>,
E>
MonadError<OptionT<F,?>,E> monadError(MonadError<F,E> monadErrorF)

monadThrow

static <F extends Kind<F,
?>>
MonadThrow<OptionT<F,?>> monadThrow(MonadThrow<F> monadThrowF)

monadDefer

static <F extends Kind<F,
?>>
MonadDefer<OptionT<F,?>> monadDefer(MonadDefer<F> monadDeferF)

ref

static <F extends Kind<F,
?>,
A>
Reference<OptionT<F,?>,A> ref(MonadDefer<F> monadF,
 A value)