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]]]