Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

version 2.11 #1538

Merged
merged 172 commits into from Jul 26, 2021
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
172 commits
Select commit Hold shift + click to select a range
dc3b3ce
Turn TaskOptions to TaskEithers and vice versa
thewilkybarkid Mar 22, 2021
c3af22b
add appendW, prependW to arrays
thewilkybarkid Mar 23, 2021
0d8a1b4
chore
gcanti Mar 23, 2021
11515dc
Add matchLeft, matchRight, modifyHead & modifyLast to NonEmptyArray
cdimitroulas Mar 27, 2021
56b3b4c
Add matchLeft, matchRight, modifyHead & modifyLast to ReadonlyNonEmpt…
cdimitroulas Mar 27, 2021
70f1ab2
align with v3 and update changelog
gcanti Mar 28, 2021
438d935
Add fromPredicate & fromOption to Array
cdimitroulas Mar 27, 2021
22aea4a
update changelog
gcanti Mar 28, 2021
c5d5d3c
Add filterE utils to Witherable
vinassefranche Mar 29, 2021
45cacd7
add `filterE` to ReadonlyArray, ReadonlyRecord
gcanti Mar 30, 2021
b3db013
remove `filterE` from ReadonlyRecord
gcanti Mar 30, 2021
cc6e29b
A,RA: add depth-first and breadth-first ChainRec
qlonik Nov 13, 2020
3a9309b
RA: add depth-first and bread-firth chainRec tests
qlonik Nov 13, 2020
a9c3d8b
Backport SK from 3.0.0
cdimitroulas Mar 30, 2021
d6ccecb
backport ReadonlyRecord & Record
anthonyjoeseph Mar 31, 2021
0a933c3
update changelog
gcanti Mar 31, 2021
826c65a
rename object module to struct
gcanti Mar 31, 2021
e83dd10
merge master
gcanti Mar 31, 2021
566ec19
Record / ReadonlyRecord: clean up overloads
gcanti Mar 31, 2021
22952c3
Record / ReadonlyRecord: move deprecated instances to the dedicated s…
gcanti Mar 31, 2021
15acbf8
`Record`:
gcanti Mar 31, 2021
36b5e1e
expand internal module
gcanti Mar 31, 2021
912b273
These: remove `Option` dependency
gcanti Mar 31, 2021
2fed4b6
struct: add `evolve`
gcanti Mar 31, 2021
14f6418
function: add apply
gcanti Mar 31, 2021
195bd9b
Ord: add equals and trivial
gcanti Mar 31, 2021
6c035e5
add `Endomorphism` module
gcanti Mar 31, 2021
74756a0
add `Predicate` module
gcanti Mar 31, 2021
2776ee8
add `Refinement` module
gcanti Mar 31, 2021
0798194
- add `FromState` module
gcanti Mar 31, 2021
6417829
add `FromThese` module
gcanti Mar 31, 2021
674bb83
add `void` module
gcanti Mar 31, 2021
5a56321
add `FromReader` module
gcanti Mar 31, 2021
ce12a07
Witherable: add wiltDefault, witherDefault
gcanti Mar 31, 2021
c4a5d29
Array / ReadonlyArray:
gcanti Apr 1, 2021
17a41ca
Set / ReadonlySet
gcanti Apr 1, 2021
cac84f7
NonEmptyArray / ReadonlyNonEmptyArray
gcanti Apr 1, 2021
459cd1c
ReadonlyArray: add fromOption
gcanti Apr 1, 2021
adbbb3e
FromEither: add FromEither1
gcanti Apr 1, 2021
a937b73
ReadonlyArray: add fromPredicate
gcanti Apr 1, 2021
6898b03
Either: add `chainOptionK`
gcanti Apr 1, 2021
9734b0c
- `Option`
gcanti Apr 1, 2021
696fc61
- `Array` / `ReadonlyArray`
gcanti Apr 1, 2021
498dba1
- `Map` / `ReadonlyMap`
gcanti Apr 1, 2021
8aec31f
Either: fix fromPredicate example and update docs
gcanti Apr 1, 2021
0e64713
Add orElseFirst and orLeft to IOEither
thewilkybarkid Apr 1, 2021
3f310c7
Add docs
thewilkybarkid Apr 1, 2021
34dd0ba
Add coverage
thewilkybarkid Apr 1, 2021
eb13ce6
Add to TaskEither
thewilkybarkid Apr 1, 2021
78c66c7
Add to ReaderEither
thewilkybarkid Apr 1, 2021
45b7f65
Add to ReaderTaskEither
thewilkybarkid Apr 1, 2021
11232db
Fix versions
thewilkybarkid Apr 1, 2021
6383896
Correct tests
thewilkybarkid Apr 1, 2021
ba80687
number: add MagmaSub
gcanti Apr 1, 2021
e8818db
string: add `toUpperCase`
gcanti Apr 1, 2021
205a907
- `Magma`
gcanti Apr 1, 2021
7f819d4
- `Set` / `ReadonlySet`
gcanti Apr 1, 2021
97cc7a7
- `TaskEither`
gcanti Apr 1, 2021
c3d0eb6
- `Alt`
gcanti Apr 1, 2021
a5da887
- `NonEmptyArray` / `ReadonlyNonEmptyArray`
gcanti Apr 1, 2021
9dfc556
- `NonEmptyArray` / `ReadonlyNonEmptyArray`
gcanti Apr 1, 2021
85cdc47
fix range deprecations in perf
gcanti Apr 1, 2021
dd91a2e
merge master
gcanti Apr 2, 2021
a214689
update docs
gcanti Apr 2, 2021
410a48e
- `Array` / `ReadonlyArray`
gcanti Apr 1, 2021
40414cc
- `Map`
gcanti Apr 2, 2021
1155bf1
`NonEmptyArray` / `ReadonlyNonEmptyArray`: deprecate `groupSort`
gcanti Apr 2, 2021
0f1bd6c
Merge branch 'master' into 2.11
gcanti Apr 3, 2021
87d5975
Option: deprecate `getRefinement`, use `Refinement` module instead.
gcanti Apr 3, 2021
33dc703
Refinement:
gcanti Apr 3, 2021
6f0b582
- `string`
gcanti Apr 3, 2021
0a74f2a
Merge branch 'master' into 2.11
gcanti Apr 6, 2021
76732e8
Record / ReadonlyRecord: traverse, sequence and traverseWithIndex sho…
gcanti Apr 6, 2021
4b49a4d
undeprecate `local`
gcanti Apr 7, 2021
296b55a
StateReaderTaskEither: add `local`
gcanti Apr 7, 2021
fb2b735
add `asksEW`, `asksW`
gcanti Apr 7, 2021
364745d
Record / ReadonlyRecord: simplify collect
gcanti Apr 6, 2021
8c53b1e
chore
gcanti Apr 6, 2021
a24f8e8
chore
gcanti Apr 6, 2021
b0d7277
Record / ReadonlyRecord: simplify reduce
gcanti Apr 7, 2021
a7830d2
Record / ReadonlyRecord: simplify foldMap
gcanti Apr 7, 2021
4668d25
Record / ReadonlyRecord: simplify reduceRight
gcanti Apr 7, 2021
8eaf1b0
Record / ReadonlyRecord: simplify reduceWithIndex
gcanti Apr 7, 2021
f0880df
Record / ReadonlyRecord: simplify foldMapWithIndex
gcanti Apr 7, 2021
a0da597
Record / ReadonlyRecord: simplify reduceRightWithIndex
gcanti Apr 7, 2021
8f51693
Record / ReadonlyRecord: simplify getShow
gcanti Apr 7, 2021
cee485e
`Array` / `ReadonlyArray`:
gcanti Apr 8, 2021
bad3dd7
Add ReaderTask.chainFirstW
vinassefranche Apr 13, 2021
cf7521e
Add Reader.chainFirstW
vinassefranche Apr 13, 2021
a2891aa
Add doc for ReaderTask.chainFirstW and Reader.chainFirstW
vinassefranche Apr 13, 2021
6a7cbc8
merge master
gcanti Apr 16, 2021
d42f616
update changelog
gcanti Apr 17, 2021
ff02bc4
merge master
gcanti Apr 19, 2021
f0d3d59
merge master
gcanti Apr 20, 2021
3dcfc1b
- remove unnecessary type parameters
gcanti Apr 21, 2021
da72dcb
remove useless _hasOwnProperty private function
gcanti Apr 21, 2021
4e86e38
Refinement: add fromEitherK
gcanti Apr 21, 2021
a4c0afc
Add RTE.fromReaderTaskK, RTE.chainReaderTaskK and RTE.chainReaderTaskKW
vinassefranche Apr 22, 2021
2a258dd
Update changelog
vinassefranche Apr 22, 2021
f61e85c
revert `local` deprecations
gcanti Apr 22, 2021
172928a
tmp
gcanti Apr 23, 2021
b9eac58
improve signatures involving Predicate
gcanti Apr 23, 2021
22f7f77
Filterable: add overloadings to filter / partition
gcanti Apr 23, 2021
50b6e9e
Add FromReader.chainFirstReaderK
vinassefranche Apr 24, 2021
6760744
Add some chainReaderKW
vinassefranche Apr 24, 2021
28925b3
Add RTE.chainFirstReaderTaskK(W)
vinassefranche Apr 24, 2021
ee2aa06
Fix a bad version number for Array.matchLeftW
vinassefranche Apr 24, 2021
851f7f2
Update changelog
vinassefranche Apr 24, 2021
ee7d76e
Option: deprecate getFirstMonoid, getLastMonoid
gcanti Apr 25, 2021
6d4bab5
Add RTE.fromReaderEitherK and RTE.chainReaderEitherK(W)
vinassefranche Apr 27, 2021
6c1f049
Add RTE.chainFirstReaderEitherK(W)
vinassefranche Apr 27, 2021
82a3987
Update changelog
vinassefranche Apr 27, 2021
03e7d25
Add Either.flattenW -- less strict version of Either.flatten
jussisaurio Apr 25, 2021
ab640a4
Add IOEither.flattenW
jussisaurio Apr 26, 2021
f00cc11
add Reader.flattenW
jussisaurio Apr 26, 2021
9f4f484
Add ReaderEither.flattenW
jussisaurio Apr 26, 2021
d083972
Add ReaderTask.flattenW
jussisaurio Apr 26, 2021
e85e7e4
Add ReaderTaskEither.flattenW
jussisaurio Apr 26, 2021
228da9f
Add StateReaderTaskEither.flattenW
jussisaurio Apr 26, 2021
6439151
Add TaskEither.flattenW
jussisaurio Apr 26, 2021
dea5852
Update changelog to include mention of flattenW
jussisaurio Apr 28, 2021
2be7274
add dpdm
gcanti Apr 28, 2021
eeb6c99
Merge branch 'dpdm' into 2.11
gcanti Apr 28, 2021
4057b01
derive flatten from flattenW
gcanti Apr 29, 2021
3d5e2a1
remove dpdm
gcanti Apr 29, 2021
3412ca0
add `NaturalTransformation` module
gcanti Apr 30, 2021
54b3d32
chore
gcanti Apr 30, 2021
eea1af9
Add RTE.add-rte-chainFirstTaskEitherK(W)
vinassefranche Apr 30, 2021
13c149b
update changelog
vinassefranche Apr 30, 2021
465a1db
merge master
gcanti May 3, 2021
f522d3d
add Zero module, closes #1462
gcanti May 3, 2021
693e081
rename asksE, asksEW
gcanti May 5, 2021
e072807
These: add elem, exists
gcanti May 5, 2021
1d69ef8
Tree: add exists
gcanti May 5, 2021
fdba49a
ReadonlyArray: add `exists` alias
gcanti May 5, 2021
e49da89
`NonEmptyArray` / `ReadonlyNonEmptyArray`: make `concat` pipeable
gcanti May 5, 2021
68fcdbf
These:
gcanti May 5, 2021
b382ed3
Task:
gcanti May 5, 2021
4b94b56
TaskThese
gcanti May 5, 2021
5691709
Either
gcanti May 5, 2021
996bf02
IO
gcanti May 5, 2021
49b9e34
IOEither
gcanti May 5, 2021
bc129f3
Option
gcanti May 5, 2021
7ddaedf
Reader
gcanti May 5, 2021
9020b34
ReaderEither
gcanti May 5, 2021
40723ce
ReaderTask
gcanti May 5, 2021
5706ea2
ReaderTaskEither
gcanti May 5, 2021
021ce75
State
gcanti May 5, 2021
33e29ae
StateReaderTaskEither
gcanti May 5, 2021
9d8246c
TaskOption
gcanti May 5, 2021
59f9166
remove deprecation comments when possible
gcanti May 6, 2021
fd18365
Docs: refactor Option
gcanti May 7, 2021
de74cd2
Docs: refactor Either
gcanti May 7, 2021
89c90f2
- `string`
gcanti May 10, 2021
24ca6dd
Docs: fix links
gcanti May 11, 2021
6df7503
revert array utils deprecations
gcanti May 12, 2021
4567fa6
release as rc
gcanti May 12, 2021
73bcb18
Option: remove useless type parameter in getLeft, getRight
gcanti May 12, 2021
2554551
- Either: revert `exists` signature change
gcanti May 13, 2021
4109a8e
- `Array` / `ReadonlyArray`
gcanti May 14, 2021
cbeb38b
Option: revert getLeft / getRight signature change
gcanti May 14, 2021
5e5fa66
fix signatures involving a predicate
gcanti May 14, 2021
7d1887d
string: split should return a ReadonlyNonEmptyArray
gcanti May 14, 2021
dfe7db5
TaskOption: add missing `FromEither` instance
gcanti May 14, 2021
5f0428e
typo
gcanti May 14, 2021
c4a2370
string: add examples
gcanti May 15, 2021
dfc276f
update fpchat link
gcanti May 11, 2021
00930c7
Enhance ecosystem
Jun 3, 2021
d980779
Added example for Array.unfold
Jun 4, 2021
45faa77
Merge branch 'master' into 2.11
gcanti Jul 22, 2021
781030d
update docs
gcanti Jul 22, 2021
c6839aa
version 2.11
gcanti Jul 22, 2021
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
703 changes: 702 additions & 1 deletion CHANGELOG.md

