Composer

dev.constructive.eo.compose.Composer
See theComposer companion object
trait Composer[F[_, _], G[_, _]]

Bridge between carriers — reshape an F-carrier optic into a G-carrier optic. Used by Optic.morph; the mechanism by which optic families cross boundaries (Lens → Optional, Lens → Modify, Iso → Lens, …).

Type parameters

F

source carrier

G

target carrier

Attributes

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

Members list

Value members

Abstract methods

def to[S, T, A, B](o: Optic[S, T, A, B, F]): Optic[S, T, A, B, G]

Attributes

Source
Composer.scala