Package com.github.tonivade.purefun.typeclasses

Interface InjectK<F extends Kind<F,?>,G extends Kind<G,?>>

All Known Subinterfaces:
EitherKInjectKLeft<F,G>, EitherKInjectKRight<F,G,R>
public interface InjectK<F extends Kind<F,?>,G extends Kind<G,?>>

  • Method Summary

    Modifier and Type
    Method
    Description
    <T> Kind<G,T>
    inject(Kind<F,? extends T> value)
     
    static <F extends Kind<F, ?>>
    InjectK<F,F>
    injectReflexive()
     

  • Method Details

    • inject

      <T> Kind<G,T> inject(Kind<F,? extends T> value)

    • injectReflexive

      static <F extends Kind<F, ?>> InjectK<F,F> injectReflexive()