p
libra
package libra
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- libra
- All
- AmountUnits
- IntensityUnits
- CurrentUnits
- TemperatureUnits
- LengthUnits
- MassUnits
- TimeUnits
- AngleUnits
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
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]]]
- 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
- 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
- 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 Fraction[N <: XInt, D <: XInt] extends AnyRef
Represents a fraction
Represents a fraction
- N
the numerator
- D
the denominator
- type Gram = MetricUnit[Int(0), Mass]
- Definition Classes
- MassUnits
- 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
- final case class Quantity[A, D <: HList](value: A) extends AnyVal with Product with Serializable
Represents a dimensional quantity
Represents a dimensional quantity
- A
the Numeric type of the quantity e.g. Int, Float, Double
- D
the dimensions
- value
the coefficient
scala> import spire.implicits._ scala> import libra.implicits._ scala> Quantity[Double, Term[Length, Metre, Fraction[W.`1`.T, W.`1`.T]] :: HNil](5.5) // represents 5.5 m scala> res0: Quantity[Double, Term[Length, Metre, Fraction[W.`1`.T, W.`1`.T]] :: HNil] = Quantity(5.5)
Example: - type QuantityOf[A, D, U <: UnitOfMeasure[D]] = Quantity[A, ::[Term[D, U, Fraction[Int(1), Int(1)]], HNil]]
Aliases a quantity with single unit
- 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)]
Represents a unit in a HList of units
- type TermValue[U <: UnitOfMeasure[_], E <: Fraction[_, _]] = (U, E)
- abstract type Time
- Definition Classes
- TimeUnits
- trait UnitOfMeasure[D] extends AnyRef
Represents a unit of a given dimension
- 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]]]
Aliases to composite units
- trait Arcminute extends UnitOfMeasure[Angle]
- Definition Classes
- AngleUnits
- trait Arcsecond extends UnitOfMeasure[Angle]
- Definition Classes
- AngleUnits
- trait Degree extends UnitOfMeasure[Angle]
Angle units
Angle units
- Definition Classes
- AngleUnits
- trait Gradian extends UnitOfMeasure[Angle]
- Definition Classes
- AngleUnits
- trait Radian extends UnitOfMeasure[Angle]
- Definition Classes
- AngleUnits
- trait Turn extends UnitOfMeasure[Angle]
- Definition Classes
- AngleUnits
- trait Day extends UnitOfMeasure[Time]
- Definition Classes
- TimeUnits
- trait Hour extends UnitOfMeasure[Time]
- Definition Classes
- TimeUnits
Value Members
- object Quantity extends Serializable