- Magnetize<A> - Class in com.jnape.palatable.lambda.functions.builtin.fn1
-
- magnetize() - Static method in class com.jnape.palatable.lambda.functions.builtin.fn1.Magnetize
-
- magnetize(Iterable<A>) - Static method in class com.jnape.palatable.lambda.functions.builtin.fn1.Magnetize
-
- MagnetizeBy<A> - Class in com.jnape.palatable.lambda.functions.builtin.fn2
-
Given a binary predicate and an
Iterable
<A>
, return an
Iterable
<Iterable
<A>>
of the contiguous groups of elements that match the predicate pairwise.
- magnetizeBy() - Static method in class com.jnape.palatable.lambda.functions.builtin.fn2.MagnetizeBy
-
- magnetizeBy(Fn2<? super A, ? super A, ? extends Boolean>) - Static method in class com.jnape.palatable.lambda.functions.builtin.fn2.MagnetizeBy
-
- magnetizeBy(Fn2<? super A, ? super A, ? extends Boolean>, Iterable<A>) - Static method in class com.jnape.palatable.lambda.functions.builtin.fn2.MagnetizeBy
-
- Map<A,B> - Class in com.jnape.palatable.lambda.functions.builtin.fn2
-
Lazily apply a function to each element in an Iterable
, producing an Iterable
of the mapped
results.
- map() - Static method in class com.jnape.palatable.lambda.functions.builtin.fn2.Map
-
- map(Fn1<? super A, ? extends B>) - Static method in class com.jnape.palatable.lambda.functions.builtin.fn2.Map
-
- map(Fn1<? super A, ? extends B>, Iterable<A>) - Static method in class com.jnape.palatable.lambda.functions.builtin.fn2.Map
-
- mapA(Fn1<? super A, ? extends C>) - Method in interface com.jnape.palatable.lambda.optics.Iso
-
Covariantly map A
to C
, yielding a new optic.
- mapA(Fn1<? super A, ? extends C>) - Method in interface com.jnape.palatable.lambda.optics.Lens
-
Covariantly map A
to C
, yielding a new optic.
- mapA(Fn1<? super A, ? extends C>) - Method in interface com.jnape.palatable.lambda.optics.Optic
-
Covariantly map A
to C
, yielding a new optic.
- mapA(Fn1<? super A, ? extends C>) - Method in interface com.jnape.palatable.lambda.optics.Prism
-
Covariantly map A
to C
, yielding a new optic.
- mapA(Fn1<? super A, ? extends C>) - Method in interface com.jnape.palatable.lambda.optics.ProtoOptic
-
Covariantly map A
to C
, yielding a new optic.
- mapB(Fn1<? super Z, ? extends B>) - Method in interface com.jnape.palatable.lambda.optics.Iso
-
Contravariantly map B
to Z
, yielding a new optic.
- mapB(Fn1<? super Z, ? extends B>) - Method in interface com.jnape.palatable.lambda.optics.Lens
-
Contravariantly map B
to Z
, yielding a new optic.
- mapB(Fn1<? super Z, ? extends B>) - Method in interface com.jnape.palatable.lambda.optics.Optic
-
Contravariantly map B
to Z
, yielding a new optic.
- mapB(Fn1<? super Z, ? extends B>) - Method in interface com.jnape.palatable.lambda.optics.Prism
-
Contravariantly map B
to Z
, yielding a new optic.
- mapB(Fn1<? super Z, ? extends B>) - Method in interface com.jnape.palatable.lambda.optics.ProtoOptic
-
Contravariantly map B
to Z
, yielding a new optic.
- MapLens - Class in com.jnape.palatable.lambda.optics.lenses
-
Lenses that operate on
Map
s.
- mapping(Iso<A, A, B, B>) - Static method in class com.jnape.palatable.lambda.optics.lenses.IterableLens
-
An iso focusing on the mapped values of an
Iterable
.
- MappingIterable<A,B> - Class in com.jnape.palatable.lambda.internal.iteration
-
- MappingIterable(Fn1<? super A, ? extends B>, Iterable<A>) - Constructor for class com.jnape.palatable.lambda.internal.iteration.MappingIterable
-
- MappingIterator<A,B> - Class in com.jnape.palatable.lambda.internal.iteration
-
- MappingIterator(Fn1<? super A, ? extends B>, Iterator<A>) - Constructor for class com.jnape.palatable.lambda.internal.iteration.MappingIterator
-
- mappingValues(Iso<V, V, V2, V2>) - Static method in class com.jnape.palatable.lambda.optics.lenses.MapLens
-
A lens that focuses on a map while mapping its values with the mapping
Iso
.
- MapPrism - Class in com.jnape.palatable.lambda.optics.prisms
-
- mapReaderT(Fn1<? super MA, ? extends MonadRec<B, N>>) - Method in class com.jnape.palatable.lambda.monad.transformer.builtin.ReaderT
-
Map the current
monadic
embedding to a new one in a potentially different
Monad
.
- mapS(Fn1<? super R, ? extends S>) - Method in interface com.jnape.palatable.lambda.optics.Iso
-
Contravariantly map S
to R
, yielding a new optic.
- mapS(Fn1<? super R, ? extends S>) - Method in interface com.jnape.palatable.lambda.optics.Lens
-
Contravariantly map S
to R
, yielding a new optic.
- mapS(Fn1<? super R, ? extends S>) - Method in interface com.jnape.palatable.lambda.optics.Optic
-
Contravariantly map S
to R
, yielding a new optic.
- mapS(Fn1<? super R, ? extends S>) - Method in interface com.jnape.palatable.lambda.optics.Prism
-
Contravariantly map S
to R
, yielding a new optic.
- mapS(Fn1<? super R, ? extends S>) - Method in interface com.jnape.palatable.lambda.optics.ProtoOptic
-
Contravariantly map S
to R
, yielding a new optic.
- mapState(Fn1<? super Tuple2<A, S>, ? extends Tuple2<B, S>>) - Method in class com.jnape.palatable.lambda.functor.builtin.State
-
Map both the result and the final state to a new result and final state.
- mapStateT(Fn1<? super MonadRec<Tuple2<A, S>, M>, ? extends MonadRec<Tuple2<B, S>, N>>) - Method in class com.jnape.palatable.lambda.monad.transformer.builtin.StateT
-
Map both the result and the final state to a new result and final state inside the
Monad
.
- mapT(Fn1<? super T, ? extends U>) - Method in interface com.jnape.palatable.lambda.optics.Iso
-
Covariantly map T
to U
, yielding a new optic.
- mapT(Fn1<? super T, ? extends U>) - Method in interface com.jnape.palatable.lambda.optics.Lens
-
Covariantly map T
to U
, yielding a new optic.
- mapT(Fn1<? super T, ? extends U>) - Method in interface com.jnape.palatable.lambda.optics.Optic
-
Covariantly map T
to U
, yielding a new optic.
- mapT(Fn1<? super T, ? extends U>) - Method in interface com.jnape.palatable.lambda.optics.Prism
-
Covariantly map T
to U
, yielding a new optic.
- mapT(Fn1<? super T, ? extends U>) - Method in interface com.jnape.palatable.lambda.optics.ProtoOptic
-
Covariantly map T
to U
, yielding a new optic.
- Market<A,B,S,T> - Class in com.jnape.palatable.lambda.functor.builtin
-
A profunctor used to extract the isomorphic functions a
Prism
is composed of.
- Market(Fn1<? super B, ? extends T>, Fn1<? super S, ? extends Either<T, A>>) - Constructor for class com.jnape.palatable.lambda.functor.builtin.Market
-
- match(Fn1<? super A, ? extends R>, Fn1<? super B, ? extends R>) - Method in interface com.jnape.palatable.lambda.adt.coproduct.CoProduct2
-
Type-safe convergence requiring a match against all potential types.
- match(Fn1<? super A, ? extends R>, Fn1<? super B, ? extends R>, Fn1<? super C, ? extends R>) - Method in interface com.jnape.palatable.lambda.adt.coproduct.CoProduct3
-
Type-safe convergence requiring a match against all potential types.
- match(Fn1<? super A, ? extends R>, Fn1<? super B, ? extends R>, Fn1<? super C, ? extends R>, Fn1<? super D, ? extends R>) - Method in interface com.jnape.palatable.lambda.adt.coproduct.CoProduct4
-
Type-safe convergence requiring a match against all potential types.
- match(Fn1<? super A, ? extends R>, Fn1<? super B, ? extends R>, Fn1<? super C, ? extends R>, Fn1<? super D, ? extends R>, Fn1<? super E, ? extends R>) - Method in interface com.jnape.palatable.lambda.adt.coproduct.CoProduct5
-
Type-safe convergence requiring a match against all potential types.
- match(Fn1<? super A, ? extends R>, Fn1<? super B, ? extends R>, Fn1<? super C, ? extends R>, Fn1<? super D, ? extends R>, Fn1<? super E, ? extends R>, Fn1<? super F, ? extends R>) - Method in interface com.jnape.palatable.lambda.adt.coproduct.CoProduct6
-
Type-safe convergence requiring a match against all potential types.
- match(Fn1<? super A, ? extends R>, Fn1<? super B, ? extends R>, Fn1<? super C, ? extends R>, Fn1<? super D, ? extends R>, Fn1<? super E, ? extends R>, Fn1<? super F, ? extends R>, Fn1<? super G, ? extends R>) - Method in interface com.jnape.palatable.lambda.adt.coproduct.CoProduct7
-
Type-safe convergence requiring a match against all potential types.
- match(Fn1<? super A, ? extends R>, Fn1<? super B, ? extends R>, Fn1<? super C, ? extends R>, Fn1<? super D, ? extends R>, Fn1<? super E, ? extends R>, Fn1<? super F, ? extends R>, Fn1<? super G, ? extends R>, Fn1<? super H, ? extends R>) - Method in interface com.jnape.palatable.lambda.adt.coproduct.CoProduct8
-
Type-safe convergence requiring a match against all potential types.
- match(Fn1<? super L, ? extends V>, Fn1<? super R, ? extends V>) - Method in class com.jnape.palatable.lambda.adt.Either
-
Given two mapping functions (one from an L
to a V
, one from an R
to a
V
), unwrap the value stored in this Either
, apply the appropriate mapping function,
and return the result.
- Matching<S,T,A,B> - Class in com.jnape.palatable.lambda.optics.functions
-
- matching() - Static method in class com.jnape.palatable.lambda.optics.functions.Matching
-
- matching(Optic<? super Market<A, B, ?, ?>, ? super Identity<?>, S, T, A, B>) - Static method in class com.jnape.palatable.lambda.optics.functions.Matching
-
- matching(Optic<? super Market<A, B, ?, ?>, ? super Identity<?>, S, T, A, B>, S) - Static method in class com.jnape.palatable.lambda.optics.functions.Matching
-
- Max<A extends Comparable<A>> - Class in com.jnape.palatable.lambda.semigroup.builtin
-
A
Semigroup
over
A
that chooses between two values
x
and
y
via the
following rules:
If
x
is strictly less than
y
, return
y
Otherwise, return
x
- max() - Static method in class com.jnape.palatable.lambda.semigroup.builtin.Max
-
- max(A) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.Max
-
- max(A, A) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.Max
-
- MaxBy<A,B extends Comparable<B>> - Class in com.jnape.palatable.lambda.semigroup.builtin
-
Given a mapping function from some type
A
to some
Comparable
type
B
, produce a
Semigroup
over
A
that chooses between two values
x
and
y
via the
following rules:
If
x
is strictly less than
y
in terms of
B
, return
y
Otherwise, return
x
- maxBy() - Static method in class com.jnape.palatable.lambda.semigroup.builtin.MaxBy
-
- maxBy(Fn1<? super A, ? extends B>) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.MaxBy
-
- maxBy(Fn1<? super A, ? extends B>, A) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.MaxBy
-
- maxBy(Fn1<? super A, ? extends B>, A, A) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.MaxBy
-
- Maybe<A> - Class in com.jnape.palatable.lambda.adt
-
The optional type, representing a potentially absent value.
- maybe(A) - Static method in class com.jnape.palatable.lambda.adt.Maybe
-
Lift a potentially null value into
Maybe
.
- MaybeLens - Class in com.jnape.palatable.lambda.optics.lenses
-
Lenses that operate on
Maybe
.
- MaybePrism - Class in com.jnape.palatable.lambda.optics.prisms
-
- MaybeT<M extends MonadRec<?,M>,A> - Class in com.jnape.palatable.lambda.monad.transformer.builtin
-
- maybeT(MonadRec<Maybe<A>, M>) - Static method in class com.jnape.palatable.lambda.monad.transformer.builtin.MaybeT
-
- memoize(IO<A>) - Static method in class com.jnape.palatable.lambda.io.IO
-
Given an
IO
, return an
IO
that wraps it, caches its first successful result, and guarantees that
no subsequent interactions will happen with it afterwards, returning the cached result thereafter.
- merge(Fn2<? super L, ? super L, ? extends L>, Fn2<? super R, ? super R, ? extends R>, Either<L, R>...) - Method in class com.jnape.palatable.lambda.adt.Either
-
Given two binary operators over L and R, merge multiple Either<L, R>
s into a single
Either<L, R>
.
- Merge<L,R> - Class in com.jnape.palatable.lambda.monoid.builtin
-
- merge() - Static method in class com.jnape.palatable.lambda.monoid.builtin.Merge
-
- merge(Semigroup<L>) - Static method in class com.jnape.palatable.lambda.monoid.builtin.Merge
-
- merge(Semigroup<L>, Monoid<R>) - Static method in class com.jnape.palatable.lambda.monoid.builtin.Merge
-
- merge(Semigroup<L>, Monoid<R>, Either<L, R>) - Static method in class com.jnape.palatable.lambda.monoid.builtin.Merge
-
- merge(Semigroup<L>, Monoid<R>, Either<L, R>, Either<L, R>) - Static method in class com.jnape.palatable.lambda.monoid.builtin.Merge
-
- Merge<L,R> - Class in com.jnape.palatable.lambda.semigroup.builtin
-
- merge() - Static method in class com.jnape.palatable.lambda.semigroup.builtin.Merge
-
- merge(Semigroup<L>) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.Merge
-
- merge(Semigroup<L>, Semigroup<R>) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.Merge
-
- merge(Semigroup<L>, Semigroup<R>, Either<L, R>) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.Merge
-
- merge(Semigroup<L>, Semigroup<R>, Either<L, R>, Either<L, R>) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.Merge
-
- MergeMaps<K,V> - Class in com.jnape.palatable.lambda.monoid.builtin
-
- mergeMaps() - Static method in class com.jnape.palatable.lambda.monoid.builtin.MergeMaps
-
- mergeMaps(Fn0<Map<K, V>>) - Static method in class com.jnape.palatable.lambda.monoid.builtin.MergeMaps
-
- mergeMaps(Fn0<Map<K, V>>, Semigroup<V>) - Static method in class com.jnape.palatable.lambda.monoid.builtin.MergeMaps
-
- mergeMaps(Fn0<Map<K, V>>, Semigroup<V>, Map<K, V>) - Static method in class com.jnape.palatable.lambda.monoid.builtin.MergeMaps
-
- mergeMaps(Fn0<Map<K, V>>, Semigroup<V>, Map<K, V>, Map<K, V>) - Static method in class com.jnape.palatable.lambda.monoid.builtin.MergeMaps
-
- Min<A extends Comparable<A>> - Class in com.jnape.palatable.lambda.semigroup.builtin
-
A
Semigroup
over
A
that chooses between two values
x
and
y
via the
following rules:
If
x
is strictly greater than
y
, return
y
Otherwise, return
x
- min() - Static method in class com.jnape.palatable.lambda.semigroup.builtin.Min
-
- min(A) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.Min
-
- min(A, A) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.Min
-
- MinBy<A,B extends Comparable<B>> - Class in com.jnape.palatable.lambda.semigroup.builtin
-
Given a mapping function from some type
A
to some
Comparable
type
B
, produce a
Semigroup
over
A
that chooses between two values
x
and
y
via the
following rules:
If
x
is strictly greater than
y
in terms of
B
, return
y
Otherwise, return
x
- minBy() - Static method in class com.jnape.palatable.lambda.semigroup.builtin.MinBy
-
- minBy(Fn1<? super A, ? extends B>) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.MinBy
-
- minBy(Fn1<? super A, ? extends B>, A) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.MinBy
-
- minBy(Fn1<? super A, ? extends B>, A, A) - Static method in class com.jnape.palatable.lambda.semigroup.builtin.MinBy
-
- mirror() - Method in interface com.jnape.palatable.lambda.optics.Iso
-
- mirror() - Method in interface com.jnape.palatable.lambda.optics.Iso.Simple
-
- modify(Fn1<? super S, ? extends S>) - Static method in class com.jnape.palatable.lambda.functor.builtin.State
-
Create a
State
that maps its initial state into its final state, returning a
Unit
result type.
- modify(Fn1<? super S, ? extends MonadRec<S, M>>) - Static method in class com.jnape.palatable.lambda.monad.transformer.builtin.StateT
-
Lift a function that makes a stateful modification inside an
Monad
into
StateT
.
- Monad<A,M extends Monad<?,M>> - Interface in com.jnape.palatable.lambda.monad
-
Monads are
Applicative
functors that support a flattening operation to unwrap
M<M<A>>
-> M<A>
.
- MonadBase<M extends MonadRec<?,M>,A,MB extends MonadBase<?,?,MB>> - Interface in com.jnape.palatable.lambda.monad
-
A type into which a
MonadRec
is embedded whilst internally preserving the
MonadRec
structure.
- MonadError<E,A,M extends MonadError<E,?,M>> - Interface in com.jnape.palatable.lambda.monad
-
An interface for
monads
that can be interrupted with some type of error.
- MonadReader<R,A,MR extends MonadReader<R,?,MR>> - Interface in com.jnape.palatable.lambda.monad
-
A monad that is capable of reading an environment R
and producing a lifted value A
.
- MonadRec<A,M extends MonadRec<?,M>> - Interface in com.jnape.palatable.lambda.monad
-
- MonadT<M extends MonadRec<?,M>,A,MT extends MonadT<M,?,MT,T>,T extends MonadT<?,?,?,T>> - Interface in com.jnape.palatable.lambda.monad.transformer
-
The generic type representing a
Monad
transformer, exposing the argument
Monad
as a type parameter.
- MonadWriter<W,A,MW extends MonadWriter<W,?,MW>> - Interface in com.jnape.palatable.lambda.monad
-
A
Monad
that is capable of writing and accumulating state alongside a value, but is not necessarily capable
of simultaneously accessing the state and the value.
- monitorSync(Object, IO<A>) - Static method in class com.jnape.palatable.lambda.io.IO
-
- Monoid<A> - Interface in com.jnape.palatable.lambda.monoid
-
- monoid(Semigroup<A>, A) - Static method in interface com.jnape.palatable.lambda.monoid.Monoid
-
- monoid(Semigroup<A>, Fn0<A>) - Static method in interface com.jnape.palatable.lambda.monoid.Monoid
-
- MonoidFactory<A,B> - Interface in com.jnape.palatable.lambda.functions.specialized
-
- monomorphize() - Method in interface com.jnape.palatable.lambda.optics.Optic
-
Produce a monomorphic
Fn1
backed by this
Optic
.