libra

Type Members

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

   

2. abstract type Amount

   

   Definition Classes

   AmountUnits

3. type Ampere = MetricUnit[Int(0), Current]

   

   Definition Classes

   CurrentUnits

4. abstract type Angle

   

   Definition Classes

   AngleUnits

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

   

6. trait Arcminute extends UnitOfMeasure[Angle]

   

   Definition Classes

   AngleUnits

7. trait Arcsecond extends UnitOfMeasure[Angle]

   

   Definition Classes

   AngleUnits

8. type Attoampere = MetricUnit[Int(-18), Current]

   

   Definition Classes

   CurrentUnits

9. type Attogram = MetricUnit[Int(-18), Mass]

   

   Definition Classes

   MassUnits

10. type Attokelvin = MetricUnit[Int(-18), Temperature]

    

    Definition Classes

    TemperatureUnits

11. type Attometre = MetricUnit[Int(-18), Length]

    

    Definition Classes

    LengthUnits

12. type Attosecond = MetricUnit[Int(-18), Time]

    

    Definition Classes

    TimeUnits

13. type Candela = UnitOfMeasure[Intensity]

    

    Definition Classes

    IntensityUnits

14. type Centiampere = MetricUnit[Int(-2), Current]

    

    Definition Classes

    CurrentUnits

15. type Centigram = MetricUnit[Int(-2), Mass]

    

    Definition Classes

    MassUnits

16. type Centikelvin = MetricUnit[Int(-2), Temperature]

    

    Definition Classes

    TemperatureUnits

17. type Centimetre = MetricUnit[Int(-2), Length]

    

    Definition Classes

    LengthUnits

18. type Centisecond = MetricUnit[Int(-2), Time]

    

    Definition Classes

    TimeUnits

19. abstract type Current

    

    Definition Classes

    CurrentUnits

20. trait Day extends UnitOfMeasure[Time]

    

    Definition Classes

    TimeUnits

21. type Deciampere = MetricUnit[Int(-1), Current]

    

    Definition Classes

    CurrentUnits

22. type Decigram = MetricUnit[Int(-1), Mass]

    

    Definition Classes

    MassUnits

23. type Decikelvin = MetricUnit[Int(-1), Temperature]

    

    Definition Classes

    TemperatureUnits

24. type Decimetre = MetricUnit[Int(-1), Length]

    

    Definition Classes

    LengthUnits

25. type Decisecond = MetricUnit[Int(-1), Time]

    

    Definition Classes

    TimeUnits

26. trait Degree extends UnitOfMeasure[Angle]

    

    Angle units

    Angle units

    Definition Classes

    AngleUnits

27. type Femtoampere = MetricUnit[Int(-15), Current]

    

    Definition Classes

    CurrentUnits

28. type Femtogram = MetricUnit[Int(-15), Mass]

    

    Definition Classes

    MassUnits

29. type Femtokelvin = MetricUnit[Int(-15), Temperature]

    

    Definition Classes

    TemperatureUnits

30. type Femtometre = MetricUnit[Int(-15), Length]

    

    Definition Classes

    LengthUnits

31. type Femtosecond = MetricUnit[Int(-15), Time]

    

    Definition Classes

    TimeUnits

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

    

33. trait Fraction[N <: XInt, D <: XInt] extends AnyRef

    

    Represents a fraction

    Represents a fraction

    N

    the numerator

    D

    the denominator

34. trait Gradian extends UnitOfMeasure[Angle]

    

    Definition Classes

    AngleUnits

35. type Gram = MetricUnit[Int(0), Mass]

    

    Definition Classes

    MassUnits

36. trait Hour extends UnitOfMeasure[Time]

    

    Definition Classes

    TimeUnits

37. abstract type Intensity

    

    Definition Classes

    IntensityUnits

38. type Kelvin = MetricUnit[Int(0), Temperature]

    

    Definition Classes

    TemperatureUnits

39. type Kiloampere = MetricUnit[Int(3), Current]

    

    Definition Classes

    CurrentUnits

40. type Kilogram = MetricUnit[Int(3), Mass]

    

    Definition Classes

    MassUnits

