search

KitApps / schema-refined

Clojure library to keep you away from bugs with precise schemas (refined types with runtime checks)
MIT License
67 stars 2 forks source link

Consider predicates rerooting for RefinedSchema #1

Open kachayev opened 6 years ago

kachayev commented 6 years ago

The basic idea here is to update refined in a way, that

T1 = {v: T | P1(v)}
T2 = {v: T1 | P2(v)}

equals to

T2 = {v: T | P1(v) and P2(v)}