measure

Type Members

case class AmountDimension() extends Dimension[AmountDimension] with Product with Serializable
type AngularFrequencyDimension = RatioDimension[NoDimension, TimeDimension]
case class AreaMeasure(name: String, system: SystemOfUnits) extends Measure[AreaMeasure] with Product with Serializable

Area measure.
class BinaryMultiple extends AnyRef

Binary multiple
trait CanConvert[From, To] extends AnyRef

Can convert type class.
Can convert type class.

Annotations
@implicitNotFound( ... )
trait CanDivide[N, D, R] extends AnyRef

Can divide type class.
Can divide type class.

Annotations
@implicitNotFound( ... )
trait CanExponentiate[B, R] extends AnyRef

Can exponentiate type class.
Can exponentiate type class.

Annotations
@implicitNotFound( ... )
trait CanMultiply[M1, M2, R] extends AnyRef

Can multiply type class.
Can multiply type class.

Annotations
@implicitNotFound( ... )
trait CanReduce[I, D] extends AnyRef

Can reduce type class.
Can reduce type class. Determines the shape of reduced (deflated) measure.

Annotations
@implicitNotFound( ... )
trait Converter[From, To] extends AnyRef

Converter.
case class Currency(name: String) extends Measure[Currency] with Product with Serializable

Currency.
type CurrencyPriceMeasure = RatioMeasure[Currency, Currency]
case class DecadicMultiple(prefix: String, multiple: Double) extends Product with Serializable

Decadic multiple.
Decadic multiple.
http://en.wikipedia.org/wiki/Metric_prefixß
case class Derived(system: SystemOfUnits) extends SystemOfUnits with Product with Serializable
trait Dimension[Self <: Dimension[Self]] extends UntypedDimension

Dimension.
case class DimensionlessMeasure(name: String, system: SystemOfUnits, base: Double = 1) extends Measure[DimensionlessMeasure] with Product with Serializable

Dimensionless measure.
type ElectricChargeDimension = ProductDimension[ElectricCurrentDimension, TimeDimension]
case class ElectricCurrentDimension() extends Dimension[ElectricCurrentDimension] with Product with Serializable
case class ElectricCurrentMeasure(name: String, system: SystemOfUnits) extends Measure[ElectricCurrentMeasure] with Product with Serializable

Electric current measure.
type EnergyDimension = RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ExponentialDimension[TimeDimension]]
case class EnergyMeasure(name: String, system: SystemOfUnits) extends Measure[EnergyMeasure] with Product with Serializable

Energy measure.
type EnergyPriceMeasure = RatioMeasure[Currency, EnergyMeasure]
type EnergyPricePerDimensionlessMeasure = RatioMeasure[EnergyPriceMeasure, DimensionlessMeasure]
trait ExponentialCanExponentiate[B <: Measure[B]] extends CanExponentiate[B, ExponentialMeasure[B]]
sealed case class ExponentialDimension[B <: Dimension[B]](base: B, exponent: Double) extends Dimension[ExponentialDimension[B]] with ExponentialUntypedDimension with Product with Serializable
type ExponentialLengthMeasure = ExponentialMeasure[LengthMeasure]
trait ExponentialMeasure[B <: Measure[B]] extends Measure[ExponentialMeasure[B]] with ExponentialUntypedMeasure

Exponential measure.
trait ExponentialUntypedDimension extends UntypedDimension
trait ExponentialUntypedMeasure extends UntypedMeasure
type ForceDimension = RatioDimension[ProductDimension[MassDimension, LengthDimension], ExponentialDimension[TimeDimension]]
case class ForceMeasure(name: String, system: SystemOfUnits) extends Measure[ForceMeasure] with Product with Serializable

Force measure.
case class Hybrid(systems: SystemOfUnits*) extends SystemOfUnits with Product with Serializable
case class Imperial[D <: Dimension[D]](scales: Scale[D]*) extends SystemOfUnits with Product with Serializable
case class InformationDimension() extends Dimension[InformationDimension] with Product with Serializable
case class InformationMeasure(name: String, system: SystemOfUnits) extends Measure[InformationMeasure] with Product with Serializable

Information measure.
case class LengthDimension() extends Dimension[LengthDimension] with Product with Serializable
case class LengthMeasure(name: String, system: SystemOfUnits) extends Measure[LengthMeasure] with Product with Serializable

