Package com.github.tonivade.purefun.typeclasses

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

All Superinterfaces:
Kind<Nested<F,G>,Void>
public interface Nested<F extends Kind<F,?>,G extends Kind<G,?>> extends Kind<Nested<F,G>,Void>

  • Method Summary

    Static Methods
    Modifier and Type
    Method
    Description
    static <F extends Kind<F, ?>, G extends Kind<G, ?>, A>
    Kind<Nested<F,G>,A>
    nest(Kind<F,? extends Kind<G,? extends A>> unnested)
     
    static <F extends Kind<F, ?>, G extends Kind<G, ?>, A>
    Kind<F,Kind<G,A>>
    unnest(Kind<Nested<F,G>,? extends A> nested)
     

    Methods inherited from interface com.github.tonivade.purefun.Kind

    fix, kind

  • Method Details

    • nest

      static <F extends Kind<F, ?>, G extends Kind<G, ?>, A> Kind<Nested<F,G>,A> nest(Kind<F,? extends Kind<G,? extends A>> unnested)

    • unnest

      static <F extends Kind<F, ?>, G extends Kind<G, ?>, A> Kind<F,Kind<G,A>> unnest(Kind<Nested<F,G>,? extends A> nested)