coulomb-core/coulomb.ops.standard/sub

sub

object sub
Source:
sub.scala
class Object
trait Matchable
class Any
sub.type

Type members

Classlikes

object infra
Source:
sub.scala

Givens

Givens

given ctx_sub_1V1U[VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveGroup[VL]): Sub[VL, UL, VR, UR]
Source:
sub.scala
given ctx_sub_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, neu: NotGiven[UR =:= UL], icr: Conversion[Quantity[VR, UR], Quantity[VL, UL]], alg: AdditiveGroup[VL]): Sub[VL, UL, VR, UR]
Source:
sub.scala
given ctx_sub_2V1U[VL, UL, VR, UR](using nev: NotGiven[VR =:= VL], equ: UR =:= UL, vres: ValueResolution[VL, VR], icl: Conversion[Quantity[VL, UL], Quantity[VO, UL]], icr: Conversion[Quantity[VR, UR], Quantity[VO, UL]], alg: AdditiveGroup[VO]): Sub[VL, UL, VR, UR]
Source:
sub.scala
given ctx_sub_2V2U[VL, UL, VR, UR](using nev: NotGiven[VR =:= VL], neu: NotGiven[UR =:= UL], vres: ValueResolution[VL, VR], icl: Conversion[Quantity[VL, UL], Quantity[VO, UL]], icr: Conversion[Quantity[VR, UR], Quantity[VO, UL]], alg: AdditiveGroup[VO]): Sub[VL, UL, VR, UR]
Source:
sub.scala