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

bad-filter-delayed-error clj

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

check-below clj

(check-below tr1 expected opts)

filter-better? clj

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

maybe-check-below clj

(maybe-check-below tr1 expected opts)

simple-filter-better? clj

(simple-filter-better? f1 f2 opts)