Skip to content

Commit 2833656

Browse files
committed
Updates for 0.7
1 parent 7eb6d33 commit 2833656

File tree

13 files changed

+86
-431
lines changed

13 files changed

+86
-431
lines changed

bower.json

Lines changed: 10 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,22 +3,29 @@
33
"homepage": "https://github.com/purescript/purescript-foldable-traversable",
44
"description": "Classes for foldable and traversable data structures",
55
"keywords": [
6-
"purescript"
6+
"purescript",
7+
"foldable",
8+
"traversable"
79
],
810
"license": "MIT",
11+
"repository": {
12+
"type": "git",
13+
"url": "git://github.com/purescript/purescript-foldable-traversable.git"
14+
},
915
"ignore": [
1016
"**/.*",
1117
"bower_components",
1218
"examples",
1319
"node_modules",
1420
"output",
21+
"test",
1522
"bower.json",
1623
"gulpfile.js",
1724
"package.json"
1825
],
1926
"dependencies": {
20-
"purescript-either": "~0.2.0",
21-
"purescript-tuples": "~0.4.0"
27+
"purescript-bifunctors": "~0.4.0",
28+
"purescript-maybe": "~0.3.0"
2229
},
2330
"devDependencies": {
2431
"purescript-console": "~0.1.0"

docs/Data.Bifoldable.md

Lines changed: 0 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
# Module Documentation
2-
31
## Module Data.Bifoldable
42

53
#### `Bifoldable`
@@ -19,20 +17,6 @@ argument. Type class instances should choose the appropriate step function based
1917
on the type of the element encountered at each point of the fold.
2018

2119

22-
#### `bifoldableTuple`
23-
24-
``` purescript
25-
instance bifoldableTuple :: Bifoldable Tuple
26-
```
27-
28-
29-
#### `bifoldableEither`
30-
31-
``` purescript
32-
instance bifoldableEither :: Bifoldable Either
33-
```
34-
35-
3620
#### `bifold`
3721

3822
``` purescript
@@ -82,4 +66,3 @@ biall :: forall t a b c. (Bifoldable t, BoundedLattice c) => (a -> c) -> (b -> c
8266
```
8367

8468

85-

docs/Data.Bitraversable.md

Lines changed: 0 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
# Module Documentation
2-
31
## Module Data.Bitraversable
42

53
#### `Bitraversable`
@@ -18,20 +16,6 @@ argument. Type class instances should choose the appropriate function based
1816
on the type of the element encountered at each point of the traversal.
1917

2018

21-
#### `bitraversableTuple`
22-
23-
``` purescript
24-
instance bitraversableTuple :: Bitraversable Tuple
25-
```
26-
27-
28-
#### `bitraversableEither`
29-
30-
``` purescript
31-
instance bitraversableEither :: Bitraversable Either
32-
```
33-
34-
3519
#### `bifor`
3620

3721
``` purescript
@@ -41,4 +25,3 @@ bifor :: forall t f a b c d. (Bitraversable t, Applicative f) => t a b -> (a ->
4125
Traverse a data structure, accumulating effects and results using an `Applicative` functor.
4226

4327

44-

docs/Data.Foldable.md

Lines changed: 6 additions & 82 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
# Module Documentation
2-
31
## Module Data.Foldable
42

53
#### `Foldable`
@@ -11,88 +9,23 @@ class Foldable f where
119
foldMap :: forall a m. (Monoid m) => (a -> m) -> f a -> m
1210
```
1311

14-
`Foldable` represents data structures which can be _folded_.
15-
16-
- `foldr` folds a structure from the right
17-
- `foldl` folds a structure from the left
18-
- `foldMap` folds a structure by accumulating values in a `Monoid`
19-
20-
#### `foldableArray`
21-
22-
``` purescript
23-
instance foldableArray :: Foldable Prim.Array
24-
```
25-
26-
27-
#### `foldableEither`
28-
29-
``` purescript
30-
instance foldableEither :: Foldable (Either a)
31-
```
32-
33-
34-
#### `foldableMaybe`
35-
12+
##### Instances
3613
``` purescript
3714
instance foldableMaybe :: Foldable Maybe
38-
```
39-
40-
41-
#### `foldableFirst`
42-
43-
``` purescript
4415
instance foldableFirst :: Foldable First
45-
```
46-
47-
48-
#### `foldableLast`
49-
50-
``` purescript
5116
instance foldableLast :: Foldable Last
52-
```
53-
54-
55-
#### `foldableAdditive`
56-
57-
``` purescript
5817
instance foldableAdditive :: Foldable Additive
59-
```
60-
61-
62-
#### `foldableDual`
63-
64-
``` purescript
6518
instance foldableDual :: Foldable Dual
66-
```
67-
68-
69-
#### `foldableInf`
70-
71-
``` purescript
7219
instance foldableInf :: Foldable Inf
73-
```
74-
75-
76-
#### `foldableMultiplicative`
77-
78-
``` purescript
7920
instance foldableMultiplicative :: Foldable Multiplicative
80-
```
81-
82-
83-
#### `foldableTuple`
84-
85-
``` purescript
86-
instance foldableTuple :: Foldable (Tuple a)
87-
```
88-
89-
90-
#### `foldableSup`
91-
92-
``` purescript
9321
instance foldableSup :: Foldable Sup
9422
```
9523

24+
`Foldable` represents data structures which can be _folded_.
25+
26+
- `foldr` folds a structure from the right
27+
- `foldl` folds a structure from the left
28+
- `foldMap` folds a structure by accumulating values in a `Monoid`
9629

9730
#### `fold`
9831

@@ -241,13 +174,4 @@ find :: forall a f. (Foldable f) => (a -> Boolean) -> f a -> Maybe a
241174

242175
Try to find an element in a data structure which satisfies a predicate.
243176

244-
#### `lookup`
245-
246-
``` purescript
247-
lookup :: forall a b f. (Foldable f, Eq a) => a -> f (Tuple a b) -> Maybe b
248-
```
249-
250-
Lookup a value in a data structure of `Tuple`s, generalizing association lists.
251-
252-
253177

0 commit comments

Comments
 (0)