!Dz>L      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKSafe&LMNOPQRSSafe-.HUV TUVWXYZ[\]^_Safe .>HUVXk  simple-unitsA string representation of . Useful for debugging.`abcd  None -.4HMXky  simple-unitsA numerical quantity with some associated unit. Units are not created directly with this constructor, but through the individual unit functions. Examples:import Units.Simple1meter -- 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  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  .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 * kilo gram$let mars_mass = 6.417e23 * kilo gram$let earth_radius = 6371 * kilo meter%let mars_radius = 3389.5 * kilo meter?let weight_on_earth mass = gravity mass earth_mass earth_radius<let weight_on_mars mass = gravity mass mars_mass mars_radius weight_on_earth (80 * kilo gram)785.5719790179963 kg*m/s^2weight_on_mars (80 * kilo gram)298.22370259533704 kg*m/s^2$weight_on_mars 1 / weight_on_earth 1!0.3796261966575378 <adimensional>  simple-units Unwraps a  , losing all unit information e None-.HUV3  simple-unitsjSums two quantities with the same units. Summing quantities with different units results in a type error. Examples:import Units.Simple 2 * kilo meter .+ 3 * kilo meter5000 m2*meter .+ 1*second<interactive>... 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:import Units.Simple4let newton = kilogram .* meter ./ (second .* second)10*newton - 2*newton 8.0 kg*m/s^2 simple-units8Multiplies two quantities correctly merging their units. Examples:import Units.Simplemeter .* 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:import Units.Simplelet coulomb = second .* ampere20*coulomb ./ 2*second10.0 A  5566None-.H adim .+ meter<interactive>... error:) " Unit mismatch: <adimensional> and m& " In the expression: adim .+ meter1 In an equation for it : it = adim .+ meter simple-unitsBA constructor for 1/1000th of a kilogram, to use with SI prefixes. simple-unitsBA constructor for 1/1000th of a kilogram, to use with SI prefixes.L  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKL    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKf      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkl)simple-units-1.0.2-4LQDlxOFt0bD9D0huUb6CJ Units.SimplePaths_simple_unitsUnits.Simple.InternalsUnits.Simple.UnitUnits.Simple.QuantityUnits.Simple.ArithmeticUnitReprUnitsUnitMeterKilogramSecondAmpereKelvinMoleCandela showUnitsQuantity fromQuantity.+.-.*./ SingleUnitadimmeterkilogramgramsecondamperekelvinmolecandelaadim'meter' kilogram'gram'second'ampere'kelvin'mole'candela'yoctoyocto'zeptozepto'attoatto'femtofemto'picopico'nanonano'micromicro'millimilli'centicenti'decideci'dekadeka'hectohecto'kilokilo'megamega'gigagiga'teratera'petapeta'exaexa'zettazetta'yottayotta'version getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameFoldlDeleteBySort<=Show'%/<> NatToDigit Intersperse Intersperse'ApSep UnitRepr' ShowUnitListShowUnit UnitSymbolUnit'