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 Objecttrait Matchableclass Any
- Known subtypes
-
object ForgetK
Members list
In this article