LowPriorityForgetInstances

dev.constructive.eo.data.LowPriorityForgetInstances

Lower-priority instance drawer — holds the FlatMap + Comonad AssociativeFunctor which composes via coflatMap (parallel-fold semantics, genuinely different from the Monad-based algebraic-lens composition in ForgetK). Kept at lower priority so Monad wins when both apply.

Attributes

Source
Forget.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ForgetK

Members list

Grouped members

Instances

Comonad-pull composition for F: FlatMap + Comonad. Composes via coflatMap on from.

Comonad-pull composition for F: FlatMap + Comonad. Composes via coflatMap on from.

Attributes

Source
Forget.scala