ProducerComonad

All Superinterfaces:: Comonad<Producer<?>>, Functor<Producer<?>>, Invariant<Producer<?>>, ProducerFunctor

interface ProducerComonad extends ProducerFunctor, Comonad<Producer<?>>

Field Summary

Fields

Modifier and Type

Field

Description

static final ProducerComonad

INSTANCE
Method Summary

Modifier and Type

Method

Description

default <A, B> Kind<Producer<?>,B>

coflatMap(Kind<Producer<?>,? extends A> value, Function1<? super Kind<Producer<?>,? extends A>,? extends B> map)

default <A> A

extract(Kind<Producer<?>,? 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.ProducerFunctor
map

Field Details
- INSTANCE
  
  static final ProducerComonad INSTANCE
Method Details
- coflatMap
  
  default <A, B> Kind<Producer<?>,B> coflatMap(Kind<Producer<?>,? extends A> value, Function1<? super Kind<Producer<?>,? extends A>,? extends B> map)
  
  Specified by:
  
  coflatMap in interface Comonad<Producer<?>>
- extract
  
  default <A> A extract(Kind<Producer<?>,? extends A> value)
  
  Specified by:
  
  extract in interface Comonad<Producer<?>>