 | numeric-prelude-0.0.2: An experimental alternative hierarchy of numeric type classes | Contents | Index |
|
| Number.DimensionTerm.SI | | Portability | portable | | Stability | provisional | | Maintainer | numericprelude@henning-thielemann.de |
|
|
|
|
|
| Description |
| Special physical units: SI unit system
|
|
|
| Documentation |
|
| second :: C a => Time a |
|
| minute :: C a => Time a |
|
| hour :: C a => Time a |
|
| day :: C a => Time a |
|
| year :: C a => Time a |
|
| hertz :: C a => Frequency a |
|
| meter :: C a => Length a |
|
| gramm :: C a => Mass a |
|
| tonne :: C a => Mass a |
|
| coulomb :: C a => Charge a |
|
| volt :: C a => Voltage a |
|
| kelvin :: C a => Temperature a |
|
| bit :: C a => Information a |
|
| byte :: C a => Information a |
|
| inch :: C a => Length a |
|
| foot :: C a => Length a |
|
| yard :: C a => Length a |
|
| astronomicUnit :: C a => Length a |
|
| parsec :: C a => Length a |
|
| yocto :: C a => a |
|
| zepto :: C a => a |
|
| atto :: C a => a |
|
| femto :: C a => a |
|
| pico :: C a => a |
|
| nano :: C a => a |
|
| micro :: C a => a |
|
| milli :: C a => a |
|
| centi :: C a => a |
|
| deci :: C a => a |
|
| one :: C a => a |
|
| deca :: C a => a |
|
| hecto :: C a => a |
|
| kilo :: C a => a |
|
| mega :: C a => a |
|
| giga :: C a => a |
|
| tera :: C a => a |
|
| peta :: C a => a |
|
| exa :: C a => a |
|
| zetta :: C a => a |
|
| yotta :: C a => a |
|
| Produced by Haddock version 0.7 |