Class Alter<A>

java.lang.Object

com.jnape.palatable.lambda.functions.builtin.fn2.Alter<A>

Type Parameters:

A - the input and output

All Implemented Interfaces:

Fn1<Fn1<? super A, ? extends IO<?>>, Fn1<A,IO<A>>>, Fn2<Fn1<? super A, ? extends IO<?>>, A, IO<A>>, Applicative<Fn1<A,IO<A>>, Fn1<Fn1<? super A, ? extends IO<?>>, ?>>, Cartesian<Fn1<? super A, ? extends IO<?>>, Fn1<A,IO<A>>, Fn1<?,?>>, Cocartesian<Fn1<? super A, ? extends IO<?>>, Fn1<A,IO<A>>, Fn1<?,?>>, Contravariant<Fn1<? super A, ? extends IO<?>>, Profunctor<?, Fn1<A,IO<A>>, Fn1<?,?>>>, Functor<Fn1<A,IO<A>>, Fn1<Fn1<? super A, ? extends IO<?>>, ?>>, Profunctor<Fn1<? super A, ? extends IO<?>>, Fn1<A,IO<A>>, Fn1<?,?>>, Monad<Fn1<A,IO<A>>, Fn1<Fn1<? super A, ? extends IO<?>>, ?>>, MonadReader<Fn1<? super A, ? extends IO<?>>, Fn1<A,IO<A>>, Fn1<Fn1<? super A, ? extends IO<?>>, ?>>, MonadRec<Fn1<A,IO<A>>, Fn1<Fn1<? super A, ? extends IO<?>>, ?>>, MonadWriter<Fn1<? super A, ? extends IO<?>>, Fn1<A,IO<A>>, Fn1<Fn1<? super A, ? extends IO<?>>, ?>>

public final class Alter<A>
extends Object
implements Fn2<Fn1<? super A, ? extends IO<?>>, A, IO<A>>

Given an Effect<A> and some A, produce an IO that, when run, performs the effect on A and returns it.

Field Summary

Fields

Modifier and Type	Field	Description
private static final Alter<?>	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Alter()

Method Summary

Modifier and Type	Method	Description
static <A> Alter<A>	alter()
static <A> Fn1<A,IO<A>>	alter(Effect<? super A> effect)
static <A> IO<A>	alter(Effect<? super A> effect, A a)
IO<A>	checkedApply(Fn1<? super A, ? extends IO<?>> effect, A a)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Fn1

andThen, carry, cartesian, censor, choose, cocartesian, diMap, diMapR, discardL, flatMap, fmap, lazyZip, listens, local, pure, self, thunk, toFunction, trampolineM, zip, zip

Methods inherited from interface Fn2

apply, apply, checkedApply, compose, contraMap, diMapL, discardR, flip, toBiFunction, uncurry, widen

Methods inherited from interface Functor

coerce

Field Details

INSTANCE

private static final Alter<?> INSTANCE

Constructor Details

Alter

private Alter()

Method Details

checkedApply

public IO<A> checkedApply(Fn1<? super A, ? extends IO<?>> effect,
 A a)

Specified by:

checkedApply in interface Fn2<Fn1<? super A, ? extends IO<?>>, A, IO<A>>

alter

public static <A> Alter<A> alter()

alter

public static <A> Fn1<A,IO<A>> alter(Effect<? super A> effect)

alter

public static <A> IO<A> alter(Effect<? super A> effect,
 A a)