1{"comments":"Functions for working with PureScripts builtin `Number` type.\n","declarations":[{"children":[],"comments":"Attempt to parse a `Number` using JavaScripts `parseFloat`. Returns\n`Nothing` if the parse fails or if the result is not a finite number.\n\nExample:\n```purs\n> fromString \"123\"\n(Just 123.0)\n\n> fromString \"12.34\"\n(Just 12.34)\n\n> fromString \"1e4\"\n(Just 10000.0)\n\n> fromString \"1.2e4\"\n(Just 12000.0)\n\n> fromString \"bad\"\nNothing\n```\n\nNote that `parseFloat` allows for trailing non-digit characters and\nwhitespace as a prefix:\n```\n> fromString \" 1.2 ??\"\n(Just 1.2)\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"String"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[{"annotation":[],"contents":[["Data","Maybe"],"Maybe"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[112,37],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[112,1]},"title":"fromString"},{"children":[],"comments":"Not a number (NaN).\n```purs\n> nan\nNaN\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}},"kind":null,"sourceSpan":{"end":[47,29],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[47,1]},"title":"nan"},{"children":[],"comments":"Test whether a number is NaN.\n```purs\n> isNaN 0.0\nfalse\n\n> isNaN nan\ntrue\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Boolean"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[57,42],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[57,1]},"title":"isNaN"},{"children":[],"comments":"Positive infinity. For negative infinity use `(-infinity)`\n```purs\n> infinity\nInfinity\n\n> (-infinity)\n- Infinity\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}},"kind":null,"sourceSpan":{"end":[67,34],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[67,1]},"title":"infinity"},{"children":[],"comments":"Test whether a number is finite.\n```purs\n> isFinite 0.0\ntrue\n\n> isFinite infinity\nfalse\n\n> isFinite (-infinity)\nfalse\n\n> isFinite nan\nfalse\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Boolean"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[83,45],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[83,1]},"title":"isFinite"},{"children":[],"comments":"Returns the absolute value of the argument.\n```purs\n> x = -42.0\n> sign x * abs x == x\ntrue\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[123,39],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[123,1]},"title":"abs"},{"children":[],"comments":"Returns the inverse cosine in radians of the argument.\n```purs\n> acos 0.0 == pi / 2.0\ntrue\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[130,40],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[130,1]},"title":"acos"},{"children":[],"comments":"Returns the inverse sine in radians of the argument.\n```purs\n> asin 1.0 == pi / 2.0\ntrue\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[137,40],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[137,1]},"title":"asin"},{"children":[],"comments":"Returns the inverse tangent in radians of the argument.\n```purs\n> atan 1.0 == pi / 4.0\ntrue\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[144,40],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[144,1]},"title":"atan"},{"children":[],"comments":"Four-quadrant tangent inverse. Given the arguments `y` and `x`, returns\nthe inverse tangent of `y / x`, where the signs of both arguments are used\nto determine the sign of the result.\nIf the first argument is negative, the result will be negative.\nThe result is the angle between the positive x axis and a point `(x, y)`.\n```purs\n> atan2 0.0 1.0\n0.0\n> atan2 1.0 0.0 == pi / 2.0\ntrue\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[157,51],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[157,1]},"title":"atan2"},{"children":[],"comments":"Returns the smallest integer not smaller than the argument.\n```purs\n> ceil 1.5\n2.0\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[164,40],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[164,1]},"title":"ceil"},{"children":[],"comments":"Returns the cosine of the argument, where the argument is in radians.\n```purs\n> cos (pi / 4.0) == sqrt2 / 2.0\ntrue\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[171,39],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[171,1]},"title":"cos"},{"children":[],"comments":"Returns `e` exponentiated to the power of the argument.\n```purs\n> exp 1.0\n2.718281828459045\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[178,39],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[178,1]},"title":"exp"},{"children":[],"comments":"Returns the largest integer not larger than the argument.\n```purs\n> floor 1.5\n1.0\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[185,41],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[185,1]},"title":"floor"},{"children":[],"comments":"Returns the natural logarithm of a number.\n```purs\n> log e\n1.0\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[191,39],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[191,1]},"title":"log"},{"children":[],"comments":"Returns the largest of two numbers. Unlike `max` in Data.Ord this version\nreturns NaN if either argument is NaN.\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[195,49],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[195,1]},"title":"max"},{"children":[],"comments":"Returns the smallest of two numbers. Unlike `min` in Data.Ord this version\nreturns NaN if either argument is NaN.\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[199,49],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[199,1]},"title":"min"},{"children":[],"comments":"Return the first argument exponentiated to the power of the second argument.\n```purs\n> pow 3.0 2.0\n9.0\n> sqrt 42.0 == pow 42.0 0.5\ntrue\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[209,49],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[209,1]},"title":"pow"},{"children":[],"comments":"Computes the remainder after division. This is the same as JavaScript's `%` operator.\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[216,55],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[216,1]},"title":"remainder"},{"children":[],"comments":null,"info":{"alias":[["Data","Number"],{"Right":{"Left":{"Ident":"remainder"}}}],"declType":"alias","fixity":{"associativity":"infixl","precedence":7}},"kind":null,"sourceSpan":{"end":[218,24],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[218,1]},"title":"(%)"},{"children":[],"comments":"Returns the integer closest to the argument.\n```purs\n> round 1.5\n2.0\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[225,41],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[225,1]},"title":"round"},{"children":[],"comments":"Returns either a positive or negative +/- 1, indicating the sign of the\nargument. If the argument is 0, it will return a +/- 0. If the argument is\nNaN it will return NaN.\n```purs\n> x = -42.0\n> sign x * abs x == x\ntrue\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[235,40],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[235,1]},"title":"sign"},{"children":[],"comments":"Returns the sine of the argument, where the argument is in radians.\n```purs\n> sin (pi / 2.0)\n1.0\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[242,39],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[242,1]},"title":"sin"},{"children":[],"comments":"Returns the square root of the argument.\n```purs\n> sqrt 49.0\n7.0\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[249,40],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[249,1]},"title":"sqrt"},{"children":[],"comments":"Returns the tangent of the argument, where the argument is in radians.\n```\n> tan (pi / 4.0)\n0.9999999999999999\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[256,39],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[256,1]},"title":"tan"},{"children":[],"comments":"Truncates the decimal portion of a number. Equivalent to `floor` if the\nnumber is positive, and `ceil` if the number is negative.\n```purs\nceil 1.5\n2.0\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[{"annotation":[],"contents":[{"annotation":[],"contents":[["Prim"],"Function"],"tag":"TypeConstructor"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"},{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}],"tag":"TypeApp"}},"kind":null,"sourceSpan":{"end":[264,41],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[264,1]},"title":"trunc"},{"children":[],"comments":"The base of the natural logarithm, also known as Euler's number or *e*.\n```purs\n> log e\n1.0\n\n> exp 1.0 == e\ntrue\n\n> e\n2.718281828459045\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}},"kind":null,"sourceSpan":{"end":[277,12],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[277,1]},"title":"e"},{"children":[],"comments":"The natural logarithm of 2.\n```purs\n> log 2.0 == ln2\ntrue\n\n> ln2\n0.6931471805599453\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}},"kind":null,"sourceSpan":{"end":[288,14],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[288,1]},"title":"ln2"},{"children":[],"comments":"The natural logarithm of 10.\n```purs\n> log 10.0 == ln10\ntrue\n\n> ln10\n2.302585092994046\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}},"kind":null,"sourceSpan":{"end":[299,15],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[299,1]},"title":"ln10"},{"children":[],"comments":"Base 10 logarithm of `e`.\n```purs\n> 1.0 / ln10 - log10e\n-5.551115123125783e-17\n\n> log10e\n0.4342944819032518\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}},"kind":null,"sourceSpan":{"end":[310,17],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[310,1]},"title":"log10e"},{"children":[],"comments":"The base 2 logarithm of `e`.\n```purs\n> 1.0 / ln2 == log2e\ntrue\n\n> log2e\n1.4426950408889634\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}},"kind":null,"sourceSpan":{"end":[321,16],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[321,1]},"title":"log2e"},{"children":[],"comments":"The ratio of the circumference of a circle to its diameter.\n```purs\n> pi\n3.141592653589793\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}},"kind":null,"sourceSpan":{"end":[329,13],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[329,1]},"title":"pi"},{"children":[],"comments":"The square root of one half.\n```purs\n> sqrt 0.5 == sqrt1_2\ntrue\n\n> sqrt1_2\n0.7071067811865476\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}},"kind":null,"sourceSpan":{"end":[340,18],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[340,1]},"title":"sqrt1_2"},{"children":[],"comments":"The square root of two.\n```purs\n> sqrt 2.0 == sqrt2\ntrue\n\n> sqrt2\n1.4142135623730951\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}},"kind":null,"sourceSpan":{"end":[351,16],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[351,1]},"title":"sqrt2"},{"children":[],"comments":"The ratio of the circumference of a circle to its radius.\n```purs\n> 2.0 * pi == tau\ntrue\n\n> tau\n6.283185307179586\n```\n","info":{"declType":"value","type":{"annotation":[],"contents":[["Prim"],"Number"],"tag":"TypeConstructor"}},"kind":null,"sourceSpan":{"end":[362,14],"name":".spago/p/numbers-9.0.1/src/Data/Number.purs","start":[362,1]},"title":"tau"}],"name":"Data.Number","reExports":[]}
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list