typed.cljc.checker.check-below — org.typedclojure/typed.clj.checker 1.1.0

bad-filter-delayed-error clj

(bad-filter-delayed-error {f1 :fl :as actual} {f2 :fl :as expected})

check-below clj

(check-below tr1 expected)

filter-better? clj

(filter-better? {f1+ :then f1- :else :as f1} {f2+ :then f2- :else :as f2})

maybe-check-below clj

(maybe-check-below tr1 expected)

simple-filter-better? clj

(simple-filter-better? f1 f2)

subtype? clj

(subtype? t1 t2)