case class Patch2[CC <: Product, A0, A1](name: String, _0_name: String, _0_extract: (CC) ⇒ A0, _0_patch: Patch[A0], _1_name: String, _1_extract: (CC) ⇒ A1, _1_patch: Patch[A1], combine: (A0, A1) ⇒ CC) extends Patch[CC] with Product with Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Patch2
- Serializable
- Serializable
- Product
- Equals
- Patch
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (Patch2[CC, A0, A1], B)
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val _0_extract: (CC) ⇒ A0
- val _0_name: String
- val _0_patch: Patch[A0]
- val _1_extract: (CC) ⇒ A1
- val _1_name: String
- val _1_patch: Patch[A1]
-
def
apply(x: CC): CC
Do patch the given value
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
- val combine: (A0, A1) ⇒ CC
- def ensuring(cond: (Patch2[CC, A0, A1]) ⇒ Boolean, msg: ⇒ Any): Patch2[CC, A0, A1]
- def ensuring(cond: (Patch2[CC, A0, A1]) ⇒ Boolean): Patch2[CC, A0, A1]
- def ensuring(cond: Boolean, msg: ⇒ Any): Patch2[CC, A0, A1]
- def ensuring(cond: Boolean): Patch2[CC, A0, A1]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(that: Any): Boolean
- Definition Classes
- Patch2 → Equals → AnyRef → Any
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
imap[TT](fw: (CC) ⇒ TT, bk: (TT) ⇒ CC): Patch[TT]
Makes a wrapping patch.
Makes a wrapping patch. Used for Sum types: Option, Either
- fw
Function that converts a value to Monadic type (wrap)
- bk
Function that converts Monadic value back to original value (un-wrap)
- returns
Wrapped Patch
- Definition Classes
- Patch
-
def
inverted: Patch[CC]
Creates a Patch tha can be used to patch back (un-patch)
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isOpaque: Boolean
Does this Patch really going to change the value
- val name: String
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
nonOpaque: Boolean
Does this Patch really going to change the value
Does this Patch really going to change the value
- Definition Classes
- Patch
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- Patch2 → AnyRef → Any
-
def
visit(x: PatchVisitor): Unit
Reports some internal representation details so developer can have access to Patch function specific details.
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- def →[B](y: B): (Patch2[CC, A0, A1], B)
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated
-
def
formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from Patch2[CC, A0, A1] to StringFormat[Patch2[CC, A0, A1]] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @deprecated @inline()
- Deprecated
(Since version 2.12.16) Use
formatString.format(value)instead ofvalue.formatted(formatString), or use thef""string interpolator. In Java 15 and later,formattedresolves to the new method in String which has reversed parameters.