libretto/libretto/CoreLib/Lens

Lens

trait Lens[S, A] extends Getter[S, A]
Companion
object
trait Getter[S, A]
class Object
trait Matchable
class Any

Value members

Abstract methods

def modify[X, Y](f: X |*| A -⚬ Y |*| A): X |*| S -⚬ Y |*| S

Concrete methods

def andThen[B](that: Lens[A, B]): Lens[S, B]
def compose[T](that: Lens[T, S]): Lens[T, A]
override def extendJunction(A: Positive[A]): Positive[S]
Definition Classes
override def getL[B](that: Getter[A, B])(B: Cosemigroup[B]): S -⚬ B |*| S
Definition Classes
def read[Y](f: A -⚬ Y |*| A): S -⚬ Y |*| S
def write[X](f: X |*| A -⚬ A): X |*| S -⚬ S
def |+|[T](that: Lens[T, A]): Lens[S |+| T, A]

Inherited methods

def andThen[B](that: Getter[A, B]): Getter[S, B]
Inherited from
Getter
def awaitFst(A: Positive[A]): Done |*| S -⚬ S
Inherited from
Getter
def awaitSnd(A: Positive[A]): S |*| Done -⚬ S
Inherited from
Getter
def compose[T](that: Getter[T, S]): Getter[T, A]
Inherited from
Getter
def getL(A: Cosemigroup[A]): S -⚬ A |*| S
Inherited from
Getter
def getR(A: Cosemigroup[A]): S -⚬ S |*| A
Inherited from
Getter
def |+|[T](that: Getter[T, A]): Getter[S |+| T, A]
Inherited from
Getter