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, base: Option[(AreaMeasure, Double)] = None) extends Measure[AreaMeasure] with Product with Serializable

Area measure.
case class BinaryMultiple(prefix: String, powerOf2: Int) extends Product with Serializable

Binary multiple
trait CanAdd[A1, A2] extends AnyRef

Can add type class.
Can add type class.

Annotations
@implicitNotFound( ... )
trait CanAddQuantity[N, M1 <: Measure[M1], A1 <: Quantity[N, M1], M2 <: Measure[M2], A2 <: Quantity[N, M2], RM <: Measure[RM]] extends CanAdd[M1, M2]

Can add quantity type class.
Can add quantity type class.

Annotations
@implicitNotFound( ... )
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 CanSimplify[I, D] extends AnyRef

Can simplify type class.
Can simplify type class. Determines the shape of simplified (deflated) measure.

Annotations
@implicitNotFound( ... )
case class Conversion[From, To](from: From, to: To) extends Product with Serializable

Conversion.
case class ConvertException(message: String) extends Exception with Product with Serializable

Convert exception.
trait Converter[From, To] extends AnyRef

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

Currency.
type CurrencyPrice = 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 measure.untyped.Dimension

Dimension.
case class DimensionlessMeasure(name: String, system: SystemOfUnits, base: Option[(DimensionlessMeasure, Double)] = None) 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, base: Option[(ElectricCurrentMeasure, Double)] = None) extends Measure[ElectricCurrentMeasure] with Product with Serializable

Electric current measure.
trait EnergyConverter extends SameTypeConverter[EnergyMeasure]

Energy converter.
type EnergyDimension = RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ExponentialDimension[TimeDimension]]
case class EnergyMeasure(name: String, system: SystemOfUnits, base: Option[(EnergyMeasure, Double)] = None) extends Measure[EnergyMeasure] with Product with Serializable

Energy measure.
type EnergyPrice = RatioMeasure[Currency, EnergyMeasure]
trait EnergyPricePerDimensionlessConverter extends SameMeasureConverter[RatioMeasure[RatioMeasure[Currency, EnergyMeasure], DimensionlessMeasure]]

EnergyPrice / () converter.
sealed case class ExponentialDimension[B <: Dimension[B]](base: B, exponent: Double) extends Dimension[ExponentialDimension[B]] with measure.untyped.ExponentialDimension with Product with Serializable
trait ExponentialLengthConverter extends SameTypeConverter[ExponentialLengthMeasure]

Length ⁿ converter.
type ExponentialLengthMeasure = ExponentialMeasure[LengthMeasure]
trait ExponentialMeasure[B <: Measure[B]] extends Measure[ExponentialMeasure[B]] with measure.untyped.ExponentialMeasure

Exponential measure.
trait FixedCurrencyConverter extends SameMeasureConverter[Currency]

Currency converter with fixed FX rate.
type ForceDimension = RatioDimension[ProductDimension[MassDimension, LengthDimension], ExponentialDimension[TimeDimension]]
case class ForceMeasure(name: String, system: SystemOfUnits, base: Option[(ForceMeasure, Double)] = None) 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, base: Option[(InformationMeasure, Double)] = None) extends Measure[InformationMeasure] with Product with Serializable

Information measure.
trait LengthConverter extends SameMeasureConverter[LengthMeasure]

Length converter.
case class LengthDimension() extends Dimension[LengthDimension] with Product with Serializable
case class LengthMeasure(name: String, system: SystemOfUnits, base: Option[(LengthMeasure, Double)] = None) extends Measure[LengthMeasure] with Product with Serializable

Length measure.
type LuminousFluxDimension = ProductDimension[LuminousIntensityDimension, NoDimension]
case class LuminousFluxMeasure(name: String, system: SystemOfUnits, base: Option[(LuminousFluxMeasure, Double)] = None) 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, base: Option[(LuminousIntensityMeasure, Double)] = None) extends Measure[LuminousIntensityMeasure] with Product with Serializable

Luminous intensity measure.
trait MassConverter extends SameMeasureConverter[MassMeasure]

Mass converter.
case class MassDimension() extends Dimension[MassDimension] with Product with Serializable
case class MassMeasure extends Measure[MassMeasure] with Product with Serializable

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

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 simplify, perform simplification and should be called only when necessary.
trait MeasureParsers extends JavaTokenParsers

Measure parsers.
trait MeasureProvider extends AnyRef

Measure provider.
trait Measures[N] extends Any
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, base: Option[(PowerMeasure, Double)] = None) extends Measure[PowerMeasure] with Product with Serializable

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

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

Product measure.
case class Quantity[N, M <: Measure[M]](value: N, measure: M)(implicit qn: QuasiNumeric[N]) extends measure.untyped.Quantity[N] with Product with Serializable

Quantity.
trait QuasiNumeric[T] extends AnyRef

