FootprintDeriver

org.sigilaris.core.application.scheduling.FootprintDeriver
See theFootprintDeriver companion object
trait FootprintDeriver[-A]

Typeclass for deriving a conflict footprint from a value.

Implementations map domain-specific transaction types to their read/write state references for scheduling conflict detection.

Type parameters

A

the input type (contravariant)

Attributes

Companion
object
Source
FootprintDeriver.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Abstract methods

Derives the conflict footprint for the given value.

Derives the conflict footprint for the given value.

Value parameters

value

the value to derive a footprint from

Attributes

Returns

either a derivation failure or the conflict footprint

Source
FootprintDeriver.scala

Concrete methods

def contramap[B](f: B => A): FootprintDeriver[B]

Creates a new deriver that applies a function before deriving.

Creates a new deriver that applies a function before deriving.

Type parameters

B

the new input type

Value parameters

f

the function mapping B to A

Attributes

Returns

a FootprintDeriver for type B

Source
FootprintDeriver.scala