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

app-type-error clj

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

domain-subtype? clj

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

plainapp-type-error clj

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

polyapp-type-error clj

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

trim-arities clj

(trim-arities arities arg-ret-types)