Package com.github.tonivade.purefun.instances

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
    INSTANCE
     

  • 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