libretto-core
API
Generated with
libretto-core/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

Value members

Abstract methods

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

Concrete methods

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