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

app-type-error clj

(app-type-error fexpr args fin arg-ret-types expected poly? opts)

domain-subtype? clj

(domain-subtype? l r arg-ret-types opts)

plainapp-type-error clj

(plainapp-type-error fexpr args fexpr-type arg-ret-types expected opts)

polyapp-type-error clj

(polyapp-type-error fexpr args fexpr-type arg-ret-types expected opts)

trim-arities clj

(trim-arities arities arg-ret-types opts)