IUpdateResult

sealed abstract class IUpdateResult[D[_], Δ[_, _], I, J]
Companion:
object
class Object
trait Matchable
class Any
class Unchanged[D, Δ, I]
class Updated[D, Δ, I, J]

Value members

Abstract methods

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]

Concrete methods

def mapDomain[E[_]](f: [i] => (x$1: D[i]) => E[i]): IUpdateResult[E, Δ, I, J]
def map_[E, Δ2](f: [i] => (x$1: D[i]) => E, g: [i, j] => (x$1: Δ[i, j]) => Δ2): UpdateResult[E, Δ2]