Class CatMaybes<A>

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

    public final class CatMaybes<A>
    extends java.lang.Object
    implements Fn1<java.lang.Iterable<Maybe<A>>,​java.lang.Iterable<A>>
    Given an Iterable<Maybe<A>>, return an Iterable<A> of only the present values.
    • Field Detail

      • INSTANCE

        private static final CatMaybes<?> INSTANCE
    • Constructor Detail

      • CatMaybes

        private CatMaybes()
    • Method Detail

      • checkedApply

        public java.lang.Iterable<A> checkedApply​(java.lang.Iterable<Maybe<A>> maybes)
        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<Maybe<A>>,​java.lang.Iterable<A>>
        Parameters:
        maybes - the argument
        Returns:
        the result of the function application
      • catMaybes

        public static <A> CatMaybes<A> catMaybes()
      • catMaybes

        public static <A> java.lang.Iterable<A> catMaybes​(java.lang.Iterable<Maybe<A>> as)