p
libra
package libra
Linear Supertypes
Type Members
- type AccelerationQuantity[A, L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Length, L, Fraction[Int(1), Int(1)]], ::[Term[Time, T, Fraction[Int(-2), Int(1)]], HNil]]]
- abstract type Amount
- Definition Classes
- AmountUnits
- type Ampere = MetricUnit[Int(0), Current]
- Definition Classes
- CurrentUnits
- abstract type Angle
- Definition Classes
- AngleUnits
- type AngularVelocityQuantity[A, L <: UnitOfMeasure[Angle], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Angle, L, Fraction[Int(1), Int(1)]], ::[Term[Time, T, Fraction[Int(-1), Int(1)]], HNil]]]
- trait Arcminute extends UnitOfMeasure[Angle]
- Definition Classes
- AngleUnits
- trait Arcsecond extends UnitOfMeasure[Angle]
- Definition Classes
- AngleUnits
- type Attoampere = MetricUnit[Int(-18), Current]
- Definition Classes
- CurrentUnits
- type Attogram = MetricUnit[Int(-18), Mass]
- Definition Classes
- MassUnits
- type Attokelvin = MetricUnit[Int(-18), Temperature]
- Definition Classes
- TemperatureUnits
- type Attometre = MetricUnit[Int(-18), Length]
- Definition Classes
- LengthUnits
- type Attosecond = MetricUnit[Int(-18), Time]
- Definition Classes
- TimeUnits
- type Candela = UnitOfMeasure[Intensity]
- Definition Classes
- IntensityUnits
- type Centiampere = MetricUnit[Int(-2), Current]
- Definition Classes
- CurrentUnits
- type Centigram = MetricUnit[Int(-2), Mass]
- Definition Classes
- MassUnits
- type Centikelvin = MetricUnit[Int(-2), Temperature]
- Definition Classes
- TemperatureUnits
- type Centimetre = MetricUnit[Int(-2), Length]
- Definition Classes
- LengthUnits
- type Centisecond = MetricUnit[Int(-2), Time]
- Definition Classes
- TimeUnits
- abstract type Current
- Definition Classes
- CurrentUnits
- trait Day extends UnitOfMeasure[Time]
- Definition Classes
- TimeUnits
- type Deciampere = MetricUnit[Int(-1), Current]
- Definition Classes
- CurrentUnits
- type Decigram = MetricUnit[Int(-1), Mass]
- Definition Classes
- MassUnits
- type Decikelvin = MetricUnit[Int(-1), Temperature]
- Definition Classes
- TemperatureUnits
- type Decimetre = MetricUnit[Int(-1), Length]
- Definition Classes
- LengthUnits
- type Decisecond = MetricUnit[Int(-1), Time]
- Definition Classes
- TimeUnits
- trait Degree extends UnitOfMeasure[Angle]
- Definition Classes
- AngleUnits
- type Femtoampere = MetricUnit[Int(-15), Current]
- Definition Classes
- CurrentUnits
- type Femtogram = MetricUnit[Int(-15), Mass]
- Definition Classes
- MassUnits
- type Femtokelvin = MetricUnit[Int(-15), Temperature]
- Definition Classes
- TemperatureUnits
- type Femtometre = MetricUnit[Int(-15), Length]
- Definition Classes
- LengthUnits
- type Femtosecond = MetricUnit[Int(-15), Time]
- Definition Classes
- TimeUnits
- type ForceQuantity[A, M <: UnitOfMeasure[Mass], L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Mass, M, Fraction[Int(1), Int(1)]], ::[Term[Length, L, Fraction[Int(1), Int(1)]], ::[Term[Time, T, Fraction[Int(-2), Int(1)]], HNil]]]]
- trait Gradian extends UnitOfMeasure[Angle]
- Definition Classes
- AngleUnits
- type Gram = MetricUnit[Int(0), Mass]
- Definition Classes
- MassUnits
- trait Hour extends UnitOfMeasure[Time]
- Definition Classes
- TimeUnits
- abstract type Intensity
- Definition Classes
- IntensityUnits
- type Kelvin = MetricUnit[Int(0), Temperature]
- Definition Classes
- TemperatureUnits
- type Kiloampere = MetricUnit[Int(3), Current]
- Definition Classes
- CurrentUnits
- type Kilogram = MetricUnit[Int(3), Mass]
- Definition Classes
- MassUnits
- type Kilokelvin = MetricUnit[Int(3), Temperature]
- Definition Classes
- TemperatureUnits
- type Kilometre = MetricUnit[Int(3), Length]
- Definition Classes
- LengthUnits
- type Kilosecond = MetricUnit[Int(3), Time]
- Definition Classes
- TimeUnits
- abstract type Length
- Definition Classes
- LengthUnits
- abstract type Mass
- Definition Classes
- MassUnits
- type Metre = MetricUnit[Int(0), Length]
- Definition Classes
- LengthUnits
- type Microampere = MetricUnit[Int(-6), Current]
- Definition Classes
- CurrentUnits
- type Microgram = MetricUnit[Int(-6), Mass]
- Definition Classes
- MassUnits
- type Microkelvin = MetricUnit[Int(-6), Temperature]
- Definition Classes
- TemperatureUnits
- type Micrometre = MetricUnit[Int(-6), Length]
- Definition Classes
- LengthUnits
- type Microsecond = MetricUnit[Int(-6), Time]
- Definition Classes
- TimeUnits
- type Milliampere = MetricUnit[Int(-3), Current]
- Definition Classes
- CurrentUnits
- type Milligram = MetricUnit[Int(-3), Mass]
- Definition Classes
- MassUnits
- type Millikelvin = MetricUnit[Int(-3), Temperature]
- Definition Classes
- TemperatureUnits
- type Millimetre = MetricUnit[Int(-3), Length]
- Definition Classes
- LengthUnits
- type Millisecond = MetricUnit[Int(-3), Time]
- Definition Classes
- TimeUnits
- type Mole = UnitOfMeasure[Amount]
- Definition Classes
- AmountUnits
- type MomentumQuantity[A, M <: UnitOfMeasure[Mass], L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Mass, M, Fraction[Int(1), Int(1)]], ::[Term[Length, L, Fraction[Int(1), Int(1)]], ::[Term[Time, T, Fraction[Int(-1), Int(1)]], HNil]]]]
- type Nanoampere = MetricUnit[Int(-9), Current]
- Definition Classes
- CurrentUnits
- type Nanogram = MetricUnit[Int(-9), Mass]
- Definition Classes
- MassUnits
- type Nanokelvin = MetricUnit[Int(-9), Temperature]
- Definition Classes
- TemperatureUnits
- type Nanometre = MetricUnit[Int(-9), Length]
- Definition Classes
- LengthUnits
- type Nanosecond = MetricUnit[Int(-9), Time]
- Definition Classes
- TimeUnits
- type Picoampere = MetricUnit[Int(-12), Current]
- Definition Classes
- CurrentUnits
- type Picogram = MetricUnit[Int(-12), Mass]
- Definition Classes
- MassUnits
- type Picokelvin = MetricUnit[Int(-12), Temperature]
- Definition Classes
- TemperatureUnits
- type Picometre = MetricUnit[Int(-12), Length]
- Definition Classes
- LengthUnits
- type Picosecond = MetricUnit[Int(-12), Time]
- Definition Classes
- TimeUnits
- type QuantityOf[A, D, U <: UnitOfMeasure[D]] = Quantity[A, ::[Term[D, U, Fraction[Int(1), Int(1)]], HNil]]
- trait Radian extends UnitOfMeasure[Angle]
- Definition Classes
- AngleUnits
- type Second = MetricUnit[Int(0), Time]
- Definition Classes
- TimeUnits
- abstract type Temperature
- Definition Classes
- TemperatureUnits
- type Term[D, U <: UnitOfMeasure[_], E <: Fraction[_, _]] = (U, E) with KeyTag[D, (U, E)]
- type TermValue[U <: UnitOfMeasure[_], E <: Fraction[_, _]] = (U, E)
- abstract type Time
- Definition Classes
- TimeUnits
- trait Turn extends UnitOfMeasure[Angle]
- Definition Classes
- AngleUnits
- type VelocityQuantity[A, L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Length, L, Fraction[Int(1), Int(1)]], ::[Term[Time, T, Fraction[Int(-1), Int(1)]], HNil]]]