Uses of Class com.jnape.palatable.lambda.adt.Unit

Packages that use Unit
Package	Description
com.jnape.palatable.lambda.adt
com.jnape.palatable.lambda.functions
com.jnape.palatable.lambda.functor.builtin
com.jnape.palatable.lambda.io
com.jnape.palatable.lambda.monad.transformer.builtin
com.jnape.palatable.lambda.monoid.builtin
com.jnape.palatable.lambda.optics.prisms

Uses of Unit in com.jnape.palatable.lambda.adt

Fields in com.jnape.palatable.lambda.adt declared as Unit
Modifier and Type	Field	Description
`static Unit`	Unit.`UNIT`	The singleton instance.

Methods in com.jnape.palatable.lambda.adt that return types with arguments of type Unit
Modifier and Type	Method	Description
`<B> Choice3<Unit,A,B>`	Maybe.`diverge()`	Diverge this coproduct by introducing another possible type that it could represent.
`Choice2<A,Unit>`	Maybe.`invert()`	Swap the type parameters.
`Tuple2<Maybe<Unit>,Maybe<A>>`	Maybe.`project()`	Project this coproduct onto a product, such that the index in the product that corresponds to this coproduct's value is present, while the other indices are absent.
`static Either<java.lang.Throwable,Unit>`	Either.`trying(SideEffect sideEffect)`	Attempt to execute the `SideEffect`, returning `Unit` in a right value.
`static <L> Either<L,Unit>`	Either.`trying(SideEffect sideEffect, Fn1<? super java.lang.Throwable,? extends L> leftFn)`	Attempt to execute the `SideEffect`, returning `Unit` in a right value.
`static Try<Unit>`	Try.`trying(SideEffect sideEffect)`	Execute `runnable`, returning a success `Unit` or a failure of the thrown `Throwable`.

Methods in com.jnape.palatable.lambda.adt with parameters of type Unit
Modifier and Type	Method	Description
`Maybe<A>`	Maybe.`throwError(Unit unit)`	Throw an error value of type `E` into the `monad`.

Method parameters in com.jnape.palatable.lambda.adt with type arguments of type Unit
Modifier and Type	Method	Description
`Maybe<A>`	Maybe.`catchError(Fn1<? super Unit,? extends Monad<A,Maybe<?>>> recoveryFn)`	Catch any `thrown` errors inside the `Monad` and resume normal operations.
`<R> R`	Maybe.Just.`match(Fn1<? super Unit,? extends R> aFn, Fn1<? super A,? extends R> bFn)`
`<R> R`	Maybe.Nothing.`match(Fn1<? super Unit,? extends R> aFn, Fn1<? super A,? extends R> bFn)`

Uses of Unit in com.jnape.palatable.lambda.functions

Methods in com.jnape.palatable.lambda.functions that return types with arguments of type Unit
Modifier and Type	Method	Description
`default IO<Unit>`	Effect.`apply(A a)`	Invoke this function explosively with the given argument.
`IO<Unit>`	Effect.`checkedApply(A a)`

Methods in com.jnape.palatable.lambda.functions with parameters of type Unit
Modifier and Type	Method	Description
`default A`	Fn0.`checkedApply(Unit unit)`	Invoke this function with the given argument, potentially throwing any `Throwable`.

Method parameters in com.jnape.palatable.lambda.functions with type arguments of type Unit
Modifier and Type	Method	Description
`default <B> Fn0<B>`	Fn0.`discardL(Applicative<B,Fn1<Unit,?>> appB)`
`default <B> Fn0<A>`	Fn0.`discardR(Applicative<B,Fn1<Unit,?>> appB)`
`default <B> Fn0<B>`	Fn0.`flatMap(Fn1<? super A,? extends Monad<B,Fn1<Unit,?>>> f)`
`static <A> Fn0<A>`	Fn0.`fn0(Fn1<Unit,A> fn)`	Static factory method for adapting an `Fn1<Unit, A>` to an `Fn0<A>`.
`default <B> Fn0<B>`	Fn0.`zip(Fn2<Unit,A,B> appFn)`
`default <B> Fn0<B>`	Fn0.`zip(Applicative<Fn1<? super A,? extends B>,Fn1<Unit,?>> appFn)`

Uses of Unit in com.jnape.palatable.lambda.functor.builtin

