Idris2Doc : JS.Number

JS.Number

(source)
Definitions
data JSInt64 : Type
  A 64-bit signed integer in the range [-9223372036854775808,9223372036854775807]
  
  This corresponds to the `Long Long` WebIDL type.
  Internally, the number is represented by a
  Javascript `Number`.
  Note, that arithmetic operations on this type might result
  in rounding errors, since values might be outside the range
  of safe integral arithmetics (up to 2^53). Use this type only for
  interacting with external API requiring values of this type.

  Totality: total
  Visibility: export
  Hints:
  
Eq JSInt64
  
FromFFI JSInt64 JSInt64
  
Integral JSInt64
  
Neg JSInt64
  
Num JSInt64
  
Ord JSInt64
  
SafeCast JSInt64
  
Show JSInt64
  
ToFFI JSInt64 JSInt64
fromJSInt64 : JSInt64 -> Double
  Totality: total
  Visibility: export
data JSBits64 : Type
  A 64-bit unsigned integer in the range [0,18446744073709551615].
  
  This corresponds to the `Unsigned Long Long` WebIDL type.
  Internally, the number is represented by a Javascript `Number`.
  Note, that this type is therefore susceptible to
  rounding errors, since values might be outside the range
  of safe integral arithmetics (up to 2^53). Use this type only for
  interacting with external API requiring values of this type.

  Totality: total
  Visibility: export
  Hints:
  
Eq JSBits64
  
FromFFI JSBits64 JSBits64
  
Integral JSBits64
  
Num JSBits64
  
Ord JSBits64
  
SafeCast JSBits64
  
Show JSBits64
  
ToFFI JSBits64 JSBits64
fromUInt64 : JSBits64 -> Double
  Totality: total
  Visibility: export