libra

Type Members

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

   

   Represents a fraction

   Represents a fraction

   N

   the numerator

   D

   the denominator

2. 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._, libra.si._
      scala> Quantity[Double, Term[Length, Metre, Fraction[1, 1]] :: HNil](5.5) // represents 5.5 m
      scala> res0: Quantity[Double, Term[Length, Metre, Fraction[1, 1]] :: HNil] = Quantity(5.5)

3. type QuantityOf[A, D, U <: UnitOfMeasure[D]] = Quantity[A, ::[Term[D, U, Fraction[1, 1]], HNil]]

   

   Aliases a quantity with single unit

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

   

   Represents a unit in a HList of units

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

   

6. trait UnitOfMeasure[D] extends AnyRef

   

   Represents a unit of a given dimension