Length measure.
type LuminousFluxDimension = ProductDimension[LuminousIntensityDimension, NoDimension]
case class LuminousFluxMeasure(name: String, system: SystemOfUnits) extends Measure[LuminousFluxMeasure] with Product with Serializable

Luminous flux measure.
case class LuminousIntensityDimension() extends Dimension[LuminousIntensityDimension] with Product with Serializable
case class LuminousIntensityMeasure(name: String, system: SystemOfUnits) extends Measure[LuminousIntensityMeasure] with Product with Serializable

Luminous intensity measure.
case class MassDimension() extends Dimension[MassDimension] with Product with Serializable
case class MassMeasure(name: String, system: SystemOfUnits) extends Measure[MassMeasure] with Product with Serializable

Mass measure.
trait Measure[Self <: Measure[Self]] extends UntypedMeasure

Measure.
Measure.
The guiding principle(s) of design is and should be:
1. Construction of a measure should be fast, without any recursion/iteration to perform simplification. 2. Compute-intensive methods, such as reduce, perform simplification and should be called only when necessary.
trait MeasureParsers extends JavaTokenParsers

Measure parsers.
trait MeasureProvider extends AnyRef

Measure provider.
case class MoneyDimension() extends Dimension[MoneyDimension] with Product with Serializable
case class NoDimension() extends Dimension[NoDimension] with Product with Serializable
type PowerDimension = RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ExponentialDimension[TimeDimension]]
case class PowerMeasure(name: String, system: SystemOfUnits) extends Measure[PowerMeasure] with Product with Serializable

Power measure.
type PressureDimension = RatioDimension[MassDimension, ProductDimension[LengthDimension, ExponentialDimension[TimeDimension]]]
case class PressureMeasure(name: String, system: SystemOfUnits) extends Measure[PressureMeasure] with Product with Serializable

Pressure measure.
type Price[M <: Measure[M]] = RatioMeasure[Currency, M]
trait ProductCanMultiply[M1 <: Measure[M1], M2 <: Measure[M2]] extends CanMultiply[M1, M2, ProductMeasure[M1, M2]]
sealed case class ProductDimension[D1 <: Dimension[D1], D2 <: Dimension[D2]](multiplicand: D1, multiplier: D2) extends Dimension[ProductDimension[D1, D2]] with ProductUntypedDimension with Product with Serializable
trait ProductMeasure[M1 <: Measure[M1], M2 <: Measure[M2]] extends Measure[ProductMeasure[M1, M2]] with ProductUntypedMeasure

Product measure.
trait ProductUntypedDimension extends UntypedDimension
trait ProductUntypedMeasure extends UntypedMeasure
case class Quantity[M <: Measure[M]](value: Double, measure: M) extends Product with Serializable

Quantity.
trait RatioCanDivide[N <: Measure[N], D <: Measure[D]] extends CanDivide[N, D, RatioMeasure[N, D]]
sealed case class RatioDimension[D1 <: Dimension[D1], D2 <: Dimension[D2]](numerator: D1, denominator: D2) extends Dimension[RatioDimension[D1, D2]] with RatioUntypedDimension with Product with Serializable
trait RatioMeasure[M1 <: Measure[M1], M2 <: Measure[M2]] extends Measure[RatioMeasure[M1, M2]] with RatioUntypedMeasure

Ratio measure.
trait RatioUntypedDimension extends UntypedDimension
trait RatioUntypedMeasure extends UntypedMeasure
abstract class Scale[D <: Dimension[D]] extends AnyRef

Scale, representing an abstract notion of choice of measure of a particular dimension, e.g.
Scale, representing an abstract notion of choice of measure of a particular dimension, e.g. temperature scale.
type SpatialFrequencyDimension = RatioDimension[NoDimension, LengthDimension]
type SpeedMeasure = RatioMeasure[LengthMeasure, TimeMeasure]
sealed trait SystemOfUnits extends AnyRef

System of units.
System of units.
http://en.wikipedia.org/wiki/International_System_of_Units
case class TemperatureDimension() extends Dimension[TemperatureDimension] with Product with Serializable
type TemporalFrequencyDimension = RatioDimension[NoDimension, TimeDimension]
case class TemporalFrequencyMeasure(name: String, system: SystemOfUnits) extends Measure[TemporalFrequencyMeasure] with Product with Serializable

