Uses of Class
com.jnape.palatable.lambda.adt.These

Packages that use These
Package
Description
com.jnape.palatable.lambda.adt
 

  • Uses of These in com.jnape.palatable.lambda.adt

    Subclasses of These in com.jnape.palatable.lambda.adt
    Modifier and Type
    Class
    Description
    private static final class 
    These._A<A,B>
     
    private static final class 
    These._B<A,B>
     
    private static final class 
    These.Both<A,B>
     
    Methods in com.jnape.palatable.lambda.adt with type parameters of type These
    Modifier and Type
    Method
    Description
    <C, App extends Applicative<?, App>, TravC extends Traversable<C, These<A, ?>>, AppTrav extends Applicative<TravC, App>>
    AppTrav
    These.traverse(Fn1<? super B,? extends Applicative<C,App>> fn, Fn1<? super TravC,? extends AppTrav> pure)
    Apply fn to each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.
    Methods in com.jnape.palatable.lambda.adt that return These
    Modifier and Type
    Method
    Description
    static <A, B> These<A,B>
    These.a(A a)
    Static factory method for wrapping a value of type A in a These.
    static <A, B> These<A,B>
    These.b(B b)
    Static factory method for wrapping a value of type B in a These.
    final <C, D> These<C,D>
    These.biMap(Fn1<? super A,? extends C> lFn, Fn1<? super B,? extends D> rFn)
    Dually map covariantly over both the left and right parameters.
    final <Z> These<Z,B>
    These.biMapL(Fn1<? super A,? extends Z> fn)
    Covariantly map over the left parameter.
    final <C> These<A,C>
    These.biMapR(Fn1<? super B,? extends C> fn)
    Covariantly map over the right parameter.
    static <A, B> These<A,B>
    These.both(A a, B b)
    Static factory method for wrapping a value of type A and a value of type B in a These.
    final <C> These<A,C>
    These.discardL(Applicative<C,These<A,?>> appB)
    Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
    final <C> These<A,B>
    These.discardR(Applicative<C,These<A,?>> appB)
    Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
    final <C> These<A,C>
    These.flatMap(Fn1<? super B,? extends Monad<C,These<A,?>>> f)
    Chain dependent computations that may continue or short-circuit based on previous results.
    final <C> These<A,C>
    These.fmap(Fn1<? super B,? extends C> fn)
    Covariantly transmute this functor's parameter using the given mapping function.
    final <C> These<A,C>
    These.pure(C c)
    Lift the value b into this applicative functor.
    <C> These<A,C>
    These.trampolineM(Fn1<? super B,? extends MonadRec<RecursiveResult<B,C>,These<A,?>>> fn)
    Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination instruction.
    final <C> These<A,C>
    These.zip(Applicative<Fn1<? super B,? extends C>,These<A,?>> appFn)
    Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
    Methods in com.jnape.palatable.lambda.adt that return types with arguments of type These
    Modifier and Type
    Method
    Description
    static <A, B> Maybe<These<A,B>>
    These.fromMaybes(Maybe<A> maybeA, Maybe<B> maybeB)
    Convenience method for converting a pair of Maybes into a Maybe of These.
    <C> Lazy<These<A,C>>
    These.lazyZip(Lazy<? extends Applicative<Fn1<? super B,? extends C>,These<A,?>>> lazyAppFn)
    Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
    static <A> Pure<These<A,?>>
    These.pureThese()
    The canonical Pure instance for These.
    Method parameters in com.jnape.palatable.lambda.adt with type arguments of type These
    Modifier and Type
    Method
    Description
    final <C> These<A,C>
    These.discardL(Applicative<C,These<A,?>> appB)
    Sequence both this Applicative and appB, discarding this Applicative's result and returning appB.
    final <C> These<A,B>
    These.discardR(Applicative<C,These<A,?>> appB)
    Sequence both this Applicative and appB, discarding appB's result and returning this Applicative.
    final <C> These<A,C>
    These.flatMap(Fn1<? super B,? extends Monad<C,These<A,?>>> f)
    Chain dependent computations that may continue or short-circuit based on previous results.
    <C> Lazy<These<A,C>>
    These.lazyZip(Lazy<? extends Applicative<Fn1<? super B,? extends C>,These<A,?>>> lazyAppFn)
    Given a lazy instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.
    <C> These<A,C>
    These.trampolineM(Fn1<? super B,? extends MonadRec<RecursiveResult<B,C>,These<A,?>>> fn)
    Given some operation yielding a RecursiveResult inside this MonadRec, internally trampoline the operation until it yields a termination instruction.
    final <C> These<A,C>
    These.zip(Applicative<Fn1<? super B,? extends C>,These<A,?>> appFn)
    Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.