TrackingResponseLens

io.github.positionpal.location.presentation.proto.TrackingResponse.TrackingResponseLens
implicit class TrackingResponseLens[UpperPB](_l: Lens[UpperPB, TrackingResponse]) extends MessageLens[UpperPB, TrackingResponse]

Attributes

Graph
Supertypes
class MessageLens[UpperPB, TrackingResponse]
class ObjectLens[UpperPB, TrackingResponse]
trait Lens[UpperPB, TrackingResponse]
trait Serializable
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def optionalRoute: Lens[UpperPB, Option[Tracking]]
def optionalStatus: Lens[UpperPB, Option[Status]]
def route: Lens[UpperPB, Tracking]
def status: Lens[UpperPB, Status]

Inherited methods

def :=(a: TrackingResponse): () => UpperPB

alias to set

alias to set

Attributes

Inherited from:
Lens
def compose[B](other: Lens[TrackingResponse, B]): Lens[UpperPB, B]

Composes two lenses, this enables nesting.

Composes two lenses, this enables nesting.

If our field of type A has a sub-field of type B, then given a lens for it (other: Lens[A, B]) we can create a single lens from Container to B.

Attributes

Inherited from:
Lens
def field[A](getter: TrackingResponse => A)(setter: (TrackingResponse, A) => TrackingResponse): Lens[UpperPB, A]

Creates a sub-lens

Creates a sub-lens

Attributes

Inherited from:
ObjectLens
def field[A](lens: Lens[TrackingResponse, A]): Lens[UpperPB, A]

Creates a sub-lens

Creates a sub-lens

Attributes

Inherited from:
ObjectLens
override def get(u: UpperPB): TrackingResponse

get knows how to extract some field of type A from a container

get knows how to extract some field of type A from a container

Attributes

Definition Classes
ObjectLens -> Lens
Inherited from:
ObjectLens
def modify(f: TrackingResponse => TrackingResponse): () => UpperPB

Represent an update operator (like x.y += 1 )

Represent an update operator (like x.y += 1 )

Attributes

Inherited from:
Lens
override def set(c: TrackingResponse): () => UpperPB

Represents an assignment operator.

Represents an assignment operator.

Given a value of type A, sets knows how to transform a container such that a is assigned to the field.

We must have get(set(a)(c)) == a

Attributes

Definition Classes
ObjectLens -> Lens
Inherited from:
ObjectLens
def setIfDefined(aOpt: Option[TrackingResponse]): () => UpperPB

Optional assignment.

Optional assignment.

Given a Some[A], assign the Some's value to the field. Given None, the container is unchanged.

Attributes

Inherited from:
Lens
def update(ms: Lens[TrackingResponse, TrackingResponse] => () => TrackingResponse*): () => UpperPB

Attributes

Inherited from:
ObjectLens
def zip[B](other: Lens[UpperPB, B]): Lens[UpperPB, (TrackingResponse, B)]

Given two lenses with the same origin, returns a new lens that can mutate both values represented by both lenses through a tuple.

Given two lenses with the same origin, returns a new lens that can mutate both values represented by both lenses through a tuple.

Attributes

Inherited from:
Lens