ObjectLens

Instance Constructors

new ObjectLens(self: Lens[U, Container])

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def :=(a: Container): Mutation[U]

alias to set
alias to set

Definition Classes
Lens
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def compose[B](other: Lens[Container, B]): Lens[U, 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.

Definition Classes
Lens
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def field[A](getter: (Container) ⇒ A)(setter: (Container, A) ⇒ Container): Lens[U, A]

Creates a sub-lens
def field[A](lens: Lens[Container, A]): Lens[U, A]

Creates a sub-lens
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def get(u: U): Container

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

Definition Classes
ObjectLens → Lens
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def modify(f: (Container) ⇒ Container): Mutation[U]

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

Definition Classes
Lens
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def set(c: Container): Mutation[U]

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

Definition Classes
ObjectLens → Lens
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def update(ms: (Lens[Container, Container]) ⇒ Mutation[Container]*): Mutation[U]
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def zip[B](other: Lens[U, B]): Lens[U, (Container, 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.

Definition Classes
Lens

Related Doc: package lenses

class ObjectLens[U, Container] extends Lens[U, Container]

Instance Constructors

new ObjectLens(self: Lens[U, Container])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def :=(a: Container): Mutation[U]

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def compose[B](other: Lens[Container, B]): Lens[U, B]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def field[A](getter: (Container) ⇒ A)(setter: (Container, A) ⇒ Container): Lens[U, A]

def field[A](lens: Lens[Container, A]): Lens[U, A]

def finalize(): Unit

def get(u: U): Container

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def modify(f: (Container) ⇒ Container): Mutation[U]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def set(c: Container): Mutation[U]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def update(ms: (Lens[Container, Container]) ⇒ Mutation[Container]*): Mutation[U]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def zip[B](other: Lens[U, B]): Lens[U, (Container, B)]

Inherited from Lens[U, Container]

Inherited from AnyRef

Inherited from Any

Ungrouped