Temporal frequency measure.
case class TimeDimension() extends Dimension[TimeDimension] with Product with Serializable
case class TimeMeasure(name: String, system: SystemOfUnits) extends Measure[TimeMeasure] with Product with Serializable

Time measure.
case class Universal[D <: Dimension[D]](scales: Scale[D]*) extends SystemOfUnits with Product with Serializable
trait UntypedDimension extends AnyRef

Untyped dimension.
trait UntypedMeasure extends Dynamic

Untyped measure.
type VoltageDimension = RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ProductDimension[ExponentialDimension[TimeDimension], ElectricCurrentDimension]]
case class VolumeMeasure(name: String, system: SystemOfUnits) extends Measure[VolumeMeasure] with Product with Serializable

Volume measure.

Value Members

val A: ElectricCurrentMeasure

Electric current.
val AED: Currency

Currency.
val AFN: Currency
val ALL: Currency
val AMD: Currency
val ANG: Currency
val AOA: Currency
val ARS: Currency
val AUD: Currency
val AWG: Currency
val AZN: Currency
val Amount: AmountDimension
val AngularFrequency: RatioDimension[NoDimension, TimeDimension]
val Atto: DecadicMultiple
val B: InformationMeasure
val BAM: Currency
val BBD: Currency
val BDT: Currency
val BGN: Currency
val BHD: Currency
val BIF: Currency
val BMD: Currency
val BND: Currency
val BOB: Currency
val BOV: Currency
val BRL: Currency
val BSD: Currency
val BTN: Currency
val BWP: Currency
val BYR: Currency
val BZD: Currency
val CAD: Currency
val CDF: Currency
val CHF: Currency
val CLF: Currency
val CLP: Currency
val CNY: Currency
val COP: Currency
val CRC: Currency
val CUC: Currency
val CUP: Currency
val CVE: Currency
val CZK: Currency
object CanConvert
val Centi: DecadicMultiple
object Centigrade extends Scale[TemperatureDimension] with Product with Serializable
implicit object CurrencyCanDivide extends RatioCanDivide[Currency, Currency]
implicit object CurrencyDimensionlessCanDivide extends CanDivide[Currency, DimensionlessMeasure, Currency]
implicit object CurrencyDimensionlessCanMultiply extends CanMultiply[Currency, DimensionlessMeasure, Currency]
implicit object CurrencyEnergyCanDivide extends RatioCanDivide[Currency, EnergyMeasure]
implicit object CurrencyVolumeCanDivide extends RatioCanDivide[Currency, VolumeMeasure]
val DJF: Currency
val DKK: Currency
val DOP: Currency
val DZD: Currency
val Deci: DecadicMultiple
val Deka: DecadicMultiple
val Dimensionless: NoDimension
val EGP: Currency
val ERN: Currency
val ETB: Currency
val EUR: Currency
val Ei: BinaryMultiple
val ElectricCharge: ProductDimension[ElectricCurrentDimension, TimeDimension]
val ElectricCurrent: ElectricCurrentDimension
val Energy: RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ExponentialDimension[TimeDimension]]
implicit object EnergyPriceCurrencyPriceCanMultiply extends ProductCanMultiply[EnergyPriceMeasure, CurrencyPriceMeasure]
implicit object EnergyPriceDimensionlessCanDivide extends RatioCanDivide[EnergyPriceMeasure, DimensionlessMeasure]
implicit object EnergyPriceDimensionlessCanMultiply extends CanMultiply[EnergyPriceMeasure, DimensionlessMeasure, EnergyPriceMeasure]
val Exa: DecadicMultiple
object ExponentialMeasure
object ExponentialUntypedDimension
object ExponentialUntypedMeasure
val FJD: Currency
val FKP: Currency
object Fahrenheit extends Scale[TemperatureDimension] with Product with Serializable
val Femto: DecadicMultiple
val Force: RatioDimension[ProductDimension[MassDimension, LengthDimension], ExponentialDimension[TimeDimension]]
val GBP: Currency
val GEL: Currency
val GHS: Currency
val GIP: Currency
val GJ: EnergyMeasure
val GMD: Currency
val GNF: Currency
val GTQ: Currency
val GW: PowerMeasure
val GYD: Currency
val Gi: BinaryMultiple
val Giga: DecadicMultiple
val HKD: Currency
val HNL: Currency
val HRK: Currency
val HTG: Currency
val HUF: Currency
val Hecto: DecadicMultiple
val Hz: TemporalFrequencyMeasure

