libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreLib/Lens

Lens

libretto.CoreLib.Lens
See theLens companion object
trait Lens[S, A] extends Getter[S, A]

Attributes

Companion:
object
Graph
Supertypes
trait Getter[S, A]
class Object
trait Matchable
class Any

Members list

Concise view

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(implicit A: Positive[A]): Positive[S]

Attributes

Definition Classes
override def getL[B](that: Getter[A, B])(implicit B: Cosemigroup[B]): S -⚬ B |*| S

Attributes

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]

Attributes

Inherited from:
Getter
def awaitFst(implicit A: Positive[A]): Done |*| S -⚬ S

Attributes

Inherited from:
Getter
def awaitSnd(implicit A: Positive[A]): S |*| Done -⚬ S

Attributes

Inherited from:
Getter
def compose[T](that: Getter[T, S]): Getter[T, A]

Attributes

Inherited from:
Getter
def getL(implicit A: Cosemigroup[A]): S -⚬ A |*| S

Attributes

Inherited from:
Getter
def getR(implicit A: Cosemigroup[A]): S -⚬ S |*| A

Attributes

Inherited from:
Getter
def |+|[T](that: Getter[T, A]): Getter[S |+| T, A]

Attributes

Inherited from:
Getter
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL