cats-eo-api-docs/dev.constructive.eo/dev.constructive.eo.compose/ReadCompose

ReadCompose

dev.constructive.eo.compose.ReadCompose

See theReadCompose companion trait

object ReadCompose extends LowPriorityReadCompose

Typeclass instances for ReadCompose — the read-arity lattice. The four total/partial cells sit at normal priority; the many-fold fallback sits in LowPriorityReadCompose because carriers with an Accessor / PartialAccessor usually admit a ForgetfulFold too, and the stronger read must win.

Attributes

Companion: trait
Source: ReadCompose.scala
Graph
Supertypes: trait LowPriorityReadCompose

class Object

trait Matchable

class Any
Self type: ReadCompose.type

Members list

Grouped members

Instances

Anything foldable ∘ anything foldable → optics.ForgetFold over List. Fires only when no total/partial instance applies, i.e. at least one side is genuinely multi-focus (MultiFocus[F] / Forget[F]).