Class Empty<A>

  • Type Parameters:
    A - the iterable element type
    All Implemented Interfaces:
    Fn1<java.lang.Iterable<A>,​java.lang.Boolean>, Predicate<java.lang.Iterable<A>>, Applicative<java.lang.Boolean,​Fn1<java.lang.Iterable<A>,​?>>, Cartesian<java.lang.Iterable<A>,​java.lang.Boolean,​Fn1<?,​?>>, Cocartesian<java.lang.Iterable<A>,​java.lang.Boolean,​Fn1<?,​?>>, Contravariant<java.lang.Iterable<A>,​Profunctor<?,​java.lang.Boolean,​Fn1<?,​?>>>, Functor<java.lang.Boolean,​Fn1<java.lang.Iterable<A>,​?>>, Profunctor<java.lang.Iterable<A>,​java.lang.Boolean,​Fn1<?,​?>>, Monad<java.lang.Boolean,​Fn1<java.lang.Iterable<A>,​?>>, MonadReader<java.lang.Iterable<A>,​java.lang.Boolean,​Fn1<java.lang.Iterable<A>,​?>>, MonadRec<java.lang.Boolean,​Fn1<java.lang.Iterable<A>,​?>>, MonadWriter<java.lang.Iterable<A>,​java.lang.Boolean,​Fn1<java.lang.Iterable<A>,​?>>

    public final class Empty<A>
    extends java.lang.Object
    implements Predicate<java.lang.Iterable<A>>
    A predicate that returns true if as is empty; false otherwise.
    • Field Detail

      • INSTANCE

        private static final Empty<?> INSTANCE
    • Constructor Detail

      • Empty

        private Empty()
    • Method Detail

      • checkedApply

        public java.lang.Boolean checkedApply​(java.lang.Iterable<A> as)
        Description copied from interface: Fn1
        Invoke this function with the given argument, potentially throwing any Throwable.
        Specified by:
        checkedApply in interface Fn1<java.lang.Iterable<A>,​java.lang.Boolean>
        Parameters:
        as - the argument
        Returns:
        the result of the function application
      • empty

        public static <A> Empty<A> empty()
      • empty

        public static <A> java.lang.Boolean empty​(java.lang.Iterable<A> as)