Class First<A>
java.lang.Object
com.jnape.palatable.lambda.monoid.builtin.First<A>
- Type Parameters:
A
- the Maybe value parameter type
- All Implemented Interfaces:
Fn1<Maybe<A>,
,Fn1<Maybe<A>, Maybe<A>>> Fn2<Maybe<A>,
,Maybe<A>, Maybe<A>> Applicative<Fn1<Maybe<A>,
,Maybe<A>>, Fn1<Maybe<A>, ?>> Cartesian<Maybe<A>,
,Fn1<Maybe<A>, Maybe<A>>, Fn1<?, ?>> Cocartesian<Maybe<A>,
,Fn1<Maybe<A>, Maybe<A>>, Fn1<?, ?>> Contravariant<Maybe<A>,
,Profunctor<?, Fn1<Maybe<A>, Maybe<A>>, Fn1<?, ?>>> Functor<Fn1<Maybe<A>,
,Maybe<A>>, Fn1<Maybe<A>, ?>> Profunctor<Maybe<A>,
,Fn1<Maybe<A>, Maybe<A>>, Fn1<?, ?>> Monad<Fn1<Maybe<A>,
,Maybe<A>>, Fn1<Maybe<A>, ?>> MonadReader<Maybe<A>,
,Fn1<Maybe<A>, Maybe<A>>, Fn1<Maybe<A>, ?>> MonadRec<Fn1<Maybe<A>,
,Maybe<A>>, Fn1<Maybe<A>, ?>> MonadWriter<Maybe<A>,
,Fn1<Maybe<A>, Maybe<A>>, Fn1<Maybe<A>, ?>> Monoid<Maybe<A>>
,Semigroup<Maybe<A>>
A
Monoid
instance formed by Maybe
<A>
. The application to two Maybe
values
produces the first non-empty value, or Maybe.nothing()
if all values are empty.- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface com.jnape.palatable.lambda.functions.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 com.jnape.palatable.lambda.functions.Fn2
apply, apply, checkedApply, compose, contraMap, diMapL, discardR, toBiFunction, uncurry, widen
Methods inherited from interface com.jnape.palatable.lambda.monoid.Monoid
flip, foldLeft, foldRight, reduceLeft, reduceRight
-
Field Details
-
INSTANCE
-
-
Constructor Details
-
First
private First()
-
-
Method Details
-
identity
Description copied from interface:Monoid
The identity element of this monoid. -
checkedApply
-
foldMap
Description copied from interface:Monoid
Homomorphism combined with catamorphism. Convert anIterable<B>
to anIterable<A>
(that is, anIterable
of elements this monoid is formed over), then reduce the result from left to right. Under algebraic data types, this is isomorphic to a flatMap. -
first
-
first
-
first
-