Morph

dev.constructive.eo.compose.Morph
See theMorph companion trait

Typeclass instances for Morph.

Attributes

Companion
trait
Source
Morph.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Morph.type

Members list

Grouped members

Instances

given bothViaAffine: [F[_, _], G[_, _]] => (Composer[F, Affine], Composer[G, Affine]) => bothViaAffine[F, G]

Both → Affine fallback. Enables prism.andThen(lens) (and the symmetric direction) when neither side has a direct composer to the other.

Both → Affine fallback. Enables prism.andThen(lens) (and the symmetric direction) when neither side has a direct composer to the other.

Attributes

Inherited from:
LowPriorityMorphInstances
Source
Morph.scala

Givens

Givens

given leftToRight: [F[_, _], G[_, _]] => Composer[F, G] => leftToRight[F, G]

Morph outer → inner's carrier via Composer[F, G]. @group Instances

Morph outer → inner's carrier via Composer[F, G]. @group Instances

Attributes

Source
Morph.scala
given rightToLeft: [F[_, _], G[_, _]] => Composer[G, F] => rightToLeft[F, G]

Morph inner → outer's carrier via Composer[G, F]. @group Instances

Morph inner → outer's carrier via Composer[G, F]. @group Instances

Attributes

Source
Morph.scala
given same: [F[_, _]] => same[F]

Identity morph; wins resolution when F = G. @group Instances

Identity morph; wins resolution when F = G. @group Instances

Attributes

Source
Morph.scala