cats-eo-api-docs
0.8.1-3-6c70289-SNAPSHOT
API
Generated with
cats-eo-api-docs/dev.constructive.eo/dev.constructive.eo.compose/LowPriorityComposerInstances

LowPriorityComposerInstances

dev.constructive.eo.compose.LowPriorityComposerInstances
trait LowPriorityComposerInstances

Low-priority Composer instances — chainViaTuple2, a transitive derivation pinned to Tuple2 as the intermediate. Same runtime cost as the explicit 2-hop call; compile-time single given, no combinatorial enumeration; unambiguous by construction. Add a chainViaEither at a still-lower priority if a future carrier needs it.

Attributes

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

Members list

Grouped members

Instances

given chainViaTuple2: [F[_, _], G[_, _]] => (Composer[F, Tuple2], Composer[Tuple2, G]) => chainViaTuple2[F, G]

Transitive derivation via Tuple2 as the intermediate carrier: given F → Tuple2 and Tuple2 → G, derive F → G. Fires cleanly for Direct-origin chains to any target with a Composer[Tuple2, _] direct (Affine / ModifyF / MultiFocus[F] / MultiFocus[PSVec]).

Transitive derivation via Tuple2 as the intermediate carrier: given F → Tuple2 and Tuple2 → G, derive F → G. Fires cleanly for Direct-origin chains to any target with a Composer[Tuple2, _] direct (Affine / ModifyF / MultiFocus[F] / MultiFocus[PSVec]).

Attributes

Source
Composer.scala
Generated with