Frequency.
val IDR: Currency
val ILS: Currency
val INR: Currency
val IQD: Currency
val IRR: Currency
val ISK: Currency
val Information: InformationDimension
val J: EnergyMeasure

Energy.
val JMD: Currency
val JOD: Currency
val JPY: Currency
val KES: Currency
val KGS: Currency
val KHR: Currency
val KMF: Currency
val KPW: Currency
val KRW: Currency
val KWD: Currency
val KYD: Currency
val KZT: Currency
object Kelvin extends Scale[TemperatureDimension] with Product with Serializable
val Ki: BinaryMultiple

IEC (http://en.wikipedia.org/wiki/International_Electrotechnical_Commission) prefixes.
val Kilo: DecadicMultiple
val LAK: Currency
val LBP: Currency
val LKR: Currency
val LRD: Currency
val LSL: Currency
val LTL: Currency
val LVL: Currency
val LYD: Currency
val Length: LengthDimension
implicit object LengthCanExponentiate extends ExponentialCanExponentiate[LengthMeasure]
implicit object LengthTimeCanDivide extends RatioCanDivide[LengthMeasure, TimeMeasure]
val LuminousFlux: ProductDimension[LuminousIntensityDimension, NoDimension]
val LuminousIntensity: LuminousIntensityDimension
val MAD: Currency
val MDL: Currency
val MGA: Currency
val MKD: Currency
val MMBtu: EnergyMeasure
val MMK: Currency
val MNT: Currency
val MOP: Currency
val MRO: Currency
val MUR: Currency
val MVR: Currency
val MW: PowerMeasure
val MWK: Currency
val MXN: Currency
val MXV: Currency
val MYR: Currency
val MZN: Currency
val Mass: MassDimension
implicit object MassCanDivide extends CanDivide[MassMeasure, MassMeasure, DimensionlessMeasure]
implicit object MassCanExponentiate extends ExponentialCanExponentiate[MassMeasure]
implicit object MassDimensionlessCanMultiply extends CanMultiply[MassMeasure, DimensionlessMeasure, MassMeasure]
implicit object MassLengthCanDivide extends RatioCanDivide[MassMeasure, LengthMeasure]
implicit object MassLengthCanMultiply extends ProductCanMultiply[MassMeasure, LengthMeasure]
implicit object MassSpeedCanMultiply extends ProductCanMultiply[MassMeasure, ExponentialMeasure[SpeedMeasure]]
implicit object MassTimeCanMultiply extends ProductCanMultiply[MassMeasure, TimeMeasure]
val Mega: DecadicMultiple
val Mi: BinaryMultiple
val Micro: DecadicMultiple
val Milli: DecadicMultiple
object Monetary extends SystemOfUnits with Product with Serializable
val Money: MoneyDimension
val N: ForceMeasure

Force.
val NAD: Currency
val NGN: Currency
val NIO: Currency
val NOK: Currency
val NPR: Currency
val NZD: Currency
val Nano: DecadicMultiple
val OMR: Currency
val PAB: Currency
val PEN: Currency
val PGK: Currency
val PHP: Currency
val PKR: Currency
val PLN: Currency
val PYG: Currency
val Pa: PressureMeasure

Pressure.
val Peta: DecadicMultiple
val Pi: BinaryMultiple
val Pico: DecadicMultiple
val Power: RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ExponentialDimension[TimeDimension]]
val Pressure: RatioDimension[MassDimension, ProductDimension[LengthDimension, ExponentialDimension[TimeDimension]]]
object ProductMeasure
object ProductUntypedDimension
object ProductUntypedMeasure
val QAR: Currency
object Quantity extends Serializable
val RON: Currency
val RSD: Currency
val RUB: Currency
val RWF: Currency
object RatioMeasure
object RatioUntypedDimension
object RatioUntypedMeasure
val SAR: Currency
val SBD: Currency
val SCR: Currency
val SDG: Currency
val SEK: Currency
val SGD: Currency
val SHP: Currency
object SI extends SystemOfUnits with Product with Serializable
val SLL: Currency
val SOS: Currency
val SRD: Currency
val STD: Currency
val SYP: Currency
val SZL: Currency
val SpatialFrequency: RatioDimension[NoDimension, LengthDimension]
implicit object SpeedCanExponentiate extends ExponentialCanExponentiate[SpeedMeasure]
val THB: Currency
val TJS: Currency
val TMT: Currency
val TND: Currency
val TOP: Currency
val TRY: Currency
val TTD: Currency
val TWD: Currency
val TZS: Currency
val Temperature: TemperatureDimension
val TemporalFrequency: RatioDimension[NoDimension, TimeDimension]
val Tera: DecadicMultiple
val Ti: BinaryMultiple
val Time: TimeDimension
val UAH: Currency
val UGX: Currency
object US extends SystemOfUnits with Product with Serializable
val USD: Currency
val USN: Currency
val USS: Currency
val UYU: Currency
val UZS: Currency
final val UnitMeasure: DimensionlessMeasure
val VEF: Currency
val VND: Currency
val VUV: Currency
val Voltage: RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ProductDimension[ExponentialDimension[TimeDimension], ElectricCurrentDimension]]
val W: PowerMeasure

