Physics.Units.Convert

Documentation

class ExpVal (x :: Exponent) where

Minimal complete definition

expVal

Methods

expVal :: Proxy x -> Integer

Instances

KnownNat n => ExpVal (Positive n)

Defined in Physics.Units.Convert

Methods

expVal :: Proxy (Positive n) -> Integer

KnownNat n => ExpVal (Negative n)

Defined in Physics.Units.Convert

Methods

expVal :: Proxy (Negative n) -> Integer

fromSI :: forall x metre kilogram second ampere kelvin. (Floating x, ExpVal metre, ExpVal kilogram, ExpVal (Minus second ampere), ExpVal ampere, ExpVal kelvin) => SI metre kilogram second ampere kelvin Z Z x -> Planck metre kilogram (Minus second ampere) ampere kelvin x

fromPlanck :: forall x metre kilogram second coulomb kelvin. (Floating x, ExpVal metre, ExpVal kilogram, ExpVal second, ExpVal coulomb, ExpVal kelvin) => Planck metre kilogram second coulomb kelvin x -> SI metre kilogram (Plus second coulomb) coulomb kelvin Z Z x