Module

Type.Data.Units.SI

Package: purescript-typelevel-measures
Repository: csicar/purescript-typelevel-measures

#MeterT Source

data MeterT :: Measure

Instances

ShowMeasure MeterT

#Meter Source

type Meter exp r = (meter :: MeasureExp MeterT exp | r)

#Meter' Source

type Meter' r = Meter P1 r

Meter with default exponent 1

Sec P2 * Meter' * Kg () ≡ Sec P2 * Meter P1 * Kg ()

#meter Source

meter :: forall a. Semiring a => a : (Meter P1 ())

#KgT Source

data KgT :: Measure

Instances

ShowMeasure KgT

#Kg Source

type Kg exp r = (kg :: MeasureExp KgT exp | r)

#Kg' Source

type Kg' r = Kg P1 r

#kg Source

kg :: forall a. Semiring a => a : (Kg P1 ())

#SecT Source

data SecT :: Measure

Instances

ShowMeasure SecT

#Sec Source

type Sec exp r = (sec :: MeasureExp SecT exp | r)

#Sec' Source

type Sec' r = Sec P1 r

#sec Source

sec :: forall a. Semiring a => a : (Sec P1 ())

#AmpereT Source

data AmpereT :: Measure

Instances

ShowMeasure AmpereT

#Ampere Source

type Ampere exp r = (ampere :: MeasureExp AmpereT exp | r)

#ampere Source

ampere :: forall a. Semiring a => a : (Ampere P1 ())

#MoleT Source

data MoleT :: Measure

Instances

ShowMeasure MoleT

#Mole Source

type Mole exp r = (mole :: MeasureExp MoleT exp | r)

#Mole' Source

type Mole' r = Mole P1 r

#mole Source

mole :: forall a. Semiring a => a : (Mole P1 ())

#KelvinT Source

data KelvinT :: Measure

Instances

ShowMeasure KelvinT

#Kelvin Source

type Kelvin exp r = (kelvin :: MeasureExp KelvinT exp | r)

#Kelvin' Source

type Kelvin' r = Kelvin P1 r

#kelvin Source

kelvin :: forall a. Semiring a => a : (Kelvin P1 ())

#CandelaT Source

data CandelaT :: Measure

Instances

ShowMeasure CandelaT

#Candela Source

type Candela exp r = (candela :: MeasureExp CandelaT exp | r)

#Candela' Source

type Candela' r = Candela P1 r

#candela Source

candela :: forall a. Semiring a => a : (Candela P1 ())

#Newton Source

type Newton r = (Kg P1) * (Meter P1) * (Sec N2) * r

#newton Source

newton :: forall a. Semiring a => a : (Newton ())

#Hertz Source

type Hertz r = (Sec N1) * r

#hertz Source

hertz :: forall a. Semiring a => a : (Hertz ())

#Pascal Source

type Pascal r = (Kg P1) * (Meter N1) * (Sec N2) * r

#pascal Source

pascal :: forall a. Semiring a => a : (Pascal ())

#Joule Source

type Joule r = (Kg P1) * (Meter P2) * (Sec N2) * r

#joule Source

joule :: forall a. Semiring a => a : (Joule ())

#Watt Source

type Watt r = (Kg P1) * (Meter P2) * (Sec N3) * r

#watt Source

watt :: forall a. Semiring a => a : (Watt ())

#Coulomb Source

type Coulomb r = (Ampere P1) * (Sec P1) * r

#coulomb Source

coulomb :: forall a. Semiring a => a : (Coulomb ())

#Volt Source

type Volt r = (Kg P1) * (Meter P2) * (Ampere N1) * (Sec N3) * r

#volt Source

volt :: forall a. Semiring a => a : (Volt ())

#Farad Source

type Farad r = (Ampere P2) * (Sec N4) * (Kg N2) * (Meter N2) * r

#farad Source

farad :: forall a. Semiring a => a : (Farad ())

#Ohm Source

type Ohm r = (Kg P1) * (Meter P2) * (Sec N3) * (Ampere N2) * r

#ohm Source

ohm :: forall a. Semiring a => a : (Ohm ())

Modules: Type.Data.Units; Type.Data.Units.SI