Power.
val WST: Currency
val XAF: Currency
val XAG: Currency
val XAU: Currency
val XBA: Currency
val XBB: Currency
val XBC: Currency
val XBD: Currency
val XCD: Currency
val XDR: Currency
val XFU: Currency
val XOF: Currency
val XPD: Currency
val XPF: Currency
val XPT: Currency
val XTS: Currency
val XXX: Currency
val YER: Currency
val Yi: BinaryMultiple
val Yocto: DecadicMultiple
val Yotta: DecadicMultiple

SI prefixes.
val ZAR: Currency
val ZMW: Currency
val Zepto: DecadicMultiple
val Zetta: DecadicMultiple
val Zi: BinaryMultiple
val acre: ExponentialMeasure[LengthMeasure]
val astronomicalUnit: LengthMeasure
val au: LengthMeasure
val b: InformationMeasure

Information.
val bbl: VolumeMeasure
val beardSecond: LengthMeasure
val bp: DimensionlessMeasure
val bushel: ExponentialMeasure[LengthMeasure]
val cd: LuminousIntensityMeasure

Luminous intensity.
val cg: MassMeasure
val cm: LengthMeasure
val cm3: ExponentialMeasure[LengthMeasure]
package conversion
val dam: LengthMeasure
val day: TimeMeasure
val dm: LengthMeasure
val dwt: MassMeasure
val fortnight: TimeMeasure
val ft: LengthMeasure
val ft2: ExponentialMeasure[LengthMeasure]
val fur: LengthMeasure
val g: MassMeasure

Mass.
val gal: ExponentialMeasure[LengthMeasure]
val gr: MassMeasure
val h: TimeMeasure
val ha: ExponentialMeasure[LengthMeasure]
val hm: LengthMeasure
val hm2: ExponentialMeasure[LengthMeasure]
val in: LengthMeasure
val in3: ExponentialMeasure[LengthMeasure]
val kPa: PressureMeasure
val kg: MassMeasure
val kip: MassMeasure
val km: LengthMeasure
val km2: ExponentialMeasure[LengthMeasure]
val lb: MassMeasure
val lb_troy: MassMeasure
val lightYear: LengthMeasure
val liter: ExponentialMeasure[LengthMeasure]
val lm: LuminousFluxMeasure

Luminous flux.
val ly: LengthMeasure
val m: LengthMeasure

Length.
val m2: ExponentialMeasure[LengthMeasure]

Area.
val m3: ExponentialMeasure[LengthMeasure]

Volume.
val mg: MassMeasure
val mi: LengthMeasure
val min: TimeMeasure
val mm: LengthMeasure
val ms: TimeMeasure
val nm: LengthMeasure
val nmi: LengthMeasure
val ns: TimeMeasure
val oz: MassMeasure
val oz_metric: MassMeasure
val oz_troy: MassMeasure
val parsec: LengthMeasure
val pc: LengthMeasure
val peck: ExponentialMeasure[LengthMeasure]
val percent: DimensionlessMeasure

