Merge pull request #1247 from gcanti/2.7.0

version 2.7.0
gcanti · Jun 29, 2020 · 291c3bf · 291c3bf
2 parents a2b99c9 + 9e49756
commit 291c3bf
Show file tree

Hide file tree

Showing 122 changed files with 8,718 additions and 2,942 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -14,6 +14,243 @@
 **Note**: Gaps between patch versions are faulty/broken releases. **Note**: A feature tagged as Experimental is in a
 high state of flux, you're at risk of it changing without notice.
 
+# 2.7.0
+
+- **Bug Fix**
+  - `These`
+    - fix `ap` implementation in `getMonad` function (@gcanti)
+- **New Feature**
+  - `function`
+    - add `hole` (type hole simulation) (@gcanti)
+  - `Array`
+    - add `functorArray` instance (@gcanti)
+    - add `functorWithIndexArray` instance (@gcanti)
+    - add `applicativeArray` instance (@gcanti)
+    - add `monadArray` instance (@gcanti)
+    - add `unfoldableArray` instance (@gcanti)
+    - add `altArray` instance (@gcanti)
+    - add `alternativeArray` instance (@gcanti)
+    - add `extendArray` instance (@gcanti)
+    - add `compactableArray` instance (@gcanti)
+    - add `filterableArray` instance (@gcanti)
+    - add `filterableWithIndexArray` instance (@gcanti)
+    - add `foldableArray` instance (@gcanti)
+    - add `foldableWithIndexArray` instance (@gcanti)
+    - add `traversableArray` instance (@gcanti)
+    - add `traversableWithIndexArray` instance (@gcanti)
+    - add `witherableArray` instance (@gcanti)
+  - `Const`
+    - add `functorConst` instance (@gcanti)
+    - add `contravariantConst` instance (@gcanti)
+    - add `bifunctorConst` instance (@gcanti)
+  - `Either`
+    - add `getApplicativeValidation` constrained instance (@gcanti)
+    - add `getAltValidation` constrained instance (@gcanti)
+    - add `functorEither` instance (@gcanti)
+    - add `applicativeEither` instance (@gcanti)
+    - add `monadEither` instance (@gcanti)
+    - add `foldableEither` instance (@gcanti)
+    - add `traversableEither` instance (@gcanti)
+    - add `bifunctorEither` instance (@gcanti)
+    - add `altEither` instance (@gcanti)
+    - add `extendEither` instance (@gcanti)
+    - add `chainRecEither` instance (@gcanti)
+    - add `monadThrowEither` instance (@gcanti)
+  - `Eq`
+    - add `contravariantEq` instance (@gcanti)
+  - `Identity`
+    - add `functorIdentity` instance (@gcanti)
+    - add `applicativeIdentity` instance (@gcanti)
+    - add `monadIdentity` instance (@gcanti)
+    - add `foldableIdentity` instance (@gcanti)
+    - add `traversableIdentity` instance (@gcanti)
+    - add `altIdentity` instance (@gcanti)
+    - add `comonadIdentity` instance (@gcanti)
+    - add `chainRecIdentity` instance (@gcanti)
+  - `IO`
+    - add `functorIO` instance (@gcanti)
+    - add `applicativeIO` instance (@gcanti)
+    - add `monadIO` instance (@gcanti)
+    - add `monadIOIO` instance (@gcanti)
+    - add `chainRecIO` instance (@gcanti)
+  - `IOEither`
+    - add `getApplicativeIOValidation` constrained instance (@gcanti)
+    - add `getAltIOValidation` constrained instance (@gcanti)
+    - add `functorIOEither` instance (@gcanti)
+    - add `applicativeIOEither` instance (@gcanti)
+    - add `monadIOEither` instance (@gcanti)
+    - add `bifunctorIOEither` instance (@gcanti)
+    - add `altIOEither` instance (@gcanti)
+    - add `monadIOIOEither` instance (@gcanti)
+    - add `monadThrowIOEither` instance (@gcanti)
+  - `Map`
+    - add `functorMap` instance (@gcanti)
+    - add `compactableMap` instance (@gcanti)
+    - add `filterableMap` instance (@gcanti)
+  - `NonEmptyArray`
+    - add `functorNonEmptyArray` instance (@gcanti)
+    - add `functorWithIndexNonEmptyArray` instance (@gcanti)
+    - add `applicativeNonEmptyArray` instance (@gcanti)
+    - add `monadNonEmptyArray` instance (@gcanti)
+    - add `foldableNonEmptyArray` instance (@gcanti)
+    - add `foldableWithIndexNonEmptyArray` instance (@gcanti)
+    - add `traversableNonEmptyArray` instance (@gcanti)
+    - add `traversableWithIndexNonEmptyArray` instance (@gcanti)
+    - add `altNonEmptyArray` instance (@gcanti)
+    - add `comonadNonEmptyArray` instance (@gcanti)
+  - `Option`
+    - add `functorOption` instance (@gcanti)
+    - add `applicativeOption` instance (@gcanti)
+    - add `monadOption` instance (@gcanti)
+    - add `foldableOption` instance (@gcanti)
+    - add `altOption` instance (@gcanti)
+    - add `alternativeOption` instance (@gcanti)
+    - add `extendOption` instance (@gcanti)
+    - add `compactableOption` instance (@gcanti)
+    - add `filterableOption` instance (@gcanti)
+    - add `traversableOption` instance (@gcanti)
+    - add `witherableOption` instance (@gcanti)
+    - add `monadThrowOption` instance (@gcanti)
+  - `Ord`
+    - add `contravariantOrd` instance (@gcanti)
+  - `Reader`
+    - add `functorReader` instance (@gcanti)
+    - add `applicativeReader` instance (@gcanti)
+    - add `monadReader` instance (@gcanti)
+    - add `profunctorReader` instance (@gcanti)
+    - add `categoryReader` instance (@gcanti)
+  - `ReaderEither`
+    - add `getApplicativeReaderValidation` constrained instance (@gcanti)
+    - add `getAltReaderValidation` constrained instance (@gcanti)
+    - add `functorReaderEither` instance (@gcanti)
+    - add `applicativeReaderEither` instance (@gcanti)
+    - add `monadReaderEither` instance (@gcanti)
+    - add `bifunctorReaderEither` instance (@gcanti)
+    - add `altReaderEither` instance (@gcanti)
+    - add `monadThrowReaderEither` instance (@gcanti)
+  - `ReaderTask`
+    - add `functorReaderTask` instance (@gcanti)
+    - add `applicativeReaderTaskPar` instance (@gcanti)
+    - add `applicativeReaderTaskSeq` instance (@gcanti)
+  - `ReaderTaskEither`
+    - add `getApplicativeReaderTaskValidation` constrained instance (@gcanti)
+    - add `getAltReaderTaskValidation` constrained instance (@gcanti)
+    - add `functorReaderTaskEither` instance (@gcanti)
+    - add `applicativeReaderTaskEitherPar` instance (@gcanti)
+    - add `applicativeReaderTaskEitherSeq` instance (@gcanti)
+    - add `bifunctorReaderTaskEither` instance (@gcanti)
+    - add `altReaderTaskEither` instance (@gcanti)
+  - `ReadonlyArray`
+    - add `functorArray` instance (@gcanti)
+    - add `functorWithIndexArray` instance (@gcanti)
+    - add `applicativeArray` instance (@gcanti)
+    - add `monadArray` instance (@gcanti)
+    - add `unfoldableArray` instance (@gcanti)
+    - add `altArray` instance (@gcanti)
+    - add `alternativeArray` instance (@gcanti)
+    - add `extendArray` instance (@gcanti)
+    - add `compactableArray` instance (@gcanti)
+    - add `filterableArray` instance (@gcanti)
+    - add `filterableWithIndexArray` instance (@gcanti)
+    - add `foldableArray` instance (@gcanti)
+    - add `foldableWithIndexArray` instance (@gcanti)
+    - add `traversableArray` instance (@gcanti)
+    - add `traversableWithIndexArray` instance (@gcanti)
+    - add `witherableArray` instance (@gcanti)
+  - `ReadonlyMap`
+    - add `functorMap` instance (@gcanti)
+    - add `compactableMap` instance (@gcanti)
+    - add `filterableMap` instance (@gcanti)
+  - `ReadonlyNonEmptyArray`
+    - add `functorNonEmptyArray` instance (@gcanti)
+    - add `functorWithIndexNonEmptyArray` instance (@gcanti)
+    - add `applicativeNonEmptyArray` instance (@gcanti)
+    - add `monadNonEmptyArray` instance (@gcanti)
+    - add `foldableNonEmptyArray` instance (@gcanti)
+    - add `foldableWithIndexNonEmptyArray` instance (@gcanti)
+    - add `traversableNonEmptyArray` instance (@gcanti)
+    - add `traversableWithIndexNonEmptyArray` instance (@gcanti)
+    - add `altNonEmptyArray` instance (@gcanti)
+    - add `comonadNonEmptyArray` instance (@gcanti)
+  - `ReadonlyRecord`
+    - add `functorRecord` instance (@gcanti)
+    - add `functorWithIndexRecord` instance (@gcanti)
+    - add `foldableRecord` instance (@gcanti)
+    - add `compactableRecord` instance (@gcanti)
+    - add `filterableRecord` instance (@gcanti)
+    - add `filterableWithIndexRecord` instance (@gcanti)
+    - add `traversableRecord` instance (@gcanti)
+    - add `traversableWithIndexRecord` instance (@gcanti)
+    - add `witherableRecord` instance (@gcanti)
+  - `ReadonlyTuple`
+    - add `functorTuple` instance (@gcanti)
+    - add `bifunctorTuple` instance (@gcanti)
+    - add `semigroupoidTuple` instance (@gcanti)
+    - add `comonadTuple` instance (@gcanti)
+    - add `foldableTuple` instance (@gcanti)
+    - add `traversableTuple` instance (@gcanti)
+  - `Record`
+    - add `functorRecord` instance (@gcanti)
+    - add `functorWithIndexRecord` instance (@gcanti)
+    - add `foldableRecord` instance (@gcanti)
+    - add `compactableRecord` instance (@gcanti)
+    - add `filterableRecord` instance (@gcanti)
+    - add `filterableWithIndexRecord` instance (@gcanti)
+    - add `traversableRecord` instance (@gcanti)
+    - add `traversableWithIndexRecord` instance (@gcanti)
+    - add `witherableRecord` instance (@gcanti)
+  - `State`
+    - add `functorState` instance (@gcanti)
+    - add `applicativeState` instance (@gcanti)
+    - add `monadState` instance (@gcanti)
+  - `Store`
+    - add `functorStore` instance (@gcanti)
+    - add `comonadStore` instance (@gcanti)
+  - `StateReaderTaskEither`
+    - add `functorStateReaderTaskEither` instance (@gcanti)
+    - add `applicativeStateReaderTaskEither` instance (@gcanti)
+    - add `bifunctorStateReaderTaskEither` instance (@gcanti)
+    - add `altStateReaderTaskEither` instance (@gcanti)
+  - `Task`
+    - add `functorTask` instance (@gcanti)
+    - add `applicativeTaskPar` instance (@gcanti)
+    - add `applicativeTaskSeq` instance (@gcanti)
+  - `TaskEither`
+    - add `getApplicativeTaskValidation` constrained instance (@gcanti)
+    - add `getAltTaskValidation` constrained instance (@gcanti)
+    - add `functorTaskEither` instance (@gcanti)
+    - add `applicativeTaskEitherPar` instance (@gcanti)
+    - add `applicativeTaskEitherSeq` instance (@gcanti)
+    - add `bifunctorTaskEither` instance (@gcanti)
+    - add `altTaskEither` instance (@gcanti)
+  - `TaskThese`
+    - add `functorTaskThese` instance (@gcanti)
+    - add `bifunctorTaskThese` instance (@gcanti)
+  - `These`
+    - add `getApplicative` constrained instance (@gcanti)
+    - add `functorThese` instance (@gcanti)
+    - add `bifunctorThese` instance (@gcanti)
+    - add `foldableThese` instance (@gcanti)
+    - add `traversableThese` instance (@gcanti)
+  - `Traced`
+    - rename `traced` to `functorTraced` for consistency (@gcanti)
+  - `Tree`
+    - add `functorTree` instance (@gcanti)
+    - add `applicativeTree` instance (@gcanti)
+    - add `monadTree` instance (@gcanti)
+    - add `foldableTree` instance (@gcanti)
+    - add `traversableTree` instance (@gcanti)
+    - add `comonadTree` instance (@gcanti)
+  - `Traced`
+    - rename `writer` to `functorWriter` for consistency (@gcanti)
+  - `Tuple`
+    - add `functorTuple` instance (@gcanti)
+    - add `bifunctorTuple` instance (@gcanti)
+    - add `semigroupoidTuple` instance (@gcanti)
+    - add `comonadTuple` instance (@gcanti)
+    - add `foldableTuple` instance (@gcanti)
+    - add `traversableTuple` instance (@gcanti)
+
 # 2.6.7
 
 - **Polish**