Package com.github.tonivade.purefun

Interface Kind<F extends Kind<F,?>,A>

All Known Subinterfaces:
Applicable<F,A>, Bindable<F,A>, ConstOf<T,A>, Effect<F,A>, EIOOf<E,A>, Either<L,R>, EitherKOf<F,G,T>, EitherOf<L,R>, EitherT<F,L,R>, EitherTOf<F,L,R>, Eval<A>, EvalOf<A>, Free<F,A>, FreeAp<F,A>, FreeApOf<F,A>, FreeOf<F,A>, Function1<A,R>, Function1Of<A,R>, Future<T>, FutureOf<T>, IdOf<T>, ImmutableArray<E>, ImmutableList<E>, ImmutableSet<E>, ImmutableTree<E>, IO<T>, IOOf<T>, Kleisli<F,Z,A>, KleisliOf<F,Z,A>, ManagedOf<R,E,A>, Mappable<F,A>, Monoid<T>, MonoidOf<T>, Nested<F,G>, Operator1<T>, Option<T>, OptionOf<T>, OptionT<F,T>, OptionTOf<F,T>, Producer<T>, ProducerOf<T>, Promise<T>, PromiseOf<T>, PureIO<R,E,A>, PureIOOf<R,E,A>, PureStream<F,T>, PureStreamOf<F,T>, Reader<R,A>, ReaderOf<R,A>, ResourceOf<F,T>, RIOOf<R,A>, Schedule<F,A,B>, ScheduleOf<F,A,B>, Sequence<E>, SequenceMonoid<T>, SequenceOf<E>, State<S,A>, StateOf<S,A>, StateT<F,S,A>, StateTOf<F,S,A>, TaskOf<A>, Trampoline<T>, TrampolineOf<T>, Try<T>, TryOf<T>, Tuple1Of<A>, Tuple2Of<A,B>, UIOOf<A>, URIOOf<R,A>, Validation<E,T>, ValidationOf<E,T>, Writer<L,A>, WriterOf<L,A>, WriterT<F,L,A>, WriterTOf<F,L,A>
All Known Implementing Classes:
Cons, Const, EIO, Either.Left, Either.Right, EitherK, Eval.Defer, Eval.Done, Eval.FlatMapped, Free.FlatMapped, Free.Pure, Free.Suspend, FreeAp.Apply, FreeAp.Lift, FreeAp.Pure, FutureImpl, Id, ImmutableArray.PImmutableArray, ImmutableList.PImmutableList, ImmutableSet.PImmutableSet, ImmutableTree.PImmutableTree, IO.Async, IO.Delay, IO.Failure, IO.FlatMapped, IO.Pure, IO.Recover, IO.Suspend, Managed, MemoizedFunction, MemoizedProducer, MonadMTL.EffectE, MonadMTL.EffectR, MonadMTL.EffectS, Nil, NonEmptyList, Option.None, Option.Some, PromiseImpl, PureIO.AccessM, PureIO.Async, PureIO.Attempt, PureIO.Delay, PureIO.Failure, PureIO.FlatMapped, PureIO.Pure, PureIO.Recover, PureIO.Suspend, PureIO.Throw, Resource, RIO, ScheduleImpl, Suspend, Task, Trampoline.Done, Trampoline.More, Try.Failure, Try.Success, Tuple1, Tuple2, UIO, URIO, Validation.Invalid, Validation.Valid
public interface Kind<F extends Kind<F,?>,A>

  • Method Summary

    Modifier and Type
    Method
    Description
    default <R extends Kind<F, ?>>
    R
    fix(Function<? super Kind<F,? extends A>,? extends R> fixer)
     
    default Kind<F,A>
    kind()
     
    static <F extends Kind<F, ?>, A>
    Kind<F,A>
    narrowK(Kind<F,? extends A> kind)
     

  • Method Details

    • fix

      default <R extends Kind<F, ?>> R fix(Function<? super Kind<F,? extends A>,? extends R> fixer)

    • kind

      default Kind<F,A> kind()

    • narrowK

      static <F extends Kind<F, ?>, A> Kind<F,A> narrowK(Kind<F,? extends A> kind)