Quasi-numeric type class.
sealed case class RatioDimension[D1 <: Dimension[D1], D2 <: Dimension[D2]](numerator: D1, denominator: D2) extends Dimension[RatioDimension[D1, D2]] with measure.untyped.RatioDimension with Product with Serializable
trait RatioMeasure[M1 <: Measure[M1], M2 <: Measure[M2]] extends Measure[RatioMeasure[M1, M2]] with measure.untyped.RatioMeasure

Ratio measure.
trait Reducer[From, To] extends AnyRef

Reducer.
Reducer. Transforms measure to potentially simpler form by cancelling common factors.
trait SameMeasureConverter[T <: Measure[T]] extends SameTypeConverter[T]

Same measure converter.
trait SameTypeConverter[T] extends Converter[T, T]

Same type converter.
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]
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, base: Option[(TemporalFrequencyMeasure, Double)] = None) extends Measure[TemporalFrequencyMeasure] with Product with Serializable

Temporal frequency measure.
trait TimeConverter extends SameMeasureConverter[TimeMeasure]

Time converter.
case class TimeDimension() extends Dimension[TimeDimension] with Product with Serializable
case class TimeMeasure(name: String, system: SystemOfUnits, base: Option[(TimeMeasure, Double)] = None) extends Measure[TimeMeasure] with Product with Serializable

Time measure.
case class Universal[D <: Dimension[D]](scales: Scale[D]*) extends SystemOfUnits with Product with Serializable
type VoltageDimension = RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ProductDimension[ExponentialDimension[TimeDimension], ElectricCurrentDimension]]
case class VolumeMeasure(name: String, system: SystemOfUnits, base: Option[(VolumeMeasure, Double)] = None) extends Measure[VolumeMeasure] with Product with Serializable

Volume measure.
trait VolumeToExponentialLengthConverter extends Converter[VolumeMeasure, ExponentialLengthMeasure]

Volume to Lengthⁿ converter.
type ⤇[From, To] = Conversion[From, To]

Value Members

val *: ProductMeasure.type
val /: RatioMeasure.type
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 CanAdd
object CanAddQuantity
object CanConvert
val Centi: DecadicMultiple
object Centigrade extends Scale[TemperatureDimension] with Product with Serializable
object ConvertException extends Serializable
val DJF: Currency
val DKK: Currency
val DOP: Currency
val DZD: Currency
val Deci: DecadicMultiple
val Deka: DecadicMultiple
val Dimensionless: NoDimension
object DimensionlessConverter extends SameMeasureConverter[DimensionlessMeasure] with Product with Serializable

Dimensionless converter.
object DimensionlessMeasure extends Serializable
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]]
object EnergyConverter
object EnergyPricePerDimensionlessConverter
val Exa: DecadicMultiple
object ExponentialLengthConverter
object ExponentialMeasure extends Serializable
val FJD: Currency
val FKP: Currency
object Fahrenheit extends Scale[TemperatureDimension] with Product with Serializable
val Femto: DecadicMultiple
object FixedCurrencyConverter
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 GPa: PressureMeasure
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
object LengthConverter
val LuminousFlux: ProductDimension[LuminousIntensityDimension, NoDimension]
val LuminousIntensity: LuminousIntensityDimension
val MAD: Currency
val MDL: Currency
val MGA: Currency
val MJ: EnergyMeasure
val MKD: Currency
val MMBtu: EnergyMeasure
val MMK: Currency
val MNT: Currency
val MOP: Currency
val MPa: PressureMeasure
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
object MassConverter
object MassMeasure extends Serializable
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 extends Serializable
val QAR: Currency
object QuasiNumeric
val RON: Currency
val RSD: Currency
val RUB: Currency
val RWF: Currency
object RatioMeasure extends Serializable
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
object SameTypeConverter
val SpatialFrequency: RatioDimension[NoDimension, LengthDimension]
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
object TimeConverter
val UAH: Currency
val UGX: Currency
object US extends SystemOfUnits with Product with Serializable
val USC: Currency
val USD: Currency
val USN: Currency
val USS: Currency
val UYU: Currency
val UZS: Currency
final val Unit: DimensionlessMeasure

Dimensionless.
val VEF: Currency
val VND: Currency
val VUV: Currency
val Voltage: RatioDimension[ProductDimension[MassDimension, ExponentialDimension[LengthDimension]], ProductDimension[ExponentialDimension[TimeDimension], ElectricCurrentDimension]]
object VolumeToExponentialLengthConverter
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 ^: ExponentialMeasure.type
val acre: ExponentialMeasure[LengthMeasure]
object arithmetic
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]
object commodity
object composition
object conversion
val dam: LengthMeasure
val day: TimeMeasure
val days: 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 hour: TimeMeasure
val hours: TimeMeasure
object implicits extends SafeArithmeticImplicits with DefaultSimplification with DefaultConversionImplicits
val in: LengthMeasure
val in3: ExponentialMeasure[LengthMeasure]
val kJ: EnergyMeasure
val kPa: PressureMeasure
val kW: PowerMeasure
val kg: MassMeasure
val kip: MassMeasure
val km: LengthMeasure
val km2: ExponentialMeasure[LengthMeasure]
val lb: MassMeasure
val lb_troy: MassMeasure
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 mins: TimeMeasure
val mm: LengthMeasure
val ms: TimeMeasure
val mt: MassMeasure
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
val pi_dry: ExponentialMeasure[LengthMeasure]
val pi_liquid: ExponentialMeasure[LengthMeasure]
val qt_dry: ExponentialMeasure[LengthMeasure]
val qt_liquid: ExponentialMeasure[LengthMeasure]
val rad: DimensionlessMeasure
val rd: LengthMeasure
val s: TimeMeasure

