CLJS-1710: spec/double-in not implemented

add float?, double?, infinite? predicates

add double-in spec

:exclude float from cljs.pprint ns

Author: dnolen

src/main/cljs/cljs/core.cljs

@@ -2185,6 +2185,22 @@ reduces them without incurring seq initialization"
 
     :else false))
 
+(defn ^boolean float?
+  "Returns true for JavaScript numbers, false otherwise."
+  [x]
+  (number? x))
+
+(defn ^boolean double?
+  "Returns true for JavaScript numbers, false otherwise."
+  [x]
+  (number? x))
+
+(defn ^boolean infinite?
+  "Returns true for Infinity and -Infinity values."
+  [x]
+  (or (identical? x js/Number.POSITIVE_INFINITY)
+      (identical? x js/Number.NEGATIVE_INFINITY)))
+
 (defn ^boolean contains?
   "Returns true if key is present in the given collection, otherwise
   returns false.  Note that for numerically indexed collections like

src/main/cljs/cljs/pprint.cljs

@@ -7,7 +7,7 @@
 ;   You must not remove this notice, or any other, from this software.
 
 (ns cljs.pprint
-  (:refer-clojure :exclude [deftype print println pr prn])
+  (:refer-clojure :exclude [deftype print println pr prn float?])
   (:require-macros
     [cljs.pprint :as m :refer [with-pretty-writer getf setf deftype
                                pprint-logical-block print-length-loop

src/main/cljs/cljs/spec.cljc

@@ -443,6 +443,23 @@
   `(spec (and c/int? #(int-in-range? ~start ~end %))
      :gen #(gen/large-integer* {:min ~start :max (dec ~end)})))
 
+(defmacro double-in
+  "Specs a 64-bit floating point number. Options:
+
+    :infinite? - whether +/- infinity allowed (default true)
+    :NaN?      - whether NaN allowed (default true)
+    :min       - minimum value (inclusive, default none)
+    :max       - maximum value (inclusive, default none)"
+  [& {:keys [infinite? NaN? min max]
+      :or {infinite? true NaN? true}
+      :as m}]
+  `(spec (and c/double?
+           ~@(when-not infinite? '[#(not (infinite? %))])
+           ~@(when-not NaN? '[#(not (js/isNaN %))])
+           ~@(when max `[#(<= % ~max)])
+           ~@(when min `[#(<= ~min %)]))
+     :gen #(gen/double* ~m)))
+
 (defmacro merge
   "Takes map-validating specs (e.g. 'keys' specs) and
   returns a spec that returns a conformed map satisfying all of the

src/main/cljs/cljs/spec/impl/gen.cljs

@@ -94,7 +94,8 @@ gen-builtins
        pos-int? (large-integer* {:min 1})
        neg-int? (large-integer* {:max -1})
        nat-int? (large-integer* {:min 0})
-       ;float? (double)
+       float? (double)
+       double? (double)
        string? (string-alphanumeric)
        ident? (one-of [(keyword-ns) (symbol-ns)])
        simple-ident? (one-of [(keyword) (symbol)])