deltasub

coulomb.ops.standard.deltasub$
object deltasub

Attributes

Source:
deltasub.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

object infra

Attributes

Source:
deltasub.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
infra.type

Givens

Givens

transparent inline given ctx_deltasub_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveGroup[VL]): DeltaSub[B, VL, UL, VR, UR]

Attributes

Source:
deltasub.scala
transparent inline given ctx_deltasub_1V2U[B, VL, UL, VR, UR](using eqv: VR =:= VL, neu: NotGiven[UR =:= UL], icr: Conversion[DeltaQuantity[VR, UR, B], DeltaQuantity[VL, UL, B]], alg: AdditiveGroup[VL]): DeltaSub[B, VL, UL, VR, UR]

Attributes

Source:
deltasub.scala
transparent inline given ctx_deltasub_2V1U[B, VL, UL, VR, UR](using nev: NotGiven[VR =:= VL], equ: UR =:= UL, vres: ValueResolution[VL, VR], icl: Conversion[DeltaQuantity[VL, UL, B], DeltaQuantity[VO, UL, B]], icr: Conversion[DeltaQuantity[VR, UR, B], DeltaQuantity[VO, UL, B]], alg: AdditiveGroup[VO]): DeltaSub[B, VL, UL, VR, UR]

Attributes

Source:
deltasub.scala
transparent inline given ctx_deltasub_2V2U[B, VL, UL, VR, UR](using nev: NotGiven[VR =:= VL], neu: NotGiven[UR =:= UL], vres: ValueResolution[VL, VR], icl: Conversion[DeltaQuantity[VL, UL, B], DeltaQuantity[VO, UL, B]], icr: Conversion[DeltaQuantity[VR, UR, B], DeltaQuantity[VO, UL, B]], alg: AdditiveGroup[VO]): DeltaSub[B, VL, UL, VR, UR]

Attributes

Source:
deltasub.scala