Dimensionless.
val pi_dry: ExponentialMeasure[LengthMeasure]
val pi_liquid: ExponentialMeasure[LengthMeasure]
val qt_dry: ExponentialMeasure[LengthMeasure]
val qt_liquid: ExponentialMeasure[LengthMeasure]
package quantity
val rad: DimensionlessMeasure
val rd: LengthMeasure
package reduction
val s: TimeMeasure

Time.
val siriometer: LengthMeasure
val sr: DimensionlessMeasure
val t: MassMeasure
val thou: LengthMeasure
val ton: MassMeasure
val yd: LengthMeasure
val year360: TimeMeasure
val year365: TimeMeasure

package measure

Type Members

case class AmountDimension() extends Dimension[AmountDimension] with Product with Serializable

type AngularFrequencyDimension = RatioDimension[NoDimension, TimeDimension]

case class AreaMeasure(name: String, system: SystemOfUnits) extends Measure[AreaMeasure] with Product with Serializable

class BinaryMultiple extends AnyRef

trait CanConvert[From, To] extends AnyRef

trait CanDivide[N, D, R] extends AnyRef

trait CanExponentiate[B, R] extends AnyRef

trait CanMultiply[M1, M2, R] extends AnyRef

trait CanReduce[I, D] extends AnyRef

trait Converter[From, To] extends AnyRef

case class Currency(name: String) extends Measure[Currency] with Product with Serializable

type CurrencyPriceMeasure = RatioMeasure[Currency, Currency]

case class DecadicMultiple(prefix: String, multiple: Double) extends Product with Serializable

case class Derived(system: SystemOfUnits) extends SystemOfUnits with Product with Serializable

trait Dimension[Self <: Dimension[Self]] extends UntypedDimension

case class DimensionlessMeasure(name: String, system: SystemOfUnits, base: Double = 1) extends Measure[DimensionlessMeasure] with Product with Serializable

type ElectricChargeDimension = ProductDimension[ElectricCurrentDimension, TimeDimension]

case class ElectricCurrentDimension() extends Dimension[ElectricCurrentDimension] with Product with Serializable

case class ElectricCurrentMeasure(name: String, system: SystemOfUnits) extends Measure[ElectricCurrentMeasure] with Product with Serializable

type EnergyDimension = RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ExponentialDimension[TimeDimension]]

case class EnergyMeasure(name: String, system: SystemOfUnits) extends Measure[EnergyMeasure] with Product with Serializable

type EnergyPriceMeasure = RatioMeasure[Currency, EnergyMeasure]

type EnergyPricePerDimensionlessMeasure = RatioMeasure[EnergyPriceMeasure, DimensionlessMeasure]

trait ExponentialCanExponentiate[B <: Measure[B]] extends CanExponentiate[B, ExponentialMeasure[B]]

sealed case class ExponentialDimension[B <: Dimension[B]](base: B, exponent: Double) extends Dimension[ExponentialDimension[B]] with ExponentialUntypedDimension with Product with Serializable

type ExponentialLengthMeasure = ExponentialMeasure[LengthMeasure]

trait ExponentialMeasure[B <: Measure[B]] extends Measure[ExponentialMeasure[B]] with ExponentialUntypedMeasure

trait ExponentialUntypedDimension extends UntypedDimension

trait ExponentialUntypedMeasure extends UntypedMeasure

type ForceDimension = RatioDimension[ProductDimension[MassDimension, LengthDimension], ExponentialDimension[TimeDimension]]

case class ForceMeasure(name: String, system: SystemOfUnits) extends Measure[ForceMeasure] with Product with Serializable

case class Hybrid(systems: SystemOfUnits*) extends SystemOfUnits with Product with Serializable

case class Imperial[D <: Dimension[D]](scales: Scale[D]*) extends SystemOfUnits with Product with Serializable

case class InformationDimension() extends Dimension[InformationDimension] with Product with Serializable

case class InformationMeasure(name: String, system: SystemOfUnits) extends Measure[InformationMeasure] with Product with Serializable

case class LengthDimension() extends Dimension[LengthDimension] with Product with Serializable

