Thanks for the predicates.

What does the integer numbers within
In: [[2015 6 31] 1 :chinups 1 0]
after the keywords and also the integers within
at: [1 1 :duration]
correspond to? It appears, you designate an index/id to each key of a map 
for "In:" but I have no idea how to line up "At:".

On Monday, June 27, 2016 at 9:26:26 PM UTC-4, Alex Miller wrote:
>
> There have been a lot of changes in map-of and coll-of for the next alpha, 
> in particular map-of and coll-of now conform all elements, which changes 
> what has been surprising behavior to many people both during conforming and 
> explain due to sampling (which has moved to the new every and every-kv). 
>
> The current error message in master that you'll see for this example is:
>
> In: [[2015 6 31] 1 :chinups 1 0] val: #user.rep_scheme{:weight 0, 
> :repetitions 13} fails spec: :user/workout at: [1 1 :duration] predicate: 
> [(contains? % :hours) (contains? % :minutes) (contains? % :seconds)]
> In: [[2015 6 31] 1 :chinups 1 1] val: #user.rep_scheme{:weight :x, 
> :repetitions 13} fails spec: :user/workout at: [1 1 :duration] predicate: 
> [(contains? % :hours) (contains? % :minutes) (contains? % :seconds)]
> In: [[2015 6 31] 1 :chinups 1 1 :weight] val: :x fails spec: :user/weight 
> at: [1 1 :rep_scheme :weight] predicate: number?
>
> Also, I made a few notes on better predicates you could use below inline.
>
>

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to