Uses of Class
com.jnape.palatable.lambda.functor.builtin.Market

Packages that use Market

Package	Description
com.jnape.palatable.lambda.functor.builtin
com.jnape.palatable.lambda.optics.functions

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

Classes in com.jnape.palatable.lambda.functor.builtin that implement interfaces with type arguments of type Market

Modifier and Type	Class	Description
final class	Market<A,B,S,T>	A profunctor used to extract the isomorphic functions a Prism is composed of.
final class	Market<A,B,S,T>	A profunctor used to extract the isomorphic functions a Prism is composed of.

Methods in com.jnape.palatable.lambda.functor.builtin that return Market

Modifier and Type	Method	Description
<C> Market<A, B, Choice2<C,S>, Choice2<C,T>>	Market.cocartesian()	Choose some type C or this profunctor's carrier types.
<R> Market<A,B,R,T>	Market.contraMap(Fn1<? super R, ? extends S> fn)	Contravariantly map A <- B.
<R,U> Market<A,B,R,U>	Market.diMap(Fn1<? super R, ? extends S> lFn, Fn1<? super T, ? extends U> rFn)	Dually map contravariantly over the left parameter and covariantly over the right parameter.
<R> Market<A,B,R,T>	Market.diMapL(Fn1<? super R, ? extends S> fn)	Contravariantly map over the left parameter.
<U> Market<A,B,S,U>	Market.diMapR(Fn1<? super T, ? extends U> fn)	Covariantly map over the right parameter.
<U> Market<A,B,S,U>	Market.flatMap(Fn1<? super T, ? extends Monad<U, Market<A,B,S,?>>> f)	Chain dependent computations that may continue or short-circuit based on previous results.
<U> Market<A,B,S,U>	Market.fmap(Fn1<? super T, ? extends U> fn)	Covariantly transmute this functor's parameter using the given mapping function.
<U> Market<A,B,S,U>	Market.pure(U u)	Lift the value b into this applicative functor.
<U> Market<A,B,S,U>	Market.trampolineM(Fn1<? super T, ? extends MonadRec<RecursiveResult<T,U>, Market<A,B,S,?>>> fn)	Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination instruction.
<U> Market<A,B,S,U>	Market.zip(Applicative<Fn1<? super T, ? extends U>, Market<A,B,S,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Methods in com.jnape.palatable.lambda.functor.builtin that return types with arguments of type Market

Modifier and Type	Method	Description
static <A,B,S> Pure<Market<A,B,S,?>>	Market.pureMarket()	The canonical Pure instance for Market.

Method parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type Market

Modifier and Type	Method	Description
<U> Market<A,B,S,U>	Market.flatMap(Fn1<? super T, ? extends Monad<U, Market<A,B,S,?>>> f)	Chain dependent computations that may continue or short-circuit based on previous results.
<U> Market<A,B,S,U>	Market.trampolineM(Fn1<? super T, ? extends MonadRec<RecursiveResult<T,U>, Market<A,B,S,?>>> fn)	Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination instruction.
<U> Market<A,B,S,U>	Market.zip(Applicative<Fn1<? super T, ? extends U>, Market<A,B,S,?>> appFn)	Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.

Uses of Market in com.jnape.palatable.lambda.optics.functions

Classes in com.jnape.palatable.lambda.optics.functions that implement interfaces with type arguments of type Market

Modifier and Type	Class	Description
final class	Matching<S,T,A,B>

Method parameters in com.jnape.palatable.lambda.optics.functions with type arguments of type Market

Modifier and Type	Method	Description
Either<T,A>	Matching.checkedApply(Optic<? super Market<A,B,?,?>, ? super Identity<?>, S, T, A, B> optic, S s)
static <S,T,A,B> Fn1<S, Either<T,A>>	Matching.matching(Optic<? super Market<A,B,?,?>, ? super Identity<?>, S, T, A, B> optic)
static <S,T,A,B> Either<T,A>	Matching.matching(Optic<? super Market<A,B,?,?>, ? super Identity<?>, S, T, A, B> optic, S s)