si - libra.si

Type Members

type AccelerationQuantity[A, L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Length, L, Fraction[1, 1]], ::[Term[Time, T, Fraction[-2, 1]], HNil]]]
abstract type Amount
type Ampere = MetricUnit[0, Current]
type Attogram = MetricUnit[-18, Mass]
type Attometre = MetricUnit[-18, Length]
type Attosecond = MetricUnit[-18, Time]
implicit final class BaseQuantityOps[A] extends AnyVal
type Candela = UnitOfMeasure[Intensity]
type Centigram = MetricUnit[-2, Mass]
type Centimetre = MetricUnit[-2, Length]
type Centisecond = MetricUnit[-2, Time]
abstract type Current
type Decigram = MetricUnit[-1, Mass]
type Decimetre = MetricUnit[-1, Length]
type Decisecond = MetricUnit[-1, Time]
type Femtogram = MetricUnit[-15, Mass]
type Femtometre = MetricUnit[-15, Length]
type Femtosecond = MetricUnit[-15, Time]
type ForceQuantity[A, M <: UnitOfMeasure[Mass], L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Mass, M, Fraction[1, 1]], ::[Term[Length, L, Fraction[1, 1]], ::[Term[Time, T, Fraction[-2, 1]], HNil]]]]
implicit final class ForceQuantityOps[A] extends AnyVal
type Gram = MetricUnit[0, Mass]
abstract type Intensity
type Kelvin = UnitOfMeasure[Temperature]
type Kilogram = MetricUnit[3, Mass]
type Kilometre = MetricUnit[3, Length]
type Kilosecond = MetricUnit[3, Time]
abstract type Length
abstract type Mass
type Metre = MetricUnit[0, Length]
trait MetricUnit[I <: XInt, D] extends UnitOfMeasure[D]
type Microgram = MetricUnit[-6, Mass]
type Micrometre = MetricUnit[-6, Length]
type Microsecond = MetricUnit[-6, Time]
type MilliAmpere = MetricUnit[-3, Current]
type Milligram = MetricUnit[-3, Mass]
type Millimetre = MetricUnit[-3, Length]
type Millisecond = MetricUnit[-3, Time]
type Mole = UnitOfMeasure[Amount]
type MomentumQuantity[A, M <: UnitOfMeasure[Mass], L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Mass, M, Fraction[1, 1]], ::[Term[Length, L, Fraction[1, 1]], ::[Term[Time, T, Fraction[-1, 1]], HNil]]]]
implicit final class MomentumQuantityOps[A] extends AnyVal
type Nanogram = MetricUnit[-9, Mass]
type Nanometre = MetricUnit[-9, Length]
type Nanosecond = MetricUnit[-9, Time]
type Picogram = MetricUnit[-12, Mass]
type Picometre = MetricUnit[-12, Length]
type Picosecond = MetricUnit[-12, Time]
implicit final class SIAccellerationQuantityOps[A] extends AnyVal
implicit final class SILengthQuantityOps[A] extends AnyVal
implicit final class SIMassQuantityOps[A] extends AnyVal
implicit final class SITimeQuantityOps[A] extends AnyVal
implicit final class SIVelocityQuantityOps[A] extends AnyVal
type Second = MetricUnit[0, Time]
abstract type Temperature
abstract type Time
type VelocityQuantity[A, L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Length, L, Fraction[1, 1]], ::[Term[Time, T, Fraction[-1, 1]], HNil]]]

Value Members

implicit def amountShow: Show[Amount]
implicit val attoShow: Show[-18]
implicit def candelaShow: Show[Candela]
implicit val centiShow: Show[-2]
implicit def currentShow: Show[Current]
implicit val deciShow: Show[-1]
implicit val femtoShow: Show[-15]
implicit def intensityShow: Show[Intensity]
implicit def kelvinShow: Show[Kelvin]
implicit val killoShow: Show[3]
implicit def lengthShow: Show[Length]
implicit def massShow: Show[Mass]
implicit def metricConversion[A, D, PF <: XInt, PT <: XInt](implicit c: ConvertableTo[A], ev: Field[A], pf: SafeInt[PF], pt: SafeInt[PT]): ConversionFactor[A, D, MetricUnit[PF, D], MetricUnit[PT, D]]
implicit def metricCurrentShow[I <: XInt](implicit s: Show[I]): Show[MetricUnit[I, Current]]
implicit def metricLengthShow[I <: XInt](implicit s: Show[I]): Show[MetricUnit[I, Length]]
implicit def metricMassShow[I <: XInt](implicit s: Show[I]): Show[MetricUnit[I, Mass]]
implicit def metricTimeShow[I <: XInt](implicit s: Show[I]): Show[MetricUnit[I, Time]]
implicit val microShow: Show[-6]
implicit val milliShow: Show[-3]
implicit def moleShow: Show[Mole]
implicit val nanoShow: Show[-9]
implicit val picoShow: Show[-12]
implicit def temperatureShow: Show[Temperature]
implicit def timeShow: Show[Time]
implicit val zeroShow: Show[0]