41. type Kilokelvin = MetricUnit[Int(3), Temperature]

    

    Definition Classes

    TemperatureUnits

42. type Kilometre = MetricUnit[Int(3), Length]

    

    Definition Classes

    LengthUnits

43. type Kilosecond = MetricUnit[Int(3), Time]

    

    Definition Classes

    TimeUnits

44. abstract type Length

    

    Definition Classes

    LengthUnits

45. abstract type Mass

    

    Definition Classes

    MassUnits

46. type Metre = MetricUnit[Int(0), Length]

    

    Definition Classes

    LengthUnits

47. type Microampere = MetricUnit[Int(-6), Current]

    

    Definition Classes

    CurrentUnits

48. type Microgram = MetricUnit[Int(-6), Mass]

    

    Definition Classes

    MassUnits

49. type Microkelvin = MetricUnit[Int(-6), Temperature]

    

    Definition Classes

    TemperatureUnits

50. type Micrometre = MetricUnit[Int(-6), Length]

    

    Definition Classes

    LengthUnits

51. type Microsecond = MetricUnit[Int(-6), Time]

    

    Definition Classes

    TimeUnits

52. type Milliampere = MetricUnit[Int(-3), Current]

    

    Definition Classes

    CurrentUnits

53. type Milligram = MetricUnit[Int(-3), Mass]

    

    Definition Classes

    MassUnits

54. type Millikelvin = MetricUnit[Int(-3), Temperature]

    

    Definition Classes

    TemperatureUnits

55. type Millimetre = MetricUnit[Int(-3), Length]

    

    Definition Classes

    LengthUnits

56. type Millisecond = MetricUnit[Int(-3), Time]

    

    Definition Classes

    TimeUnits

57. type Mole = UnitOfMeasure[Amount]

    

    Definition Classes

    AmountUnits

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

    

59. type Nanoampere = MetricUnit[Int(-9), Current]

    

    Definition Classes

    CurrentUnits

60. type Nanogram = MetricUnit[Int(-9), Mass]

    

    Definition Classes

    MassUnits

61. type Nanokelvin = MetricUnit[Int(-9), Temperature]

    

    Definition Classes

    TemperatureUnits

62. type Nanometre = MetricUnit[Int(-9), Length]

    

    Definition Classes

    LengthUnits

63. type Nanosecond = MetricUnit[Int(-9), Time]

    

    Definition Classes

    TimeUnits

64. type Picoampere = MetricUnit[Int(-12), Current]

    

    Definition Classes

    CurrentUnits

65. type Picogram = MetricUnit[Int(-12), Mass]

    

    Definition Classes

    MassUnits

66. type Picokelvin = MetricUnit[Int(-12), Temperature]

    

    Definition Classes

    TemperatureUnits

67. type Picometre = MetricUnit[Int(-12), Length]

    

    Definition Classes

    LengthUnits

68. type Picosecond = MetricUnit[Int(-12), Time]

    

    Definition Classes

    TimeUnits

69. 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

    Example:

    1. 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)

70. type QuantityOf[A, D, U <: UnitOfMeasure[D]] = Quantity[A, ::[Term[D, U, Fraction[Int(1), Int(1)]], HNil]]

    

    Aliases a quantity with single unit

71. trait Radian extends UnitOfMeasure[Angle]

    

    Definition Classes

    AngleUnits

72. type Second = MetricUnit[Int(0), Time]

    

    Definition Classes

    TimeUnits

73. abstract type Temperature

    

    Definition Classes

    TemperatureUnits

74. type Term[D, U <: UnitOfMeasure[_], E <: Fraction[_, _]] = (U, E) with KeyTag[D, (U, E)]

    

    Represents a unit in a HList of units

75. type TermValue[U <: UnitOfMeasure[_], E <: Fraction[_, _]] = (U, E)

    

76. abstract type Time

    

    Definition Classes

    TimeUnits

77. trait Turn extends UnitOfMeasure[Angle]

    

    Definition Classes

    AngleUnits

78. trait UnitOfMeasure[D] extends AnyRef

    

    Represents a unit of a given dimension

79. 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