spec demo

spec.clj

(ns runtime-infer-demo.server-port
  {:lang :core.typed
   :core.typed {:features #{:runtime-infer}}}
  (:require [clojure.core.typed :as t]
            [clojure.spec :as s]))

(deftest configure-server-port-test
  (is
    (= (->
         (configure-server-port
           {:client {:port 5566
                     :hostname "client"
                     :password "mysecret"}
            :server {:hostname "server"
                     :password "theadmin"
                     :port 6666}}
           7646)
         (get-in [:server :port]))
       7646)))

;; Start: Generated by clojure.core.typed - DO NOT EDIT
(s/def :keys102493/password string?)
(s/def :keys102493/hostname string?)
(s/def :keys102493/port int?)
(s/def
  ::alias__102469
  (s/keys
    :req-un
    [:keys102493/password :keys102493/hostname :keys102493/port]))
(s/def
  ::alias__102476
  (s/keys :req-un [::alias__102469 ::alias__102469]))
(s/fdef
  configure-server-port
  :args
  (s/cat :alias__102476-0 ::alias__102476 :p int?)
  :ret
  ::alias__102476)
;; End: Generated by clojure.core.typed - DO NOT EDIT

(defn configure-server-port [{:keys [server] :as c} p]
  (assoc c :server (assoc server :port p)))