Derive and declare effective types for schemas

[ikitommi]

We should be able to both declare and derive/infer effective types for wrapper schemas like :and, :multi and :enum.

forked from #246. Replaces #39.

This is clearly also a :map

[:multi {:dispatch :type}
 [:sized [:map 
          [:type [:= :sized]] 
          [:size int?]]]
 [:human [:map 
          [:type [:= :human]] 
          [:name string?] 
          [:address [:map [:country keyword?]]]]]]

this is an :int

[:fn {:type :int} '(fn [x] (< 10 x 100))]

and this is a :keyword

[:enum :kikka :kakka :kukka]

this too

[:and keyword? keyword?]

and this

[:or keyword? [:fn {:type :keyword} '(fn [x] (keyword? x)]]

[ikitommi]

working on this.

[dmcgillen]

Hi. Just wondering, in #782 (which is closed and refers to this issue) support was added for:

(m/decode [:enum :A :B :C] "A" (mt/string-transformer)) ;; => :A

Is this "full solution" going to include support for going the other way? i.e.:

(m/encode [:enum :A :B :C] :A (mt/string-transformer)) ;; => "A"

or should I open a separate issue (or is there a reason it perhaps isn't going to be done)?

Cheers