coulomb-core/coulomb.ops.standard/all

all

object all
class Object
trait Matchable
class Any
all.type

Exports

Defined exports

given ctx_add_1V1U[VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveSemigroup[VL])
Exported from add
given ctx_add_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, neu: NotGiven[UR =:= UL], icr: Conversion[Quantity[VR, UR], Quantity[VL, UL]], alg: AdditiveSemigroup[VL])
Exported from add
given ctx_add_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: AdditiveSemigroup[VO])
Exported from add
given ctx_add_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: AdditiveSemigroup[VO])
Exported from add
given ctx_deltaaddq_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveSemigroup[VL])
Exported from deltaaddq
given ctx_deltaaddq_1V2U[B, VL, UL, VR, UR](using eqv: VR =:= VL, neu: NotGiven[UR =:= UL], icr: Conversion[Quantity[VR, UR], Quantity[VL, UL]], alg: AdditiveSemigroup[VL])
Exported from deltaaddq
given ctx_deltaaddq_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[Quantity[VR, UR], Quantity[VO, UL]], alg: AdditiveSemigroup[VO])
Exported from deltaaddq
given ctx_deltaaddq_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[Quantity[VR, UR], Quantity[VO, UL]], alg: AdditiveSemigroup[VO])
Exported from deltaaddq
given ctx_deltaord_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, ord: Order[VL])
Exported from deltaord
given ctx_deltaord_1V2U[B, VL, UL, VR, UR](using eqv: VR =:= VL, neu: NotGiven[UR =:= UL], icr: Conversion[DeltaQuantity[VR, UR, B], DeltaQuantity[VL, UL, B]], ord: Order[VL])
Exported from deltaord
given ctx_deltaord_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]], ord: Order[VO])
Exported from deltaord
given ctx_deltaord_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]], ord: Order[VO])
Exported from deltaord
given ctx_deltasub_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveGroup[VL])
Exported from deltasub
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])
Exported from deltasub
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])
Exported from deltasub
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])
Exported from deltasub
given ctx_deltasubq_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveGroup[VL])
Exported from deltasubq
given ctx_deltasubq_1V2U[B, VL, UL, VR, UR](using eqv: VR =:= VL, neu: NotGiven[UR =:= UL], icr: Conversion[Quantity[VR, UR], Quantity[VL, UL]], alg: AdditiveGroup[VL])
Exported from deltasubq
given ctx_deltasubq_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[Quantity[VR, UR], Quantity[VO, UL]], alg: AdditiveGroup[VO])
Exported from deltasubq
given ctx_deltasubq_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[Quantity[VR, UR], Quantity[VO, UL]], alg: AdditiveGroup[VO])
Exported from deltasubq
given ctx_div_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, alg: MultiplicativeGroup[VL], su: SimplifiedUnit[UL / UR])
Exported from div
given ctx_div_2V2U[VL, UL, VR, UR](using nev: NotGiven[VR =:= VL], vres: ValueResolution[VL, VR], icl: Conversion[Quantity[VL, UL], Quantity[VO, UL]], icr: Conversion[Quantity[VR, UR], Quantity[VO, UR]], alg: MultiplicativeGroup[VO], su: SimplifiedUnit[UL / UR])
Exported from div
given ctx_mul_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, alg: MultiplicativeSemigroup[VL], su: SimplifiedUnit[UL * UR])
Exported from mul
given ctx_mul_2V2U[VL, UL, VR, UR](using nev: NotGiven[VR =:= VL], vres: ValueResolution[VL, VR], icl: Conversion[Quantity[VL, UL], Quantity[VO, UL]], icr: Conversion[Quantity[VR, UR], Quantity[VO, UR]], alg: MultiplicativeSemigroup[VO], su: SimplifiedUnit[UL * UR])
Exported from mul
given ctx_ord_1V1U[VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, ord: Order[VL])
Exported from ord
given ctx_ord_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, neu: NotGiven[UR =:= UL], icr: Conversion[Quantity[VR, UR], Quantity[VL, UL]], ord: Order[VL])
Exported from ord
given ctx_ord_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]], ord: Order[VO])
Exported from ord
given ctx_ord_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]], ord: Order[VO])
Exported from ord
given ctx_pow_FractionalPower[V, U, E](using alg: FractionalPower[V], su: SimplifiedUnit[U ^ E])
Exported from pow
given ctx_pow_MultiplicativeGroup[V, U, E](using nfp: NotGiven[FractionalPower[V]], alg: MultiplicativeGroup[V], aie: AllInt[E], su: SimplifiedUnit[U ^ E])
Exported from pow
given ctx_pow_MultiplicativeSemigroup[V, U, E](using nfp: NotGiven[FractionalPower[V]], nmg: NotGiven[MultiplicativeGroup[V]], alg: MultiplicativeSemigroup[V], pie: PosInt[E], su: SimplifiedUnit[U ^ E])
Exported from pow
given ctx_quantity_neg[V, U](using alg: AdditiveGroup[V])
Exported from neg
given ctx_quantity_tpow[V, U, E](using alg: TruncatingPower[V], su: SimplifiedUnit[U ^ E])
Exported from tpow
given ctx_sub_1V1U[VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveGroup[VL])
Exported from sub
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])
Exported from sub
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])
Exported from sub
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])
Exported from sub
given ctx_tquot_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, alg: TruncatedDivision[VL], su: SimplifiedUnit[UL / UR])
Exported from tquot
given ctx_tquot_2V2U[VL, UL, VR, UR](using nev: NotGiven[VR =:= VL], vres: ValueResolution[VL, VR], icl: Conversion[Quantity[VL, UL], Quantity[VO, UL]], icr: Conversion[Quantity[VR, UR], Quantity[VO, UR]], alg: TruncatedDivision[VO], su: SimplifiedUnit[UL / UR])
Exported from tquot