Package com.jnape.palatable.lambda.monoid.builtin

Class And

  • All Implemented Interfaces:
    Fn1<java.lang.Boolean,​Fn1<java.lang.Boolean,​java.lang.Boolean>>, Fn2<java.lang.Boolean,​java.lang.Boolean,​java.lang.Boolean>, BiPredicate<java.lang.Boolean,​java.lang.Boolean>, Applicative<Fn1<java.lang.Boolean,​java.lang.Boolean>,​Fn1<java.lang.Boolean,​?>>, Cartesian<java.lang.Boolean,​Fn1<java.lang.Boolean,​java.lang.Boolean>,​Fn1<?,​?>>, Cocartesian<java.lang.Boolean,​Fn1<java.lang.Boolean,​java.lang.Boolean>,​Fn1<?,​?>>, Contravariant<java.lang.Boolean,​Profunctor<?,​Fn1<java.lang.Boolean,​java.lang.Boolean>,​Fn1<?,​?>>>, Functor<Fn1<java.lang.Boolean,​java.lang.Boolean>,​Fn1<java.lang.Boolean,​?>>, Profunctor<java.lang.Boolean,​Fn1<java.lang.Boolean,​java.lang.Boolean>,​Fn1<?,​?>>, Monad<Fn1<java.lang.Boolean,​java.lang.Boolean>,​Fn1<java.lang.Boolean,​?>>, MonadReader<java.lang.Boolean,​Fn1<java.lang.Boolean,​java.lang.Boolean>,​Fn1<java.lang.Boolean,​?>>, MonadRec<Fn1<java.lang.Boolean,​java.lang.Boolean>,​Fn1<java.lang.Boolean,​?>>, MonadWriter<java.lang.Boolean,​Fn1<java.lang.Boolean,​java.lang.Boolean>,​Fn1<java.lang.Boolean,​?>>, Monoid<java.lang.Boolean>, Semigroup<java.lang.Boolean>
    public final class And
extends java.lang.Object
implements Monoid<java.lang.Boolean>, BiPredicate<java.lang.Boolean,​java.lang.Boolean>
    A Monoid instance formed by Boolean. Equivalent to logical &&.
    See Also:
    Or, Monoid

    • Field Detail

      • INSTANCE

        private static final And INSTANCE

    • Constructor Detail

      • And

        private And()

    • Method Detail

      • identity

        public java.lang.Boolean identity()
        Description copied from interface: Monoid
        The identity element of this monoid.
        Specified by:
        identity in interface Monoid<java.lang.Boolean>
        Returns:
        the identity

      • checkedApply

        public java.lang.Boolean checkedApply​(java.lang.Boolean x,
                                      java.lang.Boolean y)
        Specified by:
        checkedApply in interface Fn2<java.lang.Boolean,​java.lang.Boolean,​java.lang.Boolean>

      • foldMap

        public <B> java.lang.Boolean foldMap​(Fn1<? super B,​? extends java.lang.Boolean> fn,
                                     java.lang.Iterable<B> bs)
        Description copied from interface: Monoid
        Homomorphism combined with catamorphism. Convert an Iterable<B> to an Iterable<A> (that is, an Iterable 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.
        Specified by:
        foldMap in interface Monoid<java.lang.Boolean>
        Type Parameters:
        B - the input Iterable element type
        Parameters:
        fn - the mapping function from A to B
        bs - the Iterable of Bs
        Returns:
        the folded result under this Monoid
        See Also:
        Map, Monoid.reduceLeft(Iterable)

      • flip

        public And flip()
        Description copied from interface: Monoid
        Flip the order of the arguments.
        Specified by:
        flip in interface BiPredicate<java.lang.Boolean,​java.lang.Boolean>
        Specified by:
        flip in interface Fn2<java.lang.Boolean,​java.lang.Boolean,​java.lang.Boolean>
        Specified by:
        flip in interface Monoid<java.lang.Boolean>
        Specified by:
        flip in interface Semigroup<java.lang.Boolean>
        Returns:
        an Fn2<B, A, C>

      • and

        public static And and()

      • and

        public static Fn1<java.lang.Boolean,​java.lang.Boolean> and​(java.lang.Boolean x)

      • and

        public static java.lang.Boolean and​(java.lang.Boolean x,
                                    java.lang.Boolean y)