Package com.github.tonivade.purefun.typeclasses

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

All Superinterfaces:
ComposedSemigroupK<F,G>, MonoidK<Nested<F,G>>, SemigroupK<Nested<F,G>>
All Known Subinterfaces:
ComposedAlternative<F,G>
interface ComposedMonoidK<F extends Kind<F,?>,G extends Kind<G,?>> extends MonoidK<Nested<F,G>>, ComposedSemigroupK<F,G>

  • Method Summary

    Modifier and Type
    Method
    Description
    MonoidK<F>
    f()
     
    default <T> Kind<Nested<F,G>,T>
    zero()
     

    Methods inherited from interface com.github.tonivade.purefun.typeclasses.ComposedSemigroupK

    combineK