coulomb-core
0.7.1
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
coulomb-core/coulomb.policy/standard

standard

coulomb.policy.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

Attributes

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

Members list

Concise view

Exports

Defined exports

inline export ctx_DUC_Double[B, UF, UT]
Exported from unit

Attributes

Source:
unit.scala
inline export ctx_DUC_Float[B, UF, UT]
Exported from unit

Attributes

Source:
unit.scala
inline export ctx_DUC_Rational[B, UF, UT]
Exported from unit

Attributes

Source:
unit.scala
export ctx_DeltaQuantity_conversion_2V2U[B, VF, UF, VT, UT](using vc: ValueConversion[VF, VT], uc: DeltaUnitConversion[VT, B, UF, UT])
Exported from scala

Attributes

Source:
scala.scala
export ctx_Quantity_Conversion_1V1U[V, U]
Exported from scala

Attributes

Source:
scala.scala
export ctx_Quantity_Conversion_1V2U[V, UF, UT](using uc: UnitConversion[V, UF, UT])
Exported from scala

Attributes

Source:
scala.scala
export ctx_Quantity_Conversion_2V1U[U, VF, VT](using vc: ValueConversion[VF, VT])
Exported from scala

Attributes

Source:
scala.scala
export ctx_Quantity_Conversion_2V2U[VF, UF, VT, UT](using vc: ValueConversion[VF, VT], uc: UnitConversion[VT, UF, UT])
Exported from scala

Attributes

Source:
scala.scala
inline export ctx_TDUC_Int[B, UF, UT]
Exported from unit

Attributes

Source:
unit.scala
inline export ctx_TDUC_Long[B, UF, UT]
Exported from unit

Attributes

Source:
unit.scala
inline export ctx_TUC_Int[UF, UT]
Exported from unit

Attributes

Source:
unit.scala
inline export ctx_TUC_Long[UF, UT]
Exported from unit

Attributes

Source:
unit.scala
export ctx_TVC_Int[VF](using num: Fractional[VF])
Exported from value

Attributes

Source:
value.scala
export ctx_TVC_Long[VF](using num: Fractional[VF])
Exported from value

Attributes

Source:
value.scala
final val ctx_TVC_Rational_Int: ctx_TVC_Rational_Int.type
Exported from value
inline export ctx_UC_Double[UF, UT]
Exported from unit

Attributes

Source:
unit.scala
inline export ctx_UC_Float[UF, UT]
Exported from unit

Attributes

Source:
unit.scala
inline export ctx_UC_Rational[UF, UT]
Exported from unit

Attributes

Source:
unit.scala
export ctx_VC_Double[VF](using num: Numeric[VF])
Exported from value

Attributes

Source:
value.scala
export ctx_VC_Float[VF](using num: Numeric[VF])
Exported from value

Attributes

Source:
value.scala
export ctx_VC_Int[VF](using num: Integral[VF])
Exported from value

Attributes

Source:
value.scala
final val ctx_VC_Int_Rational: ctx_VC_Int_Rational.type
Exported from value
export ctx_VC_Long[VF](using num: Integral[VF])
Exported from value

Attributes

Source:
value.scala
final val ctx_VC_Long_Rational: ctx_VC_Long_Rational.type
Exported from value
export ctx_Value_to_Unitless[V]
Exported from scala

Attributes

Source:
scala.scala
transparent inline export ctx_add_1V1U[VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveSemigroup[VL])
Exported from all

Attributes

Source:
add.scala
transparent inline export 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

Attributes

Source:
add.scala
transparent inline export 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

Attributes

Source:
add.scala
transparent inline export 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

Attributes

Source:
add.scala
transparent inline export ctx_deltaaddq_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveSemigroup[VL])
Exported from all

Attributes

Source:
deltaaddq.scala
transparent inline export 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

Attributes

Source:
deltaaddq.scala
transparent inline export 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

Attributes

Source:
deltaaddq.scala
transparent inline export 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

Attributes

Source:
deltaaddq.scala
export ctx_deltaord_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, ord: Order[VL])
Exported from all

Attributes

Source:
deltaord.scala
export 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

Attributes

Source:
deltaord.scala
export 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

Attributes

Source:
deltaord.scala
export 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

Attributes

Source:
deltaord.scala
transparent inline export ctx_deltasub_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveGroup[VL])
Exported from all

Attributes

Source:
deltasub.scala
transparent inline export 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

Attributes

Source:
deltasub.scala
transparent inline export 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

Attributes

Source:
deltasub.scala
transparent inline export 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

Attributes

Source:
deltasub.scala
transparent inline export ctx_deltasubq_1V1U[B, VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveGroup[VL])
Exported from all

Attributes

Source:
deltasubq.scala
transparent inline export 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

Attributes

Source:
deltasubq.scala
transparent inline export 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

Attributes

Source:
deltasubq.scala
transparent inline export 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

Attributes

Source:
deltasubq.scala
transparent inline export ctx_div_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, alg: MultiplicativeGroup[VL], su: SimplifiedUnit[UL / UR])
Exported from all

Attributes

Source:
div.scala
transparent inline export 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

Attributes

Source:
div.scala
transparent inline export ctx_mul_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, alg: MultiplicativeSemigroup[VL], su: SimplifiedUnit[UL * UR])
Exported from all

Attributes

Source:
mul.scala
transparent inline export 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

Attributes

Source:
mul.scala
export ctx_ord_1V1U[VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, ord: Order[VL])
Exported from all

Attributes

Source:
ord.scala
export 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

Attributes

Source:
ord.scala
export 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

Attributes

Source:
ord.scala
export 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

Attributes

Source:
ord.scala
export ctx_quantity_neg[V, U](using alg: AdditiveGroup[V])
Exported from all

Attributes

Source:
neg.scala
transparent inline export ctx_quantity_tpow[V, U, E](using alg: TruncatingPower[V], su: SimplifiedUnit[U ^ E])
Exported from all

Attributes

Source:
tpow.scala
transparent inline export ctx_sub_1V1U[VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, alg: AdditiveGroup[VL])
Exported from all

Attributes

Source:
sub.scala
transparent inline export 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

Attributes

Source:
sub.scala
transparent inline export 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

Attributes

Source:
sub.scala
transparent inline export 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

Attributes

Source:
sub.scala
transparent inline export ctx_tquot_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, alg: TruncatedDivision[VL], su: SimplifiedUnit[UL / UR])
Exported from all

Attributes

Source:
tquot.scala
transparent inline export 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

Attributes

Source:
tquot.scala
export ctx_vpp_standard
Exported from standard

Attributes

Source:
standard.scala
export given_CommutativeGroup_Rational
Exported from all

Attributes

Source:
rational.scala
final val given_Field_Rational: given_Field_Rational.type
Exported from all
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL