Data.Memorable.Theme.Metric

Documentation

type UnitsPlural = ToTree '["meters", "seconds", "grams", "liters", "volts", "ohms", "amps", "henries"]

type Units = ToTree '["meter", "second", "gram", "liter", "volt", "ohm", "amp", "henry"]

type SIPrefix = ToTree '["atto", "femto", "pico", "nano", "micro", "milli", "centi", "deci", "deca", "hecto", "kilo", "mega", "giga", "tera", "peta", "exa"]

type Measurements = (((((((((Number Dec 5 :- ".") :- Number Dec 3) :- " ") :- SIPrefix) :- UnitsPlural) :- " per ") :- SIPrefix) :- Units) :- "^") :- NumberWithOffset Dec 2 2

measurements :: Proxy Measurements