CanPlace

dev.constructive.eo.CanPlace
See theCanPlace companion trait
object CanPlace

Attributes

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

Members list

Value members

Concrete methods

def from[S, T, A, B, F[_, _]](o: Optic[S, T, A, B, F])(using ff: ForgetfulFunctor[F], ev: T => F[o.X, B]): CanPlace[T, B]

Lift an optic whose T-side evidence is available (e.g. a SimpleLens, whose companion provides the S => (X, A) splitter as that evidence).

Lift an optic whose T-side evidence is available (e.g. a SimpleLens, whose companion provides the S => (X, A) splitter as that evidence).

Attributes

Source
CanPlace.scala