coulomb-core/coulomb.policy/standard

standard

object standard

A policy that supports all standard operation definitions, including those involving implicit conversions of units or value types.

import coulomb.*
import coulomb.policy.standard.given

import algebra.instances.all.given
import coulomb.ops.algebra.all.given
Source:
policy.scala
class Object
trait Matchable
class Any

Exports

Defined exports

given ctx_DUC_Double[B, UF, UT]
Exported from unit
Source:
unit.scala
given ctx_DUC_Float[B, UF, UT]
Exported from unit
Source:
unit.scala
given ctx_DeltaQuantity_conversion_2V2U[B, VF, UF, VT, UT](using vc: ValueConversion[VF, VT], uc: DeltaUnitConversion[VT, B, UF, UT])
Exported from scala
Source:
scala.scala
given ctx_Quantity_Conversion_1V1U[V, U]
Exported from scala
Source:
scala.scala
given ctx_Quantity_Conversion_1V2U[V, UF, UT](using uc: UnitConversion[V, UF, UT])
Exported from scala
Source:
scala.scala
given ctx_Quantity_Conversion_2V1U[U, VF, VT](using vc: ValueConversion[VF, VT])
Exported from scala
Source:
scala.scala
given ctx_Quantity_Conversion_2V2U[VF, UF, VT, UT](using vc: ValueConversion[VF, VT], uc: UnitConversion[VT, UF, UT])
Exported from scala
Source:
scala.scala
given ctx_TDUC_Int[B, UF, UT]
Exported from unit
Source:
unit.scala
given ctx_TDUC_Long[B, UF, UT]
Exported from unit
Source:
unit.scala
given ctx_TUC_Int[UF, UT]
Exported from unit
Source:
unit.scala
given ctx_TUC_Long[UF, UT]
Exported from unit
Source:
unit.scala
given ctx_TVC_Int[VF](using num: Fractional[VF])
Exported from value
Source:
value.scala
given ctx_TVC_Long[VF](using num: Fractional[VF])
Exported from value
Source:
value.scala
final val ctx_TVC_Rational_Int: ctx_TVC_Rational_Int.type
Exported from value
given ctx_UC_Double[UF, UT]
Exported from unit
Source:
unit.scala
given ctx_UC_Float[UF, UT]
Exported from unit
Source:
unit.scala
given ctx_UC_Rational[UF, UT]
Exported from unit
Source:
unit.scala
given ctx_VC_Double[VF](using num: Numeric[VF])
Exported from value
Source:
value.scala
given ctx_VC_Float[VF](using num: Numeric[VF])
Exported from value
Source:
value.scala
given ctx_VC_Int[VF](using num: Integral[VF])
Exported from value
Source:
value.scala
final val ctx_VC_Int_Rational: ctx_VC_Int_Rational.type
Exported from value
given ctx_VC_Long[VF](using num: Integral[VF])
Exported from value
Source:
value.scala
final val ctx_VC_Long_Rational: ctx_VC_Long_Rational.type
Exported from value
given ctx_Value_to_Unitless[V]
Exported from scala
Source:
scala.scala
given ctx_add_1V1U[VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveSemigroup[VL])
Exported from all
Source:
add.scala
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 all
Source:
add.scala
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 all
Source:
add.scala
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 all
Source:
add.scala
given ctx_deltaaddq_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveSemigroup[VL])
Exported from all
Source:
deltaaddq.scala
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 all
Source:
deltaaddq.scala
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 all
Source:
deltaaddq.scala
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 all
Source:
deltaaddq.scala
given ctx_deltaord_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, ord: Order[VL])
Exported from all
Source:
deltaord.scala
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 all
Source:
deltaord.scala
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 all
Source:
deltaord.scala
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 all
Source:
deltaord.scala
given ctx_deltasub_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveGroup[VL])
Exported from all
Source:
deltasub.scala
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 all
Source:
deltasub.scala
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 all
Source:
deltasub.scala
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 all
Source:
deltasub.scala
given ctx_deltasubq_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveGroup[VL])
Exported from all
Source:
deltasubq.scala
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 all
Source:
deltasubq.scala
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 all
Source:
deltasubq.scala
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 all
Source:
deltasubq.scala
given ctx_div_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, alg: MultiplicativeGroup[VL], su: SimplifiedUnit[UL / UR])
Exported from all
Source:
div.scala
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 all
Source:
div.scala
given ctx_mul_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, alg: MultiplicativeSemigroup[VL], su: SimplifiedUnit[UL * UR])
Exported from all
Source:
mul.scala
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 all
Source:
mul.scala
given ctx_ord_1V1U[VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, ord: Order[VL])
Exported from all
Source:
ord.scala
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 all
Source:
ord.scala
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 all
Source:
ord.scala
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 all
Source:
ord.scala
given ctx_quantity_neg[V, U](using alg: AdditiveGroup[V])
Exported from all
Source:
neg.scala
given ctx_quantity_tpow[V, U, E](using alg: TruncatingPower[V], su: SimplifiedUnit[U ^ E])
Exported from all
Source:
tpow.scala
given ctx_sub_1V1U[VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveGroup[VL])
Exported from all
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])
Exported from all
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])
Exported from all
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])
Exported from all
Source:
sub.scala
given ctx_tquot_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, alg: TruncatedDivision[VL], su: SimplifiedUnit[UL / UR])
Exported from all
Source:
tquot.scala
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 all
Source:
tquot.scala
given ctx_vpp_standard
Exported from standard
Source:
standard.scala
final val given_Field_Rational: given_Field_Rational.type
Exported from all