CanReverseGet

dev.constructive.eo.CanReverseGet
See theCanReverseGet companion object
trait CanReverseGet[T, B]

Capability: a T can be built from a B — the carrier-free surface of any optic whose carrier admits accessor.ReverseAccessor (Iso, Prism, Review).

Prefer this trait in consuming signatures; see CanGet for the doctrine and the coherence rule.

Attributes

Companion
object
Source
CanReverseGet.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class BijectionIso[S, T, A, B]
class MendTearPrism[S, T, A, B]
class PickMendPrism[S, A, B]
class Review[T, B]

Members list

Value members

Abstract methods

def reverseGet(b: B): T

Attributes

Source
CanReverseGet.scala