This project demonstrates how Typed Clojure can automatically convert Malli schemas to use for type checking.

The example namespace typed-example.malli-type-providers uses malli.core/=> to register a normal malli schema and then Typed Clojure uses it as an expected type to both check and infer a var.

(m/=> foo [:=> [:cat :int] :int])
(defn foo [t] (inc t))
(foo 1)

The namespace typed-example.malli-extensible shows how Typed Clojure can be taught about new schemas.

The namespace typed-example.malli-global-registry shows how to use Malli's global registry with Typed Clojure.

See deps.edn for required dependencies.

clj -A:dev
user=> (require '[typed.clojure :as t])
;; even though there are no explicit Typed Clojure annotations
;; the namespace still type checks by converting Malli schemas to Typed Clojure types.
user=> (t/check-ns-clj 'typed-example.malli-type-providers)
user=> (t/check-ns-clj 'typed-example.malli-extensible)