Index
| centimeters | Data.Distance |
| Distance | Data.Distance |
| kilometers | Data.Distance |
| meters | Data.Distance |
| millimeters | Data.Distance |
| toCentimeters | Data.Distance |
| toKilometers | Data.Distance |
| toMeters | Data.Distance |
| toMillimeters | Data.Distance |
distance-0.1.0.0: Useful distance datatype and functions
Index
| centimeters | Data.Distance |
| Distance | Data.Distance |
| kilometers | Data.Distance |
| meters | Data.Distance |
| millimeters | Data.Distance |
| toCentimeters | Data.Distance |
| toKilometers | Data.Distance |
| toMeters | Data.Distance |
| toMillimeters | Data.Distance |