coulomb-core/coulomb.policy/strict

strict

object strict

A policy that supports all standard operations, but does not support operations that involve any implicit conversions of either units or value types. For example, one may add two quantities having the same unit and value type, but not quantities differing in either their value type or unit.

Explicit conversions such as q.toUnit or q.toValue are allowed.

import coulomb.*
import coulomb.policy.strict.given

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

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_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_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
final val given_Field_Rational: given_Field_Rational.type
Exported from all