úÎ!;b8"      !Safe"#$%&'()Safe-.HUV› *+,-./012345Safe .>HUVXk~  simple-unitsA string representation of Units. Useful for debugging.6789:  None -.4HMXkˆ  simple-units’A numerical quantity with some associated unit. Units are not created directly with this constructor, but through the individual unit functions. Examples:1meter -- a unitary quantity associated to meters.1 m52.5*ampere -- constructing through literal arithmetic2.5 A;candela' 3.14 -- constructing through the unit constructors3.14 cd:set -XDataKinds+2 :: Quantity (SingleUnit 'Second) Rational2 % 1 sDAssociated units are represented through a phantom parameter of the Units£ kind synonym. These are currently implemented as a type-level pair of lists representing the power to which each unit is raised. Units can be inspected through  showUnits.GNew constructors may be written by combining the provided ones, such as4let newton = kilogram .* meter ./ (second .* second) 23*newton 23.0 kg*m/s^2Jlet g = 6.67408e-11 * newton .* (meter .* meter) ./ (kilogram .* kilogram)g -- gravitational constant6.67408e-11 m^3/kg*s^2Ulet gravity m1 m2 r = g .* (m1 * kilogram) .* (m2 * kilogram) ./ (r*meter .* r*meter)$let earth_mass = 5.972e24 * kilogram#let mars_mass = 6.417e23 * kilogram!let earth_radius = 6371e3 * meter"let mars_radius = 3389.5e3 * meter?let weight_on_earth mass = gravity mass earth_mass earth_radius<let weight_on_mars mass = gravity mass mars_mass mars_radiusweight_on_earth (80 * kilogram)785.5719790179963 kg*m/s^2weight_on_mars (80 * kilogram)298.22370259533704 kg*m/s^2DfromQuantity $ weight_on_mars 1 / (fromQuantity $ weight_on_earth 1)0.3796261966575378  simple-units Unwraps a Quantity, losing all unit information ; None-.HUV0D  simple-unitsjSums two quantities with the same units. Summing quantities with different units results in a type error. Examples:2*meter .+ 3*meter5 m2*meter .+ 1*second<interactive>:16:1-19: error: " Unit mismatch: m and s0 " In the expression: 2 * meter .+ 1 * second; In an equation for it : it = 2 * meter .+ 1 * second simple-unitssSubtracts two quantities with the same units. Subtracting quantities with different units results in a type error. Examples:4let newton = kilogram .* meter ./ (second .* second)10*newton - 2*newton 8.0 kg*m/s^2 simple-units8Multiplies two quantities correctly merging their units. Examples:meter .* meter1 m^2let mps = meter ./ second20*mps .* 60*second1200.0 m Important: Though  Quantity a has a Num instance for convenience, it must notV be used for anything other than interacting with literals, otherwise the units will not be correct:<2*meter * 3*meter -- note that (*) was used in place of (.*)6 m/2*meter .* 3*meter -- this is the correct usage6 m^2 simple-units<Divides a quantity by another correctly merging their units. Examples:let coulomb = second .* ampere20*coulomb ./ 2*second10.0 A  5566None-.H6þ simple-units©A quantity with no associated dimension. Can be multiplied or divided by any other quantity, but can only be added to or subtracted from other adimensional quantities.2*adim + 4*adim6 <adimensional> adim .+ meter<interactive>:79:1-13: error:) " Unit mismatch: <adimensional> and m& " In the expression: adim .+ meter1 In an equation for it : it = adim .+ meter"  !"    !<      !"#$%&'()*+,-./0123456789:;<=>?@AB+simple-units-1.0.0.0-KzSqyrYBnIG9gEFmzhG5PV Units.SimplePaths_simple_unitsUnits.Simple.InternalsUnits.Simple.UnitUnits.Simple.QuantityUnits.Simple.ArithmeticUnitReprUnitsUnitMeterKilogramSecondAmpereKelvinMoleCandela showUnitsQuantity fromQuantity.+.-.*./ SingleUnitadimmeterkilogramsecondamperekelvinmolecandelaadim'meter' kilogram'second'ampere'kelvin'mole'candela'version getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameFoldlDeleteBySort<=Show'%/<> NatToDigit Intersperse Intersperse'ApSep UnitRepr' ShowUnitListShowUnit UnitSymbolUnit'