si

package si

Type Members

type AccelerationQuantity[A, L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Length, L, Fraction[1, 1]], ::[Term[Time, T, Fraction[-2, 1]], HNil]]]

abstract type Amount

type Ampere = MetricUnit[0, Current]

type Attogram = MetricUnit[-18, Mass]

type Attometre = MetricUnit[-18, Length]

type Attosecond = MetricUnit[-18, Time]

implicit final class BaseQuantityOps[A] extends AnyVal

type Candela = UnitOfMeasure[Intensity]

type Centigram = MetricUnit[-2, Mass]

type Centimetre = MetricUnit[-2, Length]

type Centisecond = MetricUnit[-2, Time]

abstract type Current

type Decigram = MetricUnit[-1, Mass]

type Decimetre = MetricUnit[-1, Length]

type Decisecond = MetricUnit[-1, Time]

type Femtogram = MetricUnit[-15, Mass]

type Femtometre = MetricUnit[-15, Length]

type Femtosecond = MetricUnit[-15, Time]

type ForceQuantity[A, M <: UnitOfMeasure[Mass], L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Mass, M, Fraction[1, 1]], ::[Term[Length, L, Fraction[1, 1]], ::[Term[Time, T, Fraction[-2, 1]], HNil]]]]

implicit final class ForceQuantityOps[A] extends AnyVal

type Gram = MetricUnit[0, Mass]

abstract type Intensity

type Kelvin = UnitOfMeasure[Temperature]

type Kilogram = MetricUnit[3, Mass]

type Kilometre = MetricUnit[3, Length]

type Kilosecond = MetricUnit[3, Time]

abstract type Length

abstract type Mass

type Metre = MetricUnit[0, Length]

trait MetricUnit[I <: XInt, D] extends UnitOfMeasure[D]

type Microgram = MetricUnit[-6, Mass]

type Micrometre = MetricUnit[-6, Length]

type Microsecond = MetricUnit[-6, Time]

type MilliAmpere = MetricUnit[-3, Current]

type Milligram = MetricUnit[-3, Mass]

type Millimetre = MetricUnit[-3, Length]

type Millisecond = MetricUnit[-3, Time]

type Mole = UnitOfMeasure[Amount]

type MomentumQuantity[A, M <: UnitOfMeasure[Mass], L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Mass, M, Fraction[1, 1]], ::[Term[Length, L, Fraction[1, 1]], ::[Term[Time, T, Fraction[-1, 1]], HNil]]]]

implicit final class MomentumQuantityOps[A] extends AnyVal

type Nanogram = MetricUnit[-9, Mass]

type Nanometre = MetricUnit[-9, Length]

type Nanosecond = MetricUnit[-9, Time]

type Picogram = MetricUnit[-12, Mass]

type Picometre = MetricUnit[-12, Length]

type Picosecond = MetricUnit[-12, Time]

implicit final class SIAccellerationQuantityOps[A] extends AnyVal

implicit final class SILengthQuantityOps[A] extends AnyVal

implicit final class SIMassQuantityOps[A] extends AnyVal

implicit final class SITimeQuantityOps[A] extends AnyVal

implicit final class SIVelocityQuantityOps[A] extends AnyVal

type Second = MetricUnit[0, Time]

abstract type Temperature

abstract type Time

type VelocityQuantity[A, L <: UnitOfMeasure[Length], T <: UnitOfMeasure[Time]] = Quantity[A, ::[Term[Length, L, Fraction[1, 1]], ::[Term[Time, T, Fraction[-1, 1]], HNil]]]

Value Members

implicit def amountShow: Show[Amount]

implicit val attoShow: Show[-18]

implicit def candelaShow: Show[Candela]

implicit val centiShow: Show[-2]

implicit def currentShow: Show[Current]

implicit val deciShow: Show[-1]

implicit val femtoShow: Show[-15]

implicit def intensityShow: Show[Intensity]

implicit def kelvinShow: Show[Kelvin]

implicit val killoShow: Show[3]

implicit def lengthShow: Show[Length]

implicit def massShow: Show[Mass]

implicit def metricConversion[A, D, PF <: XInt, PT <: XInt](implicit c: ConvertableTo[A], ev: Field[A], pf: SafeInt[PF], pt: SafeInt[PT]): ConversionFactor[A, D, MetricUnit[PF, D], MetricUnit[PT, D]]

implicit def metricCurrentShow[I <: XInt](implicit s: Show[I]): Show[MetricUnit[I, Current]]

implicit def metricLengthShow[I <: XInt](implicit s: Show[I]): Show[MetricUnit[I, Length]]

implicit def metricMassShow[I <: XInt](implicit s: Show[I]): Show[MetricUnit[I, Mass]]

implicit def metricTimeShow[I <: XInt](implicit s: Show[I]): Show[MetricUnit[I, Time]]

implicit val microShow: Show[-6]

implicit val milliShow: Show[-3]

implicit def moleShow: Show[Mole]

implicit val nanoShow: Show[-9]