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

Getter

libretto.CoreLib.Getter
See theGetter companion object
trait Getter[S, A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Lens[S, A]
Self type
Getter[S, A]

Members list

Concise view

Value members

Abstract methods

def extendJunction(implicit A: Positive[A]): Positive[S]
def getL[B](that: Getter[A, B])(implicit B: Cosemigroup[B]): S -⚬ B |*| S

Concrete methods

def andThen[B](that: Getter[A, B]): Getter[S, B]
def awaitFst(implicit A: Positive[A]): Done |*| S -⚬ S
def awaitSnd(implicit A: Positive[A]): S |*| Done -⚬ S
def compose[T](that: Getter[T, S]): Getter[T, A]
def getL(implicit A: Cosemigroup[A]): S -⚬ A |*| S
def getR(implicit A: Cosemigroup[A]): S -⚬ S |*| A
def |+|[T](that: Getter[T, A]): Getter[S |+| T, A]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL