effect 2.0.0-next.11 → 2.0.0-next.13
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/collection.d.ts +145 -0
- package/collection.d.ts.map +1 -0
- package/collection.js +37 -0
- package/collection.js.map +1 -0
- package/{Differ.d.ts → data/Differ.d.ts} +0 -0
- package/data/Differ.d.ts.map +1 -0
- package/{Differ.js → data/Differ.js} +0 -0
- package/{Differ.js.map → data/Differ.js.map} +1 -1
- package/data.d.ts +95 -0
- package/data.d.ts.map +1 -0
- package/data.js +27 -0
- package/data.js.map +1 -0
- package/{Debug.d.ts → debug.d.ts} +1 -1
- package/{Debug.d.ts.map → debug.d.ts.map} +1 -1
- package/{Debug.js → debug.js} +1 -1
- package/debug.js.map +1 -0
- package/{Fiber.d.ts → index/Fiber.d.ts} +0 -0
- package/index/Fiber.d.ts.map +1 -0
- package/{Fiber.js → index/Fiber.js} +0 -0
- package/{Fiber.js.map → index/Fiber.js.map} +1 -1
- package/{FiberRefs.d.ts → index/FiberRefs.d.ts} +0 -0
- package/index/FiberRefs.d.ts.map +1 -0
- package/{FiberRefs.js → index/FiberRefs.js} +0 -0
- package/{FiberRefs.js.map → index/FiberRefs.js.map} +1 -1
- package/{Logger.d.ts → index/Logger.d.ts} +0 -0
- package/index/Logger.d.ts.map +1 -0
- package/{Logger.js → index/Logger.js} +0 -0
- package/{Logger.js.map → index/Logger.js.map} +1 -1
- package/{Metric.d.ts → index/Metric.d.ts} +0 -0
- package/index/Metric.d.ts.map +1 -0
- package/{Metric.js → index/Metric.js} +0 -0
- package/{Metric.js.map → index/Metric.js.map} +1 -1
- package/{Optic.d.ts → index/Optic.d.ts} +0 -0
- package/index/Optic.d.ts.map +1 -0
- package/{Optic.js → index/Optic.js} +0 -0
- package/{Optic.js.map → index/Optic.js.map} +1 -1
- package/{Ref.d.ts → index/Ref.d.ts} +0 -0
- package/index/Ref.d.ts.map +1 -0
- package/{Ref.js → index/Ref.js} +0 -0
- package/{Ref.js.map → index/Ref.js.map} +1 -1
- package/{Schedule.d.ts → index/Schedule.d.ts} +0 -0
- package/index/Schedule.d.ts.map +1 -0
- package/{Schedule.js → index/Schedule.js} +0 -0
- package/{Schedule.js.map → index/Schedule.js.map} +1 -1
- package/index.d.ts +8 -577
- package/index.d.ts.map +1 -1
- package/index.js +16 -123
- package/index.js.map +1 -1
- package/mjs/collection.mjs +145 -0
- package/mjs/collection.mjs.map +1 -0
- package/mjs/{Differ.mjs → data/Differ.mjs} +0 -0
- package/mjs/{Differ.mjs.map → data/Differ.mjs.map} +1 -1
- package/mjs/data.mjs +95 -0
- package/mjs/data.mjs.map +1 -0
- package/mjs/{Debug.mjs → debug.mjs} +1 -1
- package/mjs/{Debug.mjs.map → debug.mjs.map} +1 -1
- package/mjs/{Fiber.mjs → index/Fiber.mjs} +0 -0
- package/mjs/{Fiber.mjs.map → index/Fiber.mjs.map} +1 -1
- package/mjs/{FiberRefs.mjs → index/FiberRefs.mjs} +0 -0
- package/mjs/{FiberRefs.mjs.map → index/FiberRefs.mjs.map} +1 -1
- package/mjs/{Logger.mjs → index/Logger.mjs} +0 -0
- package/mjs/{Logger.mjs.map → index/Logger.mjs.map} +1 -1
- package/mjs/{Metric.mjs → index/Metric.mjs} +0 -0
- package/mjs/{Metric.mjs.map → index/Metric.mjs.map} +1 -1
- package/mjs/{Optic.mjs → index/Optic.mjs} +0 -0
- package/mjs/{Optic.mjs.map → index/Optic.mjs.map} +1 -1
- package/mjs/{Ref.mjs → index/Ref.mjs} +0 -0
- package/mjs/{Ref.mjs.map → index/Ref.mjs.map} +1 -1
- package/mjs/{Schedule.mjs → index/Schedule.mjs} +0 -0
- package/mjs/{Schedule.mjs.map → index/Schedule.mjs.map} +1 -1
- package/mjs/index.mjs +8 -577
- package/mjs/index.mjs.map +1 -1
- package/mjs/{Codec.mjs → schema.mjs} +2 -4
- package/mjs/schema.mjs.map +1 -0
- package/mjs/typeclass.mjs +315 -0
- package/mjs/typeclass.mjs.map +1 -0
- package/package.json +7 -7
- package/{Codec.d.ts → schema.d.ts} +2 -4
- package/schema.d.ts.map +1 -0
- package/{Codec.js → schema.js} +1 -24
- package/schema.js.map +1 -0
- package/src/collection.ts +147 -0
- package/src/{Differ.ts → data/Differ.ts} +0 -0
- package/src/data.ts +97 -0
- package/src/{Debug.ts → debug.ts} +0 -0
- package/src/{Fiber.ts → index/Fiber.ts} +0 -0
- package/src/{FiberRefs.ts → index/FiberRefs.ts} +0 -0
- package/src/{Logger.ts → index/Logger.ts} +0 -0
- package/src/{Metric.ts → index/Metric.ts} +0 -0
- package/src/{Optic.ts → index/Optic.ts} +0 -0
- package/src/{Ref.ts → index/Ref.ts} +0 -0
- package/src/{Schedule.ts → index/Schedule.ts} +0 -0
- package/src/index.ts +8 -577
- package/src/{Codec.ts → schema.ts} +2 -4
- package/src/typeclass.ts +317 -0
- package/typeclass.d.ts +315 -0
- package/typeclass.d.ts.map +1 -0
- package/typeclass.js +71 -0
- package/typeclass.js.map +1 -0
- package/Codec.d.ts.map +0 -1
- package/Codec.js.map +0 -1
- package/Debug.js.map +0 -1
- package/Differ.d.ts.map +0 -1
- package/Fiber.d.ts.map +0 -1
- package/FiberRefs.d.ts.map +0 -1
- package/Logger.d.ts.map +0 -1
- package/Metric.d.ts.map +0 -1
- package/Optic.d.ts.map +0 -1
- package/Ref.d.ts.map +0 -1
- package/Schedule.d.ts.map +0 -1
- package/mjs/Codec.mjs.map +0 -1
|
@@ -2,13 +2,13 @@
|
|
|
2
2
|
* @since 2.0.0
|
|
3
3
|
*
|
|
4
4
|
* ```md
|
|
5
|
-
* - Docs: https://fp-ts.github.io/schema
|
|
6
|
-
* - Module: "@fp-ts/schema/Codec"
|
|
5
|
+
* - Docs: https://fp-ts.github.io/schema
|
|
7
6
|
* ```
|
|
8
7
|
*/
|
|
9
8
|
|
|
10
9
|
import * as Arbitrary from "@fp-ts/schema/Arbitrary"
|
|
11
10
|
import * as AST from "@fp-ts/schema/AST"
|
|
11
|
+
|
|
12
12
|
import * as DecodeError from "@fp-ts/schema/DecodeError"
|
|
13
13
|
import * as Decoder from "@fp-ts/schema/Decoder"
|
|
14
14
|
import * as Encoder from "@fp-ts/schema/Encoder"
|
|
@@ -17,8 +17,6 @@ import * as Pretty from "@fp-ts/schema/Pretty"
|
|
|
17
17
|
import * as Provider from "@fp-ts/schema/Provider"
|
|
18
18
|
import * as Schema from "@fp-ts/schema/Schema"
|
|
19
19
|
|
|
20
|
-
export * from "@fp-ts/schema/Codec"
|
|
21
|
-
|
|
22
20
|
export {
|
|
23
21
|
/**
|
|
24
22
|
* @since 2.0.0
|
package/src/typeclass.ts
ADDED
|
@@ -0,0 +1,317 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @since 2.0.0
|
|
3
|
+
*/
|
|
4
|
+
|
|
5
|
+
import * as Alternative from "@fp-ts/core/typeclass/Alternative"
|
|
6
|
+
import * as Applicative from "@fp-ts/core/typeclass/Applicative"
|
|
7
|
+
import * as Bicovariant from "@fp-ts/core/typeclass/Bicovariant"
|
|
8
|
+
import * as Bounded from "@fp-ts/core/typeclass/Bounded"
|
|
9
|
+
import * as Chainable from "@fp-ts/core/typeclass/Chainable"
|
|
10
|
+
import * as Contravariant from "@fp-ts/core/typeclass/Contravariant"
|
|
11
|
+
import * as Coproduct from "@fp-ts/core/typeclass/Coproduct"
|
|
12
|
+
import * as Covariant from "@fp-ts/core/typeclass/Covariant"
|
|
13
|
+
import * as FlatMap from "@fp-ts/core/typeclass/FlatMap"
|
|
14
|
+
import * as Foldable from "@fp-ts/core/typeclass/Foldable"
|
|
15
|
+
import * as Invariant from "@fp-ts/core/typeclass/Invariant"
|
|
16
|
+
import * as Monad from "@fp-ts/core/typeclass/Monad"
|
|
17
|
+
import * as Monoid from "@fp-ts/core/typeclass/Monoid"
|
|
18
|
+
import * as NonEmptyTraversable from "@fp-ts/core/typeclass/NonEmptyTraversable"
|
|
19
|
+
import * as Of from "@fp-ts/core/typeclass/Of"
|
|
20
|
+
import * as Order from "@fp-ts/core/typeclass/Order"
|
|
21
|
+
import * as Pointed from "@fp-ts/core/typeclass/Pointed"
|
|
22
|
+
import * as Product from "@fp-ts/core/typeclass/Product"
|
|
23
|
+
import * as SemiAlternative from "@fp-ts/core/typeclass/SemiAlternative"
|
|
24
|
+
import * as SemiApplicative from "@fp-ts/core/typeclass/SemiApplicative"
|
|
25
|
+
import * as SemiCoproduct from "@fp-ts/core/typeclass/SemiCoproduct"
|
|
26
|
+
import * as Semigroup from "@fp-ts/core/typeclass/Semigroup"
|
|
27
|
+
import * as SemiProduct from "@fp-ts/core/typeclass/SemiProduct"
|
|
28
|
+
import * as Traversable from "@fp-ts/core/typeclass/Traversable"
|
|
29
|
+
import * as Compactable from "@fp-ts/data/typeclass/Compactable"
|
|
30
|
+
import * as CovariantWithIndex from "@fp-ts/data/typeclass/CovariantWithIndex"
|
|
31
|
+
import * as Filterable from "@fp-ts/data/typeclass/Filterable"
|
|
32
|
+
import * as FilterableWithIndex from "@fp-ts/data/typeclass/FilterableWithIndex"
|
|
33
|
+
import * as Gen from "@fp-ts/data/typeclass/Gen"
|
|
34
|
+
import * as Seq from "@fp-ts/data/typeclass/Seq"
|
|
35
|
+
import * as TraversableFilterable from "@fp-ts/data/typeclass/TraversableFilterable"
|
|
36
|
+
|
|
37
|
+
export {
|
|
38
|
+
/**
|
|
39
|
+
* @since 2.0.0
|
|
40
|
+
*
|
|
41
|
+
* ```md
|
|
42
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Alternative.ts.html
|
|
43
|
+
* - Module: "@fp-ts/core/typeclass/Alternative"
|
|
44
|
+
* ```
|
|
45
|
+
*/
|
|
46
|
+
Alternative,
|
|
47
|
+
/**
|
|
48
|
+
* @since 2.0.0
|
|
49
|
+
*
|
|
50
|
+
* ```md
|
|
51
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Applicative.ts.html
|
|
52
|
+
* - Module: "@fp-ts/core/typeclass/Applicative"
|
|
53
|
+
* ```
|
|
54
|
+
*/
|
|
55
|
+
Applicative,
|
|
56
|
+
/**
|
|
57
|
+
* @since 2.0.0
|
|
58
|
+
*
|
|
59
|
+
* ```md
|
|
60
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Bicovariant.ts.html
|
|
61
|
+
* - Module: "@fp-ts/core/typeclass/Bicovariant"
|
|
62
|
+
* ```
|
|
63
|
+
*/
|
|
64
|
+
Bicovariant,
|
|
65
|
+
/**
|
|
66
|
+
* @since 2.0.0
|
|
67
|
+
*
|
|
68
|
+
* ```md
|
|
69
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Bounded.ts.html
|
|
70
|
+
* - Module: "@fp-ts/core/typeclass/Bounded"
|
|
71
|
+
* ```
|
|
72
|
+
*/
|
|
73
|
+
Bounded,
|
|
74
|
+
/**
|
|
75
|
+
* @since 2.0.0
|
|
76
|
+
*
|
|
77
|
+
* ```md
|
|
78
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Chainable.ts.html
|
|
79
|
+
* - Module: "@fp-ts/core/typeclass/Chainable"
|
|
80
|
+
* ```
|
|
81
|
+
*/
|
|
82
|
+
Chainable,
|
|
83
|
+
/**
|
|
84
|
+
* @since 2.0.0
|
|
85
|
+
*
|
|
86
|
+
* ```md
|
|
87
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Compactable.ts.html
|
|
88
|
+
* - Module: "@fp-ts/core/typeclass/Compactable"
|
|
89
|
+
* ```
|
|
90
|
+
*/
|
|
91
|
+
Compactable,
|
|
92
|
+
/**
|
|
93
|
+
* @since 2.0.0
|
|
94
|
+
*
|
|
95
|
+
* ```md
|
|
96
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Contravatiant.ts.html
|
|
97
|
+
* - Module: "@fp-ts/core/typeclass/Contravariant"
|
|
98
|
+
* ```
|
|
99
|
+
*/
|
|
100
|
+
Contravariant,
|
|
101
|
+
/**
|
|
102
|
+
* @since 2.0.0
|
|
103
|
+
*
|
|
104
|
+
* ```md
|
|
105
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Coproduct.ts.html
|
|
106
|
+
* - Module: "@fp-ts/core/typeclass/Coproduct"
|
|
107
|
+
* ```
|
|
108
|
+
*/
|
|
109
|
+
Coproduct,
|
|
110
|
+
/**
|
|
111
|
+
* @since 2.0.0
|
|
112
|
+
*
|
|
113
|
+
* ```md
|
|
114
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Covariant.ts.html
|
|
115
|
+
* - Module: "@fp-ts/core/typeclass/Covariant"
|
|
116
|
+
* ```
|
|
117
|
+
*/
|
|
118
|
+
Covariant,
|
|
119
|
+
/**
|
|
120
|
+
* @since 2.0.0
|
|
121
|
+
*
|
|
122
|
+
* ```md
|
|
123
|
+
* - Docs: https://fp-ts.github.io/data/modules/typeclass/ContravatiantWithIndex.ts.html
|
|
124
|
+
* - Module: "@fp-ts/data/typeclass/ContravariantWithIndex"
|
|
125
|
+
* ```
|
|
126
|
+
*/
|
|
127
|
+
CovariantWithIndex,
|
|
128
|
+
/**
|
|
129
|
+
* @since 2.0.0
|
|
130
|
+
*
|
|
131
|
+
* ```md
|
|
132
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Filterable.ts.html
|
|
133
|
+
* - Module: "@fp-ts/core/typeclass/Filterable"
|
|
134
|
+
* ```
|
|
135
|
+
*/
|
|
136
|
+
Filterable,
|
|
137
|
+
/**
|
|
138
|
+
* @since 2.0.0
|
|
139
|
+
*
|
|
140
|
+
* ```md
|
|
141
|
+
* - Docs: https://fp-ts.github.io/data/modules/typeclass/FilterableWithIndex.ts.html
|
|
142
|
+
* - Module: "@fp-ts/data/typeclass/FilterableWithIndex"
|
|
143
|
+
* ```
|
|
144
|
+
*/
|
|
145
|
+
FilterableWithIndex,
|
|
146
|
+
/**
|
|
147
|
+
* @since 2.0.0
|
|
148
|
+
*
|
|
149
|
+
* ```md
|
|
150
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/FlatMap.ts.html
|
|
151
|
+
* - Module: "@fp-ts/core/typeclass/FlatMap"
|
|
152
|
+
* ```
|
|
153
|
+
*/
|
|
154
|
+
FlatMap,
|
|
155
|
+
/**
|
|
156
|
+
* @since 2.0.0
|
|
157
|
+
*
|
|
158
|
+
* ```md
|
|
159
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Foldable.ts.html
|
|
160
|
+
* - Module: "@fp-ts/core/typeclass/Foldable"
|
|
161
|
+
* ```
|
|
162
|
+
*/
|
|
163
|
+
Foldable,
|
|
164
|
+
/**
|
|
165
|
+
* @since 2.0.0
|
|
166
|
+
*
|
|
167
|
+
* ```md
|
|
168
|
+
* - Docs: https://fp-ts.github.io/data/modules/typeclass/Gen.ts.html
|
|
169
|
+
* - Module: "@fp-ts/data/typeclass/Gen"
|
|
170
|
+
* ```
|
|
171
|
+
*/
|
|
172
|
+
Gen,
|
|
173
|
+
/**
|
|
174
|
+
* @since 2.0.0
|
|
175
|
+
*
|
|
176
|
+
* ```md
|
|
177
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Invariant.ts.html
|
|
178
|
+
* - Module: "@fp-ts/core/typeclass/Invariant"
|
|
179
|
+
* ```
|
|
180
|
+
*/
|
|
181
|
+
Invariant,
|
|
182
|
+
/**
|
|
183
|
+
* @since 2.0.0
|
|
184
|
+
*
|
|
185
|
+
* ```md
|
|
186
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Monad.ts.html
|
|
187
|
+
* - Module: "@fp-ts/core/typeclass/Monad"
|
|
188
|
+
* ```
|
|
189
|
+
*/
|
|
190
|
+
Monad,
|
|
191
|
+
/**
|
|
192
|
+
* @since 2.0.0
|
|
193
|
+
*
|
|
194
|
+
* ```md
|
|
195
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Monoid.ts.html
|
|
196
|
+
* - Module: "@fp-ts/core/typeclass/Monoid"
|
|
197
|
+
* ```
|
|
198
|
+
*/
|
|
199
|
+
Monoid,
|
|
200
|
+
/**
|
|
201
|
+
* @since 2.0.0
|
|
202
|
+
*
|
|
203
|
+
* ```md
|
|
204
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/NonEmptyTraversable.ts.html
|
|
205
|
+
* - Module: "@fp-ts/core/typeclass/NonEmptyTraversable"
|
|
206
|
+
* ```
|
|
207
|
+
*/
|
|
208
|
+
NonEmptyTraversable,
|
|
209
|
+
/**
|
|
210
|
+
* @since 2.0.0
|
|
211
|
+
*
|
|
212
|
+
* ```md
|
|
213
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Of.ts.html
|
|
214
|
+
* - Module: "@fp-ts/core/typeclass/Of"
|
|
215
|
+
* ```
|
|
216
|
+
*/
|
|
217
|
+
Of,
|
|
218
|
+
/**
|
|
219
|
+
* @since 2.0.0
|
|
220
|
+
*
|
|
221
|
+
* ```md
|
|
222
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Order.ts.html
|
|
223
|
+
* - Module: "@fp-ts/core/typeclass/Order"
|
|
224
|
+
* ```
|
|
225
|
+
*/
|
|
226
|
+
Order,
|
|
227
|
+
/**
|
|
228
|
+
* @since 2.0.0
|
|
229
|
+
*
|
|
230
|
+
* ```md
|
|
231
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Pointed.ts.html
|
|
232
|
+
* - Module: "@fp-ts/core/typeclass/Pointed"
|
|
233
|
+
* ```
|
|
234
|
+
*/
|
|
235
|
+
Pointed,
|
|
236
|
+
/**
|
|
237
|
+
* @since 2.0.0
|
|
238
|
+
*
|
|
239
|
+
* ```md
|
|
240
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Product.ts.html
|
|
241
|
+
* - Module: "@fp-ts/core/typeclass/Product"
|
|
242
|
+
* ```
|
|
243
|
+
*/
|
|
244
|
+
Product,
|
|
245
|
+
/**
|
|
246
|
+
* @since 2.0.0
|
|
247
|
+
*
|
|
248
|
+
* ```md
|
|
249
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/SemiAlternative.ts.html
|
|
250
|
+
* - Module: "@fp-ts/core/typeclass/SemiAlternative"
|
|
251
|
+
* ```
|
|
252
|
+
*/
|
|
253
|
+
SemiAlternative,
|
|
254
|
+
/**
|
|
255
|
+
* @since 2.0.0
|
|
256
|
+
*
|
|
257
|
+
* ```md
|
|
258
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/SemiApplicative.ts.html
|
|
259
|
+
* - Module: "@fp-ts/core/typeclass/SemiApplicative"
|
|
260
|
+
* ```
|
|
261
|
+
*/
|
|
262
|
+
SemiApplicative,
|
|
263
|
+
/**
|
|
264
|
+
* @since 2.0.0
|
|
265
|
+
*
|
|
266
|
+
* ```md
|
|
267
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/SemiCoproduct.ts.html
|
|
268
|
+
* - Module: "@fp-ts/core/typeclass/SemiCoproduct"
|
|
269
|
+
* ```
|
|
270
|
+
*/
|
|
271
|
+
SemiCoproduct,
|
|
272
|
+
/**
|
|
273
|
+
* @since 2.0.0
|
|
274
|
+
*
|
|
275
|
+
* ```md
|
|
276
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Semigroup.ts.html
|
|
277
|
+
* - Module: "@fp-ts/core/typeclass/Semigroup"
|
|
278
|
+
* ```
|
|
279
|
+
*/
|
|
280
|
+
Semigroup,
|
|
281
|
+
/**
|
|
282
|
+
* @since 2.0.0
|
|
283
|
+
*
|
|
284
|
+
* ```md
|
|
285
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/SemiProduct.ts.html
|
|
286
|
+
* - Module: "@fp-ts/core/typeclass/SemiProduct"
|
|
287
|
+
* ```
|
|
288
|
+
*/
|
|
289
|
+
SemiProduct,
|
|
290
|
+
/**
|
|
291
|
+
* @since 2.0.0
|
|
292
|
+
*
|
|
293
|
+
* ```md
|
|
294
|
+
* - Docs: https://fp-ts.github.io/data/modules/typeclass/Seq.ts.html
|
|
295
|
+
* - Module: "@fp-ts/data/typeclass/Seq"
|
|
296
|
+
* ```
|
|
297
|
+
*/
|
|
298
|
+
Seq,
|
|
299
|
+
/**
|
|
300
|
+
* @since 2.0.0
|
|
301
|
+
*
|
|
302
|
+
* ```md
|
|
303
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Traversable.ts.html
|
|
304
|
+
* - Module: "@fp-ts/core/typeclass/Traversable"
|
|
305
|
+
* ```
|
|
306
|
+
*/
|
|
307
|
+
Traversable,
|
|
308
|
+
/**
|
|
309
|
+
* @since 2.0.0
|
|
310
|
+
*
|
|
311
|
+
* ```md
|
|
312
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/TraversableFilterable.ts.html
|
|
313
|
+
* - Module: "@fp-ts/core/typeclass/TraversableFilterable"
|
|
314
|
+
* ```
|
|
315
|
+
*/
|
|
316
|
+
TraversableFilterable
|
|
317
|
+
}
|
package/typeclass.d.ts
ADDED
|
@@ -0,0 +1,315 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @since 2.0.0
|
|
3
|
+
*/
|
|
4
|
+
import * as Alternative from "@fp-ts/core/typeclass/Alternative";
|
|
5
|
+
import * as Applicative from "@fp-ts/core/typeclass/Applicative";
|
|
6
|
+
import * as Bicovariant from "@fp-ts/core/typeclass/Bicovariant";
|
|
7
|
+
import * as Bounded from "@fp-ts/core/typeclass/Bounded";
|
|
8
|
+
import * as Chainable from "@fp-ts/core/typeclass/Chainable";
|
|
9
|
+
import * as Contravariant from "@fp-ts/core/typeclass/Contravariant";
|
|
10
|
+
import * as Coproduct from "@fp-ts/core/typeclass/Coproduct";
|
|
11
|
+
import * as Covariant from "@fp-ts/core/typeclass/Covariant";
|
|
12
|
+
import * as FlatMap from "@fp-ts/core/typeclass/FlatMap";
|
|
13
|
+
import * as Foldable from "@fp-ts/core/typeclass/Foldable";
|
|
14
|
+
import * as Invariant from "@fp-ts/core/typeclass/Invariant";
|
|
15
|
+
import * as Monad from "@fp-ts/core/typeclass/Monad";
|
|
16
|
+
import * as Monoid from "@fp-ts/core/typeclass/Monoid";
|
|
17
|
+
import * as NonEmptyTraversable from "@fp-ts/core/typeclass/NonEmptyTraversable";
|
|
18
|
+
import * as Of from "@fp-ts/core/typeclass/Of";
|
|
19
|
+
import * as Order from "@fp-ts/core/typeclass/Order";
|
|
20
|
+
import * as Pointed from "@fp-ts/core/typeclass/Pointed";
|
|
21
|
+
import * as Product from "@fp-ts/core/typeclass/Product";
|
|
22
|
+
import * as SemiAlternative from "@fp-ts/core/typeclass/SemiAlternative";
|
|
23
|
+
import * as SemiApplicative from "@fp-ts/core/typeclass/SemiApplicative";
|
|
24
|
+
import * as SemiCoproduct from "@fp-ts/core/typeclass/SemiCoproduct";
|
|
25
|
+
import * as Semigroup from "@fp-ts/core/typeclass/Semigroup";
|
|
26
|
+
import * as SemiProduct from "@fp-ts/core/typeclass/SemiProduct";
|
|
27
|
+
import * as Traversable from "@fp-ts/core/typeclass/Traversable";
|
|
28
|
+
import * as Compactable from "@fp-ts/data/typeclass/Compactable";
|
|
29
|
+
import * as CovariantWithIndex from "@fp-ts/data/typeclass/CovariantWithIndex";
|
|
30
|
+
import * as Filterable from "@fp-ts/data/typeclass/Filterable";
|
|
31
|
+
import * as FilterableWithIndex from "@fp-ts/data/typeclass/FilterableWithIndex";
|
|
32
|
+
import * as Gen from "@fp-ts/data/typeclass/Gen";
|
|
33
|
+
import * as Seq from "@fp-ts/data/typeclass/Seq";
|
|
34
|
+
import * as TraversableFilterable from "@fp-ts/data/typeclass/TraversableFilterable";
|
|
35
|
+
export {
|
|
36
|
+
/**
|
|
37
|
+
* @since 2.0.0
|
|
38
|
+
*
|
|
39
|
+
* ```md
|
|
40
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Alternative.ts.html
|
|
41
|
+
* - Module: "@fp-ts/core/typeclass/Alternative"
|
|
42
|
+
* ```
|
|
43
|
+
*/
|
|
44
|
+
Alternative,
|
|
45
|
+
/**
|
|
46
|
+
* @since 2.0.0
|
|
47
|
+
*
|
|
48
|
+
* ```md
|
|
49
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Applicative.ts.html
|
|
50
|
+
* - Module: "@fp-ts/core/typeclass/Applicative"
|
|
51
|
+
* ```
|
|
52
|
+
*/
|
|
53
|
+
Applicative,
|
|
54
|
+
/**
|
|
55
|
+
* @since 2.0.0
|
|
56
|
+
*
|
|
57
|
+
* ```md
|
|
58
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Bicovariant.ts.html
|
|
59
|
+
* - Module: "@fp-ts/core/typeclass/Bicovariant"
|
|
60
|
+
* ```
|
|
61
|
+
*/
|
|
62
|
+
Bicovariant,
|
|
63
|
+
/**
|
|
64
|
+
* @since 2.0.0
|
|
65
|
+
*
|
|
66
|
+
* ```md
|
|
67
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Bounded.ts.html
|
|
68
|
+
* - Module: "@fp-ts/core/typeclass/Bounded"
|
|
69
|
+
* ```
|
|
70
|
+
*/
|
|
71
|
+
Bounded,
|
|
72
|
+
/**
|
|
73
|
+
* @since 2.0.0
|
|
74
|
+
*
|
|
75
|
+
* ```md
|
|
76
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Chainable.ts.html
|
|
77
|
+
* - Module: "@fp-ts/core/typeclass/Chainable"
|
|
78
|
+
* ```
|
|
79
|
+
*/
|
|
80
|
+
Chainable,
|
|
81
|
+
/**
|
|
82
|
+
* @since 2.0.0
|
|
83
|
+
*
|
|
84
|
+
* ```md
|
|
85
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Compactable.ts.html
|
|
86
|
+
* - Module: "@fp-ts/core/typeclass/Compactable"
|
|
87
|
+
* ```
|
|
88
|
+
*/
|
|
89
|
+
Compactable,
|
|
90
|
+
/**
|
|
91
|
+
* @since 2.0.0
|
|
92
|
+
*
|
|
93
|
+
* ```md
|
|
94
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Contravatiant.ts.html
|
|
95
|
+
* - Module: "@fp-ts/core/typeclass/Contravariant"
|
|
96
|
+
* ```
|
|
97
|
+
*/
|
|
98
|
+
Contravariant,
|
|
99
|
+
/**
|
|
100
|
+
* @since 2.0.0
|
|
101
|
+
*
|
|
102
|
+
* ```md
|
|
103
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Coproduct.ts.html
|
|
104
|
+
* - Module: "@fp-ts/core/typeclass/Coproduct"
|
|
105
|
+
* ```
|
|
106
|
+
*/
|
|
107
|
+
Coproduct,
|
|
108
|
+
/**
|
|
109
|
+
* @since 2.0.0
|
|
110
|
+
*
|
|
111
|
+
* ```md
|
|
112
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Covariant.ts.html
|
|
113
|
+
* - Module: "@fp-ts/core/typeclass/Covariant"
|
|
114
|
+
* ```
|
|
115
|
+
*/
|
|
116
|
+
Covariant,
|
|
117
|
+
/**
|
|
118
|
+
* @since 2.0.0
|
|
119
|
+
*
|
|
120
|
+
* ```md
|
|
121
|
+
* - Docs: https://fp-ts.github.io/data/modules/typeclass/ContravatiantWithIndex.ts.html
|
|
122
|
+
* - Module: "@fp-ts/data/typeclass/ContravariantWithIndex"
|
|
123
|
+
* ```
|
|
124
|
+
*/
|
|
125
|
+
CovariantWithIndex,
|
|
126
|
+
/**
|
|
127
|
+
* @since 2.0.0
|
|
128
|
+
*
|
|
129
|
+
* ```md
|
|
130
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Filterable.ts.html
|
|
131
|
+
* - Module: "@fp-ts/core/typeclass/Filterable"
|
|
132
|
+
* ```
|
|
133
|
+
*/
|
|
134
|
+
Filterable,
|
|
135
|
+
/**
|
|
136
|
+
* @since 2.0.0
|
|
137
|
+
*
|
|
138
|
+
* ```md
|
|
139
|
+
* - Docs: https://fp-ts.github.io/data/modules/typeclass/FilterableWithIndex.ts.html
|
|
140
|
+
* - Module: "@fp-ts/data/typeclass/FilterableWithIndex"
|
|
141
|
+
* ```
|
|
142
|
+
*/
|
|
143
|
+
FilterableWithIndex,
|
|
144
|
+
/**
|
|
145
|
+
* @since 2.0.0
|
|
146
|
+
*
|
|
147
|
+
* ```md
|
|
148
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/FlatMap.ts.html
|
|
149
|
+
* - Module: "@fp-ts/core/typeclass/FlatMap"
|
|
150
|
+
* ```
|
|
151
|
+
*/
|
|
152
|
+
FlatMap,
|
|
153
|
+
/**
|
|
154
|
+
* @since 2.0.0
|
|
155
|
+
*
|
|
156
|
+
* ```md
|
|
157
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Foldable.ts.html
|
|
158
|
+
* - Module: "@fp-ts/core/typeclass/Foldable"
|
|
159
|
+
* ```
|
|
160
|
+
*/
|
|
161
|
+
Foldable,
|
|
162
|
+
/**
|
|
163
|
+
* @since 2.0.0
|
|
164
|
+
*
|
|
165
|
+
* ```md
|
|
166
|
+
* - Docs: https://fp-ts.github.io/data/modules/typeclass/Gen.ts.html
|
|
167
|
+
* - Module: "@fp-ts/data/typeclass/Gen"
|
|
168
|
+
* ```
|
|
169
|
+
*/
|
|
170
|
+
Gen,
|
|
171
|
+
/**
|
|
172
|
+
* @since 2.0.0
|
|
173
|
+
*
|
|
174
|
+
* ```md
|
|
175
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Invariant.ts.html
|
|
176
|
+
* - Module: "@fp-ts/core/typeclass/Invariant"
|
|
177
|
+
* ```
|
|
178
|
+
*/
|
|
179
|
+
Invariant,
|
|
180
|
+
/**
|
|
181
|
+
* @since 2.0.0
|
|
182
|
+
*
|
|
183
|
+
* ```md
|
|
184
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Monad.ts.html
|
|
185
|
+
* - Module: "@fp-ts/core/typeclass/Monad"
|
|
186
|
+
* ```
|
|
187
|
+
*/
|
|
188
|
+
Monad,
|
|
189
|
+
/**
|
|
190
|
+
* @since 2.0.0
|
|
191
|
+
*
|
|
192
|
+
* ```md
|
|
193
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Monoid.ts.html
|
|
194
|
+
* - Module: "@fp-ts/core/typeclass/Monoid"
|
|
195
|
+
* ```
|
|
196
|
+
*/
|
|
197
|
+
Monoid,
|
|
198
|
+
/**
|
|
199
|
+
* @since 2.0.0
|
|
200
|
+
*
|
|
201
|
+
* ```md
|
|
202
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/NonEmptyTraversable.ts.html
|
|
203
|
+
* - Module: "@fp-ts/core/typeclass/NonEmptyTraversable"
|
|
204
|
+
* ```
|
|
205
|
+
*/
|
|
206
|
+
NonEmptyTraversable,
|
|
207
|
+
/**
|
|
208
|
+
* @since 2.0.0
|
|
209
|
+
*
|
|
210
|
+
* ```md
|
|
211
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Of.ts.html
|
|
212
|
+
* - Module: "@fp-ts/core/typeclass/Of"
|
|
213
|
+
* ```
|
|
214
|
+
*/
|
|
215
|
+
Of,
|
|
216
|
+
/**
|
|
217
|
+
* @since 2.0.0
|
|
218
|
+
*
|
|
219
|
+
* ```md
|
|
220
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Order.ts.html
|
|
221
|
+
* - Module: "@fp-ts/core/typeclass/Order"
|
|
222
|
+
* ```
|
|
223
|
+
*/
|
|
224
|
+
Order,
|
|
225
|
+
/**
|
|
226
|
+
* @since 2.0.0
|
|
227
|
+
*
|
|
228
|
+
* ```md
|
|
229
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Pointed.ts.html
|
|
230
|
+
* - Module: "@fp-ts/core/typeclass/Pointed"
|
|
231
|
+
* ```
|
|
232
|
+
*/
|
|
233
|
+
Pointed,
|
|
234
|
+
/**
|
|
235
|
+
* @since 2.0.0
|
|
236
|
+
*
|
|
237
|
+
* ```md
|
|
238
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Product.ts.html
|
|
239
|
+
* - Module: "@fp-ts/core/typeclass/Product"
|
|
240
|
+
* ```
|
|
241
|
+
*/
|
|
242
|
+
Product,
|
|
243
|
+
/**
|
|
244
|
+
* @since 2.0.0
|
|
245
|
+
*
|
|
246
|
+
* ```md
|
|
247
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/SemiAlternative.ts.html
|
|
248
|
+
* - Module: "@fp-ts/core/typeclass/SemiAlternative"
|
|
249
|
+
* ```
|
|
250
|
+
*/
|
|
251
|
+
SemiAlternative,
|
|
252
|
+
/**
|
|
253
|
+
* @since 2.0.0
|
|
254
|
+
*
|
|
255
|
+
* ```md
|
|
256
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/SemiApplicative.ts.html
|
|
257
|
+
* - Module: "@fp-ts/core/typeclass/SemiApplicative"
|
|
258
|
+
* ```
|
|
259
|
+
*/
|
|
260
|
+
SemiApplicative,
|
|
261
|
+
/**
|
|
262
|
+
* @since 2.0.0
|
|
263
|
+
*
|
|
264
|
+
* ```md
|
|
265
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/SemiCoproduct.ts.html
|
|
266
|
+
* - Module: "@fp-ts/core/typeclass/SemiCoproduct"
|
|
267
|
+
* ```
|
|
268
|
+
*/
|
|
269
|
+
SemiCoproduct,
|
|
270
|
+
/**
|
|
271
|
+
* @since 2.0.0
|
|
272
|
+
*
|
|
273
|
+
* ```md
|
|
274
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Semigroup.ts.html
|
|
275
|
+
* - Module: "@fp-ts/core/typeclass/Semigroup"
|
|
276
|
+
* ```
|
|
277
|
+
*/
|
|
278
|
+
Semigroup,
|
|
279
|
+
/**
|
|
280
|
+
* @since 2.0.0
|
|
281
|
+
*
|
|
282
|
+
* ```md
|
|
283
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/SemiProduct.ts.html
|
|
284
|
+
* - Module: "@fp-ts/core/typeclass/SemiProduct"
|
|
285
|
+
* ```
|
|
286
|
+
*/
|
|
287
|
+
SemiProduct,
|
|
288
|
+
/**
|
|
289
|
+
* @since 2.0.0
|
|
290
|
+
*
|
|
291
|
+
* ```md
|
|
292
|
+
* - Docs: https://fp-ts.github.io/data/modules/typeclass/Seq.ts.html
|
|
293
|
+
* - Module: "@fp-ts/data/typeclass/Seq"
|
|
294
|
+
* ```
|
|
295
|
+
*/
|
|
296
|
+
Seq,
|
|
297
|
+
/**
|
|
298
|
+
* @since 2.0.0
|
|
299
|
+
*
|
|
300
|
+
* ```md
|
|
301
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/Traversable.ts.html
|
|
302
|
+
* - Module: "@fp-ts/core/typeclass/Traversable"
|
|
303
|
+
* ```
|
|
304
|
+
*/
|
|
305
|
+
Traversable,
|
|
306
|
+
/**
|
|
307
|
+
* @since 2.0.0
|
|
308
|
+
*
|
|
309
|
+
* ```md
|
|
310
|
+
* - Docs: https://fp-ts.github.io/core/modules/typeclass/TraversableFilterable.ts.html
|
|
311
|
+
* - Module: "@fp-ts/core/typeclass/TraversableFilterable"
|
|
312
|
+
* ```
|
|
313
|
+
*/
|
|
314
|
+
TraversableFilterable };
|
|
315
|
+
//# sourceMappingURL=typeclass.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"typeclass.d.ts","sourceRoot":"","sources":["./src/typeclass.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,WAAW,MAAM,mCAAmC,CAAA;AAChE,OAAO,KAAK,WAAW,MAAM,mCAAmC,CAAA;AAChE,OAAO,KAAK,WAAW,MAAM,mCAAmC,CAAA;AAChE,OAAO,KAAK,OAAO,MAAM,+BAA+B,CAAA;AACxD,OAAO,KAAK,SAAS,MAAM,iCAAiC,CAAA;AAC5D,OAAO,KAAK,aAAa,MAAM,qCAAqC,CAAA;AACpE,OAAO,KAAK,SAAS,MAAM,iCAAiC,CAAA;AAC5D,OAAO,KAAK,SAAS,MAAM,iCAAiC,CAAA;AAC5D,OAAO,KAAK,OAAO,MAAM,+BAA+B,CAAA;AACxD,OAAO,KAAK,QAAQ,MAAM,gCAAgC,CAAA;AAC1D,OAAO,KAAK,SAAS,MAAM,iCAAiC,CAAA;AAC5D,OAAO,KAAK,KAAK,MAAM,6BAA6B,CAAA;AACpD,OAAO,KAAK,MAAM,MAAM,8BAA8B,CAAA;AACtD,OAAO,KAAK,mBAAmB,MAAM,2CAA2C,CAAA;AAChF,OAAO,KAAK,EAAE,MAAM,0BAA0B,CAAA;AAC9C,OAAO,KAAK,KAAK,MAAM,6BAA6B,CAAA;AACpD,OAAO,KAAK,OAAO,MAAM,+BAA+B,CAAA;AACxD,OAAO,KAAK,OAAO,MAAM,+BAA+B,CAAA;AACxD,OAAO,KAAK,eAAe,MAAM,uCAAuC,CAAA;AACxE,OAAO,KAAK,eAAe,MAAM,uCAAuC,CAAA;AACxE,OAAO,KAAK,aAAa,MAAM,qCAAqC,CAAA;AACpE,OAAO,KAAK,SAAS,MAAM,iCAAiC,CAAA;AAC5D,OAAO,KAAK,WAAW,MAAM,mCAAmC,CAAA;AAChE,OAAO,KAAK,WAAW,MAAM,mCAAmC,CAAA;AAChE,OAAO,KAAK,WAAW,MAAM,mCAAmC,CAAA;AAChE,OAAO,KAAK,kBAAkB,MAAM,0CAA0C,CAAA;AAC9E,OAAO,KAAK,UAAU,MAAM,kCAAkC,CAAA;AAC9D,OAAO,KAAK,mBAAmB,MAAM,2CAA2C,CAAA;AAChF,OAAO,KAAK,GAAG,MAAM,2BAA2B,CAAA;AAChD,OAAO,KAAK,GAAG,MAAM,2BAA2B,CAAA;AAChD,OAAO,KAAK,qBAAqB,MAAM,6CAA6C,CAAA;AAEpF,OAAO;AACL;;;;;;;GAOG;AACH,WAAW;AACX;;;;;;;GAOG;AACH,WAAW;AACX;;;;;;;GAOG;AACH,WAAW;AACX;;;;;;;GAOG;AACH,OAAO;AACP;;;;;;;GAOG;AACH,SAAS;AACT;;;;;;;GAOG;AACH,WAAW;AACX;;;;;;;GAOG;AACH,aAAa;AACb;;;;;;;GAOG;AACH,SAAS;AACT;;;;;;;GAOG;AACH,SAAS;AACT;;;;;;;GAOG;AACH,kBAAkB;AAClB;;;;;;;GAOG;AACH,UAAU;AACV;;;;;;;GAOG;AACH,mBAAmB;AACnB;;;;;;;GAOG;AACH,OAAO;AACP;;;;;;;GAOG;AACH,QAAQ;AACR;;;;;;;GAOG;AACH,GAAG;AACH;;;;;;;GAOG;AACH,SAAS;AACT;;;;;;;GAOG;AACH,KAAK;AACL;;;;;;;GAOG;AACH,MAAM;AACN;;;;;;;GAOG;AACH,mBAAmB;AACnB;;;;;;;GAOG;AACH,EAAE;AACF;;;;;;;GAOG;AACH,KAAK;AACL;;;;;;;GAOG;AACH,OAAO;AACP;;;;;;;GAOG;AACH,OAAO;AACP;;;;;;;GAOG;AACH,eAAe;AACf;;;;;;;GAOG;AACH,eAAe;AACf;;;;;;;GAOG;AACH,aAAa;AACb;;;;;;;GAOG;AACH,SAAS;AACT;;;;;;;GAOG;AACH,WAAW;AACX;;;;;;;GAOG;AACH,GAAG;AACH;;;;;;;GAOG;AACH,WAAW;AACX;;;;;;;GAOG;AACH,qBAAqB,EACtB,CAAA"}
|