Time.
val sec: TimeMeasure
val secs: TimeMeasure
object simplification
val siriometer: LengthMeasure
val sr: DimensionlessMeasure
val t: MassMeasure
val thou: LengthMeasure
val ton: MassMeasure
package untyped
val yd: LengthMeasure
val year360: TimeMeasure
val year365: TimeMeasure
val years: TimeMeasure
val ⤇: Conversion.type

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, base: Option[(AreaMeasure, Double)] = None) extends Measure[AreaMeasure] with Product with Serializable

case class BinaryMultiple(prefix: String, powerOf2: Int) extends Product with Serializable

trait CanAdd[A1, A2] extends AnyRef

trait CanAddQuantity[N, M1 <: Measure[M1], A1 <: Quantity[N, M1], M2 <: Measure[M2], A2 <: Quantity[N, M2], RM <: Measure[RM]] extends CanAdd[M1, M2]

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 CanSimplify[I, D] extends AnyRef

case class Conversion[From, To](from: From, to: To) extends Product with Serializable

case class ConvertException(message: String) extends Exception with Product with Serializable

trait Converter[From, To] extends AnyRef

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

type CurrencyPrice = 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 measure.untyped.Dimension

case class DimensionlessMeasure(name: String, system: SystemOfUnits, base: Option[(DimensionlessMeasure, Double)] = None) 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, base: Option[(ElectricCurrentMeasure, Double)] = None) extends Measure[ElectricCurrentMeasure] with Product with Serializable

trait EnergyConverter extends SameTypeConverter[EnergyMeasure]

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

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

type EnergyPrice = RatioMeasure[Currency, EnergyMeasure]

trait EnergyPricePerDimensionlessConverter extends SameMeasureConverter[RatioMeasure[RatioMeasure[Currency, EnergyMeasure], DimensionlessMeasure]]

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

trait ExponentialLengthConverter extends SameTypeConverter[ExponentialLengthMeasure]

type ExponentialLengthMeasure = ExponentialMeasure[LengthMeasure]

trait ExponentialMeasure[B <: Measure[B]] extends Measure[ExponentialMeasure[B]] with measure.untyped.ExponentialMeasure

trait FixedCurrencyConverter extends SameMeasureConverter[Currency]

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

case class ForceMeasure(name: String, system: SystemOfUnits, base: Option[(ForceMeasure, Double)] = None) 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, base: Option[(InformationMeasure, Double)] = None) extends Measure[InformationMeasure] with Product with Serializable

trait LengthConverter extends SameMeasureConverter[LengthMeasure]

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

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

type LuminousFluxDimension = ProductDimension[LuminousIntensityDimension, NoDimension]

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

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

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

trait MassConverter extends SameMeasureConverter[MassMeasure]

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

case class MassMeasure extends Measure[MassMeasure] with Product with Serializable

trait Measure[Self <: Measure[Self]] extends measure.untyped.Measure

trait MeasureParsers extends JavaTokenParsers

trait MeasureProvider extends AnyRef

trait Measures[N] extends Any

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, base: Option[(PowerMeasure, Double)] = None) extends Measure[PowerMeasure] with Product with Serializable

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

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

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

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

trait ProductMeasure[M1 <: Measure[M1], M2 <: Measure[M2]] extends Measure[ProductMeasure[M1, M2]] with measure.untyped.ProductMeasure

case class Quantity[N, M <: Measure[M]](value: N, measure: M)(implicit qn: QuasiNumeric[N]) extends measure.untyped.Quantity[N] with Product with Serializable

trait QuasiNumeric[T] extends AnyRef

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

trait RatioMeasure[M1 <: Measure[M1], M2 <: Measure[M2]] extends Measure[RatioMeasure[M1, M2]] with measure.untyped.RatioMeasure

trait Reducer[From, To] extends AnyRef

trait SameMeasureConverter[T <: Measure[T]] extends SameTypeConverter[T]

trait SameTypeConverter[T] extends Converter[T, T]

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

type SpatialFrequencyDimension = RatioDimension[NoDimension, LengthDimension]

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, base: Option[(TemporalFrequencyMeasure, Double)] = None) extends Measure[TemporalFrequencyMeasure] with Product with Serializable

trait TimeConverter extends SameMeasureConverter[TimeMeasure]

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