core.logic

add everyo (?) when we want to apply a goal to every element of a sequence.

Details

  • Type: Enhancement Enhancement
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • 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.

Activity

David Nolen made changes -
Field Original Value New Value
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.
It's a common pattern to do the following

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

We should add this to the standard library.
Hide
David Nolen added a comment -

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

Show
David Nolen added a comment - We have everyg now - the naming and behavior should probably go through some more consideration.
David Nolen made changes -
Resolution Completed [ 1 ]
Status Open [ 1 ] Resolved [ 5 ]
David Nolen made changes -
Status Resolved [ 5 ] Closed [ 6 ]

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: