JavaScript is disabled on your browser.
Type Parameters:
A
- the first argument type
B
- the second argument type
All Superinterfaces:
Applicative <Fn1 <B,Boolean >,Fn1 <A,?>>
, Cartesian <A,Fn1 <B,Boolean >,Fn1 <?,?>>
, Cocartesian <A,Fn1 <B,Boolean >,Fn1 <?,?>>
, Contravariant <A,Profunctor <?,Fn1 <B,Boolean >,Fn1 <?,?>>>
, Fn1 <A,Fn1 <B,Boolean >>
, Fn2 <A,B,Boolean >
, Functor <Fn1 <B,Boolean >,Fn1 <A,?>>
, Monad <Fn1 <B,Boolean >,Fn1 <A,?>>
, MonadReader <A,Fn1 <B,Boolean >,Fn1 <A,?>>
, MonadRec <Fn1 <B,Boolean >,Fn1 <A,?>>
, MonadWriter <A,Fn1 <B,Boolean >,Fn1 <A,?>>
, Profunctor <A,Fn1 <B,Boolean >,Fn1 <?,?>>
All Known Implementing Classes:
All
, And
, Any
, CmpEq
, Eq
, GT
, GTE
, LT
, LTE
, Not
, Or
, Xor
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
A specialized
Fn2
that returns a Boolean when fully applied, or a
Predicate
when partially applied.
Method Summary
All Methods Static Methods Instance Methods Default Methods
Left-to-right short-circuiting logical conjunction.
Partially apply this function by passing its first argument.
Contravariantly map A <- B
.
Contravariantly map over the argument to this function, producing a function that takes the new argument type,
and produces the same result.
Sequence both this Applicative
and appB
, discarding appB's
result and
returning this Applicative
.
Flip the order of the arguments.
Left-to-right short-circuiting logical disjunction.
Returns an
Fn1
that takes the arguments as a
Product2
<A, B>
.
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.functor.Functor
coerce
Method Details
apply
Partially apply this function by passing its first argument.
Specified by:
apply
in interface Fn1 <A ,B >
Specified by:
apply
in interface Fn2 <A ,B ,Boolean >
Parameters:
a
- the first argument
Returns:
an Fn1
<B, C>
flip
Flip the order of the arguments.
Specified by:
flip
in interface Fn2 <A ,B ,Boolean >
Returns:
an Fn2
<B, A, C>
discardR
Sequence both this Applicative
and appB
, discarding appB's
result and
returning this Applicative
. This is generally useful for sequentially performing side-effects.
Specified by:
discardR
in interface Applicative <A ,B >
Specified by:
discardR
in interface Fn1 <A ,B >
Specified by:
discardR
in interface Fn2 <A ,B ,Boolean >
Specified by:
discardR
in interface Monad <A ,B >
Specified by:
discardR
in interface MonadReader <A ,Fn1 <B ,Boolean >,Fn1 <A ,?>>
Specified by:
discardR
in interface MonadRec <A ,B >
Specified by:
discardR
in interface MonadWriter <A ,Fn1 <B ,Boolean >,Fn1 <A ,?>>
Type Parameters:
D
- the type of appB's parameter
Parameters:
appB
- the other Applicative
Returns:
this Applicative
diMapL
Contravariantly map over the argument to this function, producing a function that takes the new argument type,
and produces the same result.
Specified by:
diMapL
in interface Cartesian <A ,Fn1 <B ,Boolean >,Fn1 <?,?>>
Specified by:
diMapL
in interface Cocartesian <A ,Fn1 <B ,Boolean >,Fn1 <?,?>>
Specified by:
diMapL
in interface Fn1 <A ,B >
Specified by:
diMapL
in interface Fn2 <A ,B ,Boolean >
Specified by:
diMapL
in interface Profunctor <A ,Fn1 <B ,Boolean >,Fn1 <?,?>>
Type Parameters:
Z
- the new argument type
Parameters:
fn
- the contravariant argument mapping function
Returns:
an Fn1
<Z, B>
contraMap
Contravariantly map A <- B
.
Specified by:
contraMap
in interface Cartesian <A ,Fn1 <B ,Boolean >,Fn1 <?,?>>
Specified by:
contraMap
in interface Cocartesian <A ,Fn1 <B ,Boolean >,Fn1 <?,?>>
Specified by:
contraMap
in interface Contravariant <A ,B >
Specified by:
contraMap
in interface Fn1 <A ,B >
Specified by:
contraMap
in interface Fn2 <A ,B ,Boolean >
Specified by:
contraMap
in interface Profunctor <A ,Fn1 <B ,Boolean >,Fn1 <?,?>>
Type Parameters:
Z
- the new parameter type
Parameters:
fn
- the mapping function
Returns:
the mapped Contravariant functor instance
and
Left-to-right short-circuiting logical conjunction.
Parameters:
other
- the biPredicate to test if this one succeeds
Returns:
a biPredicate representing the conjunction of this biPredicate and other
or
Left-to-right short-circuiting logical disjunction.
Parameters:
other
- the biPredicate to test if this one fails
Returns:
a biPredicate representing the disjunction of this biPredicate and other
negate
Logical negation.
Returns:
the negation of this biPredicate
fromBiPredicate
Type Parameters:
A
- the first input type
B
- the second input type
Parameters:
biPredicate
- the BiPredicate
Returns:
the BiPredicate