Interface IdComonad

All Superinterfaces:
Comonad<Id<?>>, Functor<Id<?>>, IdFunctor, Invariant<Id<?>>

interface IdComonad extends IdFunctor, Comonad<Id<?>>
  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final IdComonad
     
  • Method Summary

    Modifier and Type
    Method
    Description
    default <A, B> Kind<Id<?>,B>
    coflatMap(Kind<Id<?>,? extends A> value, Function1<? super Kind<Id<?>,? extends A>,? extends B> map)
     
    default <A> A
    extract(Kind<Id<?>,? extends A> value)
     

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

    coflatten

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

    imap, lift

    Methods inherited from interface com.github.tonivade.purefun.instances.IdFunctor

    map
  • Field Details

  • Method Details