tquot

object tquot
class Object
trait Matchable
class Any
tquot.type

Type members

Classlikes

object infra

Givens

Givens

given ctx_tquot_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, alg: TruncatedDivision[VL], su: SimplifiedUnit[UL / UR]): TQuot[VL, UL, VR, UR]
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]): TQuot[VL, UL, VR, UR]