gitextract_97f0v62q/ ├── .editorconfig ├── .eslintrc.json ├── .github/ │ ├── FUNDING.yml │ ├── ISSUE_TEMPLATE/ │ │ ├── Bug_report.md │ │ ├── Documentation.md │ │ └── Feature_request.md │ ├── PULL_REQUEST_TEMPLATE.md │ └── workflows/ │ └── main.yml ├── .gitignore ├── .prettierrc ├── .vscode/ │ └── settings.json ├── CHANGELOG.md ├── Do.md ├── LICENSE ├── README.md ├── code2comment.html ├── docs/ │ ├── _config.yml │ ├── _sass/ │ │ └── custom/ │ │ └── custom.scss │ ├── ecosystem.md │ ├── guides/ │ │ ├── HKT.md │ │ ├── code-conventions.md │ │ ├── do-notation.md │ │ ├── index.md │ │ ├── purescript.md │ │ └── upgrade-to-v2.md │ ├── index.md │ ├── learning-resources.md │ └── modules/ │ ├── Alt.ts.md │ ├── Alternative.ts.md │ ├── Applicative.ts.md │ ├── Apply.ts.md │ ├── Array.ts.md │ ├── Bifunctor.ts.md │ ├── BooleanAlgebra.ts.md │ ├── Bounded.ts.md │ ├── BoundedDistributiveLattice.ts.md │ ├── BoundedJoinSemilattice.ts.md │ ├── BoundedLattice.ts.md │ ├── BoundedMeetSemilattice.ts.md │ ├── Category.ts.md │ ├── Chain.ts.md │ ├── ChainRec.ts.md │ ├── Choice.ts.md │ ├── Comonad.ts.md │ ├── Compactable.ts.md │ ├── Console.ts.md │ ├── Const.ts.md │ ├── Contravariant.ts.md │ ├── Date.ts.md │ ├── DistributiveLattice.ts.md │ ├── Either.ts.md │ ├── EitherT.ts.md │ ├── Endomorphism.ts.md │ ├── Eq.ts.md │ ├── Extend.ts.md │ ├── Field.ts.md │ ├── Filterable.ts.md │ ├── FilterableWithIndex.ts.md │ ├── Foldable.ts.md │ ├── FoldableWithIndex.ts.md │ ├── FromEither.ts.md │ ├── FromIO.ts.md │ ├── FromReader.ts.md │ ├── FromState.ts.md │ ├── FromTask.ts.md │ ├── FromThese.ts.md │ ├── Functor.ts.md │ ├── FunctorWithIndex.ts.md │ ├── Group.ts.md │ ├── HKT.ts.md │ ├── HeytingAlgebra.ts.md │ ├── IO.ts.md │ ├── IOEither.ts.md │ ├── IOOption.ts.md │ ├── IORef.ts.md │ ├── Identity.ts.md │ ├── Invariant.ts.md │ ├── JoinSemilattice.ts.md │ ├── Json.ts.md │ ├── Lattice.ts.md │ ├── Magma.ts.md │ ├── Map.ts.md │ ├── MeetSemilattice.ts.md │ ├── Monad.ts.md │ ├── MonadIO.ts.md │ ├── MonadTask.ts.md │ ├── MonadThrow.ts.md │ ├── Monoid.ts.md │ ├── NaturalTransformation.ts.md │ ├── NonEmptyArray.ts.md │ ├── Option.ts.md │ ├── OptionT.ts.md │ ├── Ord.ts.md │ ├── Ordering.ts.md │ ├── Pointed.ts.md │ ├── Predicate.ts.md │ ├── Profunctor.ts.md │ ├── Random.ts.md │ ├── Reader.ts.md │ ├── ReaderEither.ts.md │ ├── ReaderIO.ts.md │ ├── ReaderT.ts.md │ ├── ReaderTask.ts.md │ ├── ReaderTaskEither.ts.md │ ├── ReadonlyArray.ts.md │ ├── ReadonlyMap.ts.md │ ├── ReadonlyNonEmptyArray.ts.md │ ├── ReadonlyRecord.ts.md │ ├── ReadonlySet.ts.md │ ├── ReadonlyTuple.ts.md │ ├── Record.ts.md │ ├── Refinement.ts.md │ ├── Ring.ts.md │ ├── Semigroup.ts.md │ ├── Semigroupoid.ts.md │ ├── Semiring.ts.md │ ├── Separated.ts.md │ ├── Set.ts.md │ ├── Show.ts.md │ ├── State.ts.md │ ├── StateReaderTaskEither.ts.md │ ├── StateT.ts.md │ ├── Store.ts.md │ ├── Strong.ts.md │ ├── Task.ts.md │ ├── TaskEither.ts.md │ ├── TaskOption.ts.md │ ├── TaskThese.ts.md │ ├── These.ts.md │ ├── TheseT.ts.md │ ├── Traced.ts.md │ ├── Traversable.ts.md │ ├── TraversableWithIndex.ts.md │ ├── Tree.ts.md │ ├── Tuple.ts.md │ ├── Unfoldable.ts.md │ ├── ValidationT.ts.md │ ├── Witherable.ts.md │ ├── Writer.ts.md │ ├── WriterT.ts.md │ ├── Zero.ts.md │ ├── boolean.ts.md │ ├── function.ts.md │ ├── index.md │ ├── index.ts.md │ ├── number.ts.md │ ├── pipeable.ts.md │ ├── string.ts.md │ ├── struct.ts.md │ └── void.ts.md ├── docs-ts.json ├── dtslint/ │ ├── Applicative.ts │ ├── Apply.ts │ ├── Array.ts │ ├── Console.ts │ ├── Const.ts │ ├── Either.ts │ ├── Eq.ts │ ├── Functor.ts │ ├── IO.ts │ ├── IOEither.ts │ ├── Identity.ts │ ├── Json.ts │ ├── Map.ts │ ├── Monoid.ts │ ├── NonEmptyArray.ts │ ├── Option.ts │ ├── Ord.ts │ ├── Reader.ts │ ├── ReaderEither.ts │ ├── ReaderT.ts │ ├── ReaderTask.ts │ ├── ReaderTaskEither.ts │ ├── ReadonlyArray.ts │ ├── ReadonlyMap.ts │ ├── ReadonlyNonEmptyArray.ts │ ├── ReadonlyRecord.ts │ ├── ReadonlySet.ts │ ├── Record.ts │ ├── Ring.ts │ ├── Semigroup.ts │ ├── Set.ts │ ├── Show.ts │ ├── StateReaderTaskEither.ts │ ├── Task.ts │ ├── TaskEither.ts │ ├── TaskOption.ts │ ├── Traversable.ts │ ├── Tree.ts │ ├── constrained.ts │ ├── function.ts │ ├── index.d.ts │ ├── index.ts │ ├── pipeable.ts │ └── tsconfig.json ├── examples/ │ ├── fp-ts-to-the-max-I.ts │ ├── fp-ts-to-the-max-II.ts │ └── tsconfig.json ├── package.json ├── perf/ │ ├── Either/ │ │ └── sequenceArray.ts │ ├── IO/ │ │ └── sequenceArray.ts │ ├── Option/ │ │ └── sequenceArray.ts │ ├── ReaderTask/ │ │ └── traverseReadonlyArrayWithIndexSeq.ts │ ├── ReaderTaskEither/ │ │ └── traverseReadonlyArrayWithIndexSeq.ts │ ├── ReadonlyNonEmptyArray.ts/ │ │ └── reverse.ts │ ├── StateReaderTaskEither/ │ │ └── sequenceArray.ts │ ├── Task/ │ │ ├── sequenceArray.ts │ │ ├── stack.ts │ │ └── traverseReadonlyArrayWithIndexSeq.ts │ ├── TaskEither/ │ │ └── traverseReadonlyArrayWithIndexSeq.ts │ ├── TaskOption/ │ │ └── traverseReadonlyArrayWithIndexSeq.ts │ ├── TaskOption.ts/ │ │ └── traverseReadonlyArrayWithIndexSeq.ts │ └── function/ │ ├── flow.ts │ └── pipe.ts ├── scripts/ │ ├── FileSystem.ts │ ├── build.ts │ ├── linter.ts │ ├── pre-publish.ts │ ├── release.ts │ └── run.ts ├── src/ │ ├── Alt.ts │ ├── Alternative.ts │ ├── Applicative.ts │ ├── Apply.ts │ ├── Array.ts │ ├── Bifunctor.ts │ ├── BooleanAlgebra.ts │ ├── Bounded.ts │ ├── BoundedDistributiveLattice.ts │ ├── BoundedJoinSemilattice.ts │ ├── BoundedLattice.ts │ ├── BoundedMeetSemilattice.ts │ ├── Category.ts │ ├── Chain.ts │ ├── ChainRec.ts │ ├── Choice.ts │ ├── Comonad.ts │ ├── Compactable.ts │ ├── Console.ts │ ├── Const.ts │ ├── Contravariant.ts │ ├── Date.ts │ ├── DistributiveLattice.ts │ ├── Either.ts │ ├── EitherT.ts │ ├── Endomorphism.ts │ ├── Eq.ts │ ├── Extend.ts │ ├── Field.ts │ ├── Filterable.ts │ ├── FilterableWithIndex.ts │ ├── Foldable.ts │ ├── FoldableWithIndex.ts │ ├── FromEither.ts │ ├── FromIO.ts │ ├── FromReader.ts │ ├── FromState.ts │ ├── FromTask.ts │ ├── FromThese.ts │ ├── Functor.ts │ ├── FunctorWithIndex.ts │ ├── Group.ts │ ├── HKT.ts │ ├── HeytingAlgebra.ts │ ├── IO.ts │ ├── IOEither.ts │ ├── IOOption.ts │ ├── IORef.ts │ ├── Identity.ts │ ├── Invariant.ts │ ├── JoinSemilattice.ts │ ├── Json.ts │ ├── Lattice.ts │ ├── Magma.ts │ ├── Map.ts │ ├── MeetSemilattice.ts │ ├── Monad.ts │ ├── MonadIO.ts │ ├── MonadTask.ts │ ├── MonadThrow.ts │ ├── Monoid.ts │ ├── NaturalTransformation.ts │ ├── NonEmptyArray.ts │ ├── Option.ts │ ├── OptionT.ts │ ├── Ord.ts │ ├── Ordering.ts │ ├── Pointed.ts │ ├── Predicate.ts │ ├── Profunctor.ts │ ├── Random.ts │ ├── Reader.ts │ ├── ReaderEither.ts │ ├── ReaderIO.ts │ ├── ReaderT.ts │ ├── ReaderTask.ts │ ├── ReaderTaskEither.ts │ ├── ReadonlyArray.ts │ ├── ReadonlyMap.ts │ ├── ReadonlyNonEmptyArray.ts │ ├── ReadonlyRecord.ts │ ├── ReadonlySet.ts │ ├── ReadonlyTuple.ts │ ├── Record.ts │ ├── Refinement.ts │ ├── Ring.ts │ ├── Semigroup.ts │ ├── Semigroupoid.ts │ ├── Semiring.ts │ ├── Separated.ts │ ├── Set.ts │ ├── Show.ts │ ├── State.ts │ ├── StateReaderTaskEither.ts │ ├── StateT.ts │ ├── Store.ts │ ├── Strong.ts │ ├── Task.ts │ ├── TaskEither.ts │ ├── TaskOption.ts │ ├── TaskThese.ts │ ├── These.ts │ ├── TheseT.ts │ ├── Traced.ts │ ├── Traversable.ts │ ├── TraversableWithIndex.ts │ ├── Tree.ts │ ├── Tuple.ts │ ├── Unfoldable.ts │ ├── ValidationT.ts │ ├── Witherable.ts │ ├── Writer.ts │ ├── WriterT.ts │ ├── Zero.ts │ ├── boolean.ts │ ├── function.ts │ ├── index.ts │ ├── internal.ts │ ├── number.ts │ ├── pipeable.ts │ ├── string.ts │ ├── struct.ts │ └── void.ts ├── test/ │ ├── Alternative.ts │ ├── Applicative.ts │ ├── Apply.ts │ ├── Array.ts │ ├── BooleanAlgebra.ts │ ├── Bounded.ts │ ├── BoundedDistributiveLattice.ts │ ├── Choice.ts │ ├── Compactable.ts │ ├── Console.ts │ ├── Const.ts │ ├── Date.ts │ ├── Either.ts │ ├── EitherT.ts │ ├── Endomorphism.ts │ ├── Eq.ts │ ├── Field.ts │ ├── Filterable.ts │ ├── Foldable.ts │ ├── FoldableWithIndex.ts │ ├── Functor.ts │ ├── FunctorWithIndex.ts │ ├── IO.ts │ ├── IOEither.ts │ ├── IOOption.ts │ ├── IORef.ts │ ├── Identity.ts │ ├── Json.ts │ ├── Magma.ts │ ├── Map.ts │ ├── Monoid.ts │ ├── NonEmptyArray.ts │ ├── Option.ts │ ├── OptionT.ts │ ├── Ord.ts │ ├── Ordering.ts │ ├── Predicate.ts │ ├── Random.ts │ ├── Reader.ts │ ├── ReaderEither.ts │ ├── ReaderIO.ts │ ├── ReaderT.ts │ ├── ReaderTask.ts │ ├── ReaderTaskEither.ts │ ├── ReadonlyArray.ts │ ├── ReadonlyMap.ts │ ├── ReadonlyNonEmptyArray.ts │ ├── ReadonlyRecord.ts │ ├── ReadonlySet.ts │ ├── ReadonlyTuple.ts │ ├── Record.ts │ ├── Refinement.ts │ ├── Ring.ts │ ├── Semigroup.ts │ ├── Separated.ts │ ├── Set.ts │ ├── Show.ts │ ├── State.ts │ ├── StateReaderTaskEither.ts │ ├── Store.ts │ ├── Strong.ts │ ├── Task.ts │ ├── TaskEither.ts │ ├── TaskOption.ts │ ├── TaskThese.ts │ ├── These.ts │ ├── Traced.ts │ ├── Traversable.ts │ ├── Tree.ts │ ├── Tuple.ts │ ├── ValidationT.ts │ ├── Witherable.ts │ ├── Writer.ts │ ├── boolean.ts │ ├── function.ts │ ├── index.ts │ ├── number.ts │ ├── pipeable.ts │ ├── string.ts │ ├── struct.ts │ └── util.ts ├── tsconfig.build-es6.json ├── tsconfig.build.json ├── tsconfig.eslint.json ├── tsconfig.json └── vite.config.ts