<< Back to previous view

[LOGIC-45] add everyo (?) when we want to apply a goal to every element of a sequence. Created: 31/Jul/12  Updated: 28/Jul/13  Resolved: 15/Dec/12

Status: Closed
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Enhancement Priority: Major
Reporter: David Nolen Assignee: David Nolen
Resolution: Completed Votes: 0
Labels: None


 Description   

It's a common pattern to do the following

(defn everyo [g xs]
  (if (seq xs)
    (all
      (g (first xs))
      (everyo g (next xs)))
    succeed))

We should add this to the standard library.



 Comments   
Comment by David Nolen [ 15/Dec/12 7:21 PM ]

We have everyg now - the naming and behavior should probably go through some more consideration.

Generated at Thu Jul 31 02:33:01 CDT 2014 using JIRA 4.4#649-r158309.