ProductTypeSurgeon

lofi_acl.access.DeltaSurgeon.ProductTypeSurgeon
class ProductTypeSurgeon[T](productBottom: Bottom[T], factorLabels: Array[String], factorBottoms: IArray[Bottom[Any]], factorSurgeons: IArray[DeltaSurgeon[Any]])(using pm: ProductOf[T]) extends DeltaSurgeon[T]

Attributes

Graph
Supertypes
trait DeltaSurgeon[T]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def isolate(delta: T): IsolatedDeltaParts

Attributes

Definition Classes
override def recombine(delta: IsolatedDeltaParts): T

Attributes

Definition Classes

Inherited methods

def filter(isolatedDeltaParts: IsolatedDeltaParts, permissionTree: PermissionTree): IsolatedDeltaParts

Attributes

Inherited from:
DeltaSurgeon