Commit efcd6a4
committed
Move mutable buffer functions into a typeclass.
There are two instances of the typeclass supplied: one for Effect +
EffectBuffer and one for ST + STBuffer.
This makes it possible to write code that mutates buffers that can
run in either Effect or ST.
The functional dependencies on MutableBuffer go in both directions so
that the type-checker only needs to know _either_ the type of the buffer
or the type of the effect: this should make it easier to write generic
code without type assertions, but it does mean that both typeclass
instances must go in the same module (Node.Buffer.Mutable) in order to
avoid orphaned instances.1 parent a4a7797 commit efcd6a4
File tree
14 files changed
+512
-717
lines changed- src/Node/Buffer
- Effect
- Mutable
- ST
- test/Test
- Node/Buffer
- Mutable
14 files changed
+512
-717
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
22 | 22 | | |
23 | 23 | | |
24 | 24 | | |
25 | | - | |
| 25 | + | |
| 26 | + | |
26 | 27 | | |
27 | 28 | | |
This file was deleted.
This file was deleted.
Lines changed: 6 additions & 6 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
5 | | - | |
| 5 | + | |
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | | - | |
| 11 | + | |
12 | 12 | | |
13 | 13 | | |
14 | 14 | | |
| |||
21 | 21 | | |
22 | 22 | | |
23 | 23 | | |
24 | | - | |
| 24 | + | |
25 | 25 | | |
26 | 26 | | |
27 | 27 | | |
| |||
35 | 35 | | |
36 | 36 | | |
37 | 37 | | |
38 | | - | |
| 38 | + | |
39 | 39 | | |
40 | 40 | | |
41 | 41 | | |
| |||
46 | 46 | | |
47 | 47 | | |
48 | 48 | | |
49 | | - | |
| 49 | + | |
50 | 50 | | |
51 | 51 | | |
52 | 52 | | |
| |||
60 | 60 | | |
61 | 61 | | |
62 | 62 | | |
63 | | - | |
| 63 | + | |
64 | 64 | | |
65 | 65 | | |
66 | 66 | | |
| |||
0 commit comments