Updated

case class Updated[D[_], Δ[_, _], I, J](newValue: D[J], delta: Δ[I, J]) extends IUpdateResult[D, Δ, I, J]
trait Serializable
trait Product
trait Equals
class IUpdateResult[D, Δ, I, J]
class Object
trait Matchable
class Any

Value members

Concrete methods

override def map[E[_], Δ2[_, _]](f: [i] => (x$1: D[i]) => E[i], g: [i, j] => (x$1: Δ[i, j]) => Δ2[i, j]): IUpdateResult[E, Δ2, I, J]
Definition Classes

Inherited methods

def mapDomain[E[_]](f: [i] => (x$1: D[i]) => E[i]): IUpdateResult[E, Δ, I, J]
Inherited from:
IUpdateResult
def map_[E, Δ2](f: [i] => (x$1: D[i]) => E, g: [i, j] => (x$1: Δ[i, j]) => Δ2): UpdateResult[E, Δ2]
Inherited from:
IUpdateResult
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product