case class LengthMeasure(name: String, system: SystemOfUnits) extends Measure[LengthMeasure] with Product with Serializable

type LuminousFluxDimension = ProductDimension[LuminousIntensityDimension, NoDimension]

case class LuminousFluxMeasure(name: String, system: SystemOfUnits) extends Measure[LuminousFluxMeasure] with Product with Serializable

case class LuminousIntensityDimension() extends Dimension[LuminousIntensityDimension] with Product with Serializable

case class LuminousIntensityMeasure(name: String, system: SystemOfUnits) extends Measure[LuminousIntensityMeasure] with Product with Serializable

case class MassDimension() extends Dimension[MassDimension] with Product with Serializable

case class MassMeasure(name: String, system: SystemOfUnits) extends Measure[MassMeasure] with Product with Serializable

trait Measure[Self <: Measure[Self]] extends UntypedMeasure

trait MeasureParsers extends JavaTokenParsers

trait MeasureProvider extends AnyRef

case class MoneyDimension() extends Dimension[MoneyDimension] with Product with Serializable

case class NoDimension() extends Dimension[NoDimension] with Product with Serializable

type PowerDimension = RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ExponentialDimension[TimeDimension]]

case class PowerMeasure(name: String, system: SystemOfUnits) extends Measure[PowerMeasure] with Product with Serializable

type PressureDimension = RatioDimension[MassDimension, ProductDimension[LengthDimension, ExponentialDimension[TimeDimension]]]

case class PressureMeasure(name: String, system: SystemOfUnits) extends Measure[PressureMeasure] with Product with Serializable

type Price[M <: Measure[M]] = RatioMeasure[Currency, M]

trait ProductCanMultiply[M1 <: Measure[M1], M2 <: Measure[M2]] extends CanMultiply[M1, M2, ProductMeasure[M1, M2]]

sealed case class ProductDimension[D1 <: Dimension[D1], D2 <: Dimension[D2]](multiplicand: D1, multiplier: D2) extends Dimension[ProductDimension[D1, D2]] with ProductUntypedDimension with Product with Serializable

trait ProductMeasure[M1 <: Measure[M1], M2 <: Measure[M2]] extends Measure[ProductMeasure[M1, M2]] with ProductUntypedMeasure

trait ProductUntypedDimension extends UntypedDimension

trait ProductUntypedMeasure extends UntypedMeasure

case class Quantity[M <: Measure[M]](value: Double, measure: M) extends Product with Serializable

trait RatioCanDivide[N <: Measure[N], D <: Measure[D]] extends CanDivide[N, D, RatioMeasure[N, D]]

sealed case class RatioDimension[D1 <: Dimension[D1], D2 <: Dimension[D2]](numerator: D1, denominator: D2) extends Dimension[RatioDimension[D1, D2]] with RatioUntypedDimension with Product with Serializable

trait RatioMeasure[M1 <: Measure[M1], M2 <: Measure[M2]] extends Measure[RatioMeasure[M1, M2]] with RatioUntypedMeasure

trait RatioUntypedDimension extends UntypedDimension

trait RatioUntypedMeasure extends UntypedMeasure

abstract class Scale[D <: Dimension[D]] extends AnyRef

type SpatialFrequencyDimension = RatioDimension[NoDimension, LengthDimension]

type SpeedMeasure = RatioMeasure[LengthMeasure, TimeMeasure]

sealed trait SystemOfUnits extends AnyRef

case class TemperatureDimension() extends Dimension[TemperatureDimension] with Product with Serializable

type TemporalFrequencyDimension = RatioDimension[NoDimension, TimeDimension]

case class TemporalFrequencyMeasure(name: String, system: SystemOfUnits) extends Measure[TemporalFrequencyMeasure] with Product with Serializable

case class TimeDimension() extends Dimension[TimeDimension] with Product with Serializable

case class TimeMeasure(name: String, system: SystemOfUnits) extends Measure[TimeMeasure] with Product with Serializable

case class Universal[D <: Dimension[D]](scales: Scale[D]*) extends SystemOfUnits with Product with Serializable

trait UntypedDimension extends AnyRef

trait UntypedMeasure extends Dynamic

type VoltageDimension = RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ProductDimension[ExponentialDimension[TimeDimension], ElectricCurrentDimension]]