mybuddymichael / core.clj secret

Last active October 03, 2013

(ns core-typed-tests.core
  (:require [clojure.core.typed :as t]
            [clojure.core.typed.async :as ta]
            [clojure.core.async :as a]))

(t/typed-deps clojure.core.typed.async)

(t/ann foo [-> nil])
(defn foo []
  (a/alts!! [(a/chan) (a/chan)] :priority true)
  nil)

(comment
  "the annotation for alts!!, according to cf"
  (All [x d]
       (Fn
         [(t/Seqable (U (ta/Port x) [(ta/Port x) x]))
          (t/Seqable (ta/Port x))
          & {:priority (U true nil)} :mandatory {:default d}
          -> (U [x (ta/Port x)] [d (Value :default)])]
         [(t/Seqable (U (ta/Port x) [(ta/Port x) x]))
          & {:priority (U true nil)}
          -> [x (ta/Port x)]]))
  )