Large diffs are not rendered by default.

32 changes: 32 additions & 0 deletions docs/modules/Alt.ts.md
Expand Up @@ -29,6 +29,8 @@ Added in v2.0.0
- [Alt3 (interface)](#alt3-interface)
- [Alt3C (interface)](#alt3c-interface)
- [Alt4 (interface)](#alt4-interface)
- [utils](#utils)
- [altAll](#altall)

---

Expand Down Expand Up @@ -117,3 +119,33 @@ export interface Alt4<F extends URIS4> extends Functor4<F> {
```

Added in v2.0.0

# utils

## altAll

**Signature**

```ts
export declare function altAll<F extends URIS4>(
F: Alt4<F>
): <S, R, E, A>(startWith: Kind4<F, S, R, E, A>) => (as: ReadonlyArray<Kind4<F, S, R, E, A>>) => Kind4<F, S, R, E, A>
export declare function altAll<F extends URIS3>(
F: Alt3<F>
): <R, E, A>(startWith: Kind3<F, R, E, A>) => (as: ReadonlyArray<Kind3<F, R, E, A>>) => Kind3<F, R, E, A>
export declare function altAll<F extends URIS3, E>(
F: Alt3C<F, E>
): <R, A>(startWith: Kind3<F, R, E, A>) => (as: ReadonlyArray<Kind3<F, R, E, A>>) => Kind3<F, R, E, A>
export declare function altAll<F extends URIS2>(
F: Alt2<F>
): <E, A>(startWith: Kind2<F, E, A>) => (as: ReadonlyArray<Kind2<F, E, A>>) => Kind2<F, E, A>
export declare function altAll<F extends URIS2, E>(
F: Alt2C<F, E>
): <A>(startWith: Kind2<F, E, A>) => (as: ReadonlyArray<Kind2<F, E, A>>) => Kind2<F, E, A>
export declare function altAll<F extends URIS>(
F: Alt1<F>
): <A>(startWith: Kind<F, A>) => (as: ReadonlyArray<Kind<F, A>>) => Kind<F, A>
export declare function altAll<F>(F: Alt<F>): <A>(startWith: HKT<F, A>) => (as: ReadonlyArray<HKT<F, A>>) => HKT<F, A>
```

Added in v2.11.0
58 changes: 37 additions & 21 deletions docs/modules/Alternative.ts.md
Expand Up @@ -33,6 +33,8 @@ Added in v2.0.0
- [Alternative3 (interface)](#alternative3-interface)
- [Alternative3C (interface)](#alternative3c-interface)
- [Alternative4 (interface)](#alternative4-interface)
- [utils](#utils)
- [altAll](#altall)

---

Expand All @@ -43,9 +45,7 @@ Added in v2.0.0
**Signature**

```ts
export interface Alternative<F> extends Applicative<F>, Alt<F> {
readonly zero: <A>() => HKT<F, A>
}
export interface Alternative<F> extends Applicative<F>, Alt<F>, Zero<F> {}
```

Added in v2.0.0
Expand All @@ -55,9 +55,7 @@ Added in v2.0.0
**Signature**

```ts
export interface Alternative1<F extends URIS> extends Applicative1<F>, Alt1<F> {
readonly zero: <A>() => Kind<F, A>
}
export interface Alternative1<F extends URIS> extends Applicative1<F>, Alt1<F>, Zero1<F> {}
```

Added in v2.0.0
Expand All @@ -67,9 +65,7 @@ Added in v2.0.0
**Signature**

```ts
export interface Alternative2<F extends URIS2> extends Applicative2<F>, Alt2<F> {
readonly zero: <E, A>() => Kind2<F, E, A>
}
export interface Alternative2<F extends URIS2> extends Applicative2<F>, Alt2<F>, Zero2<F> {}
```

Added in v2.0.0
Expand All @@ -79,9 +75,7 @@ Added in v2.0.0
**Signature**

```ts
export interface Alternative2C<F extends URIS2, E> extends Applicative2C<F, E>, Alt2C<F, E> {
readonly zero: <A>() => Kind2<F, E, A>
}
export interface Alternative2C<F extends URIS2, E> extends Applicative2C<F, E>, Alt2C<F, E>, Zero2C<F, E> {}
```

Added in v2.0.0
Expand All @@ -91,9 +85,7 @@ Added in v2.0.0
**Signature**

```ts
export interface Alternative3<F extends URIS3> extends Applicative3<F>, Alt3<F> {
readonly zero: <R, E, A>() => Kind3<F, R, E, A>
}
export interface Alternative3<F extends URIS3> extends Applicative3<F>, Alt3<F>, Zero3<F> {}
```

Added in v2.0.0
Expand All @@ -103,9 +95,7 @@ Added in v2.0.0
**Signature**

```ts
export interface Alternative3C<F extends URIS3, E> extends Applicative3C<F, E>, Alt3C<F, E> {
readonly zero: <R, A>() => Kind3<F, R, E, A>
}
export interface Alternative3C<F extends URIS3, E> extends Applicative3C<F, E>, Alt3C<F, E>, Zero3C<F, E> {}
```

Added in v2.10.0
Expand All @@ -115,9 +105,35 @@ Added in v2.10.0
**Signature**

```ts
export interface Alternative4<F extends URIS4> extends Applicative4<F>, Alt4<F> {
readonly zero: <S, R, E, A>() => Kind4<F, S, R, E, A>
}
export interface Alternative4<F extends URIS4> extends Applicative4<F>, Alt4<F>, Zero4<F> {}
```

Added in v2.10.0

# utils

## altAll

**Signature**

```ts
export declare function altAll<F extends URIS4>(
F: Alternative4<F>
): <S, R, E, A>(as: ReadonlyArray<Kind4<F, S, R, E, A>>) => Kind4<F, S, R, E, A>
export declare function altAll<F extends URIS3>(
F: Alternative3<F>
): <R, E, A>(as: ReadonlyArray<Kind3<F, R, E, A>>) => Kind3<F, R, E, A>
export declare function altAll<F extends URIS3, E>(
F: Alternative3C<F, E>
): <R, A>(as: ReadonlyArray<Kind3<F, R, E, A>>) => Kind3<F, R, E, A>
export declare function altAll<F extends URIS2>(
F: Alternative2<F>
): <E, A>(as: ReadonlyArray<Kind2<F, E, A>>) => Kind2<F, E, A>
export declare function altAll<F extends URIS2, E>(
F: Alternative2C<F, E>
): <A>(as: ReadonlyArray<Kind2<F, E, A>>) => Kind2<F, E, A>
export declare function altAll<F extends URIS>(F: Alternative1<F>): <A>(as: ReadonlyArray<Kind<F, A>>) => Kind<F, A>
export declare function altAll<F>(F: Alternative<F>): <A>(as: ReadonlyArray<HKT<F, A>>) => HKT<F, A>
```

Added in v2.11.0