Methods in com.jnape.palatable.lambda.functor.builtin that return types with arguments of type Unit
Modifier and Type	Method	Description
`static <S> State<S,Unit>`	State.`modify(Fn1<? super S,? extends S> fn)`	Create a `State` that maps its initial state into its final state, returning a `Unit` result type.
`static <S> State<S,Unit>`	State.`put(S s)`	Create a `State` that ignores its initial state, returning a `Unit` result and `s` as its final state.
`static <W> Writer<W,Unit>`	Writer.`tell(W w)`	Construct a `Writer` from an accumulation.

Uses of Unit in com.jnape.palatable.lambda.io

Methods in com.jnape.palatable.lambda.io that return types with arguments of type Unit
Modifier and Type	Method	Description
`static IO<Unit>`	IO.`io(SideEffect sideEffect)`	Static factory method for creating an `IO` that runs a `SideEffect` and returns `Unit`.

Uses of Unit in com.jnape.palatable.lambda.monad.transformer.builtin

Methods in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type Unit
Modifier and Type	Method	Description
`<MU extends MonadRec<Unit,M>> MU`	IterateT.`forEach(Fn1<? super A,? extends MonadRec<Unit,M>> fn)`	Convenience method for `folding` the spine of this `IterateT` with an action to perform on each element without accumulating any results.

Methods in com.jnape.palatable.lambda.monad.transformer.builtin that return types with arguments of type Unit
Modifier and Type	Method	Description
`static <S,M extends MonadRec<?,M>> StateT<S,M,Unit>`	StateT.`modify(Fn1<? super S,? extends MonadRec<S,M>> updateFn)`	Lift a function that makes a stateful modification inside an `Monad` into `StateT`.
`static <S,M extends MonadRec<?,M>> StateT<S,M,Unit>`	StateT.`put(MonadRec<S,M> ms)`	Lift a `monadic state` into `StateT`.
`static <W,M extends MonadRec<?,M>> WriterT<W,M,Unit>`	WriterT.`tell(MonadRec<W,M> mw)`	Lift an accumulation embedded in a `Monad` into a `WriterT`.

Methods in com.jnape.palatable.lambda.monad.transformer.builtin with parameters of type Unit
Modifier and Type	Method	Description
`MaybeT<M,A>`	MaybeT.`throwError(Unit unit)`	Throw an error value of type `E` into the `monad`.

Method parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Unit
Modifier and Type	Method	Description
`MaybeT<M,A>`	MaybeT.`catchError(Fn1<? super Unit,? extends Monad<A,MaybeT<M,?>>> recoveryFn)`	Catch any `thrown` errors inside the `Monad` and resume normal operations.
`<MU extends MonadRec<Unit,M>> MU`	IterateT.`forEach(Fn1<? super A,? extends MonadRec<Unit,M>> fn)`	Convenience method for `folding` the spine of this `IterateT` with an action to perform on each element without accumulating any results.

Uses of Unit in com.jnape.palatable.lambda.monoid.builtin

Methods in com.jnape.palatable.lambda.monoid.builtin that return Unit
Modifier and Type	Method	Description
`Unit`	Trivial.`checkedApply(Unit x, Unit y)`
`Unit`	Trivial.`identity()`
`static Unit`	Trivial.`trivial(Unit x, Unit y)`

Methods in com.jnape.palatable.lambda.monoid.builtin that return types with arguments of type Unit
Modifier and Type	Method	Description
`static Fn1<Unit,Unit>`	Trivial.`trivial(Unit x)`
`static Fn1<Unit,Unit>`	Trivial.`trivial(Unit x)`

Methods in com.jnape.palatable.lambda.monoid.builtin with parameters of type Unit
Modifier and Type	Method	Description
`Unit`	Trivial.`checkedApply(Unit x, Unit y)`
`static Fn1<Unit,Unit>`	Trivial.`trivial(Unit x)`
`static Unit`	Trivial.`trivial(Unit x, Unit y)`

Uses of Unit in com.jnape.palatable.lambda.optics.prisms

Methods in com.jnape.palatable.lambda.optics.prisms that return types with arguments of type Unit
Modifier and Type	Method	Description
`static <A> Prism.Simple<Maybe<A>,Unit>`	MaybePrism.`_nothing()`	A `Prism` that focuses on absent values in a `Maybe`, for symmetry.