Skip to content

Commit

Permalink
Docs: fix error in List.partition description (#517)
Browse files Browse the repository at this point in the history
* Docs: fix error in List.partition description

* Update docs/sophia_stdlib.md

Co-authored-by: Gaith Hallak <[email protected]>

---------

Co-authored-by: Gaith Hallak <[email protected]>
  • Loading branch information
hanssv and ghallak authored Nov 29, 2024
1 parent b892a9f commit a1955f9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/sophia_stdlib.md
Original file line number Diff line number Diff line change
Expand Up @@ -1921,7 +1921,7 @@ Removes longest prefix from `l` in which all elements fulfill `p`.
List.partition(p : 'a => bool, l : list('a)) : (list('a) * list('a))
```

Separates elements of `l` that fulfill `p` and these that do not. Elements fulfilling predicate will be in the right list. For instance
Separates elements of `l` that fulfill `p` and these that do not. Elements fulfilling the predicate will be in the first element of the returned tuple. For instance
```
partition((x) => x > 0, [-1, 1, -2, 0, 1, 2, -3])
```
Expand Down

0 comments on commit a1955f9

Please sign in to comment.