Packages

fp-ts

2.16.11 · 18 Aug 2025MIT6.2M / weekRepositorynpmAtom feed

Your version

2.7.0

7 Jul 2020Where it was published

2.16.11 is the newest release of 2.x.

In short

44 new3 changed

Release note

  • Bug Fix

    • These

      • fix ap implementation in getMonad function

  • Polish

    • improve performance of sequenceT and sequenceS, fix #1255

  • New Feature

    • function

      • add hole (type hole simulation)

    • Array

      • add chainWithIndex, #1256

      • add Functor instance

      • add FunctorWithIndex instance

      • add Applicative instance

      • add Monad instance

      • add Unfoldable instance

      • add Alt instance

      • add Alternative instance

      • add Extend instance

      • add Compactable instance

      • add Filterable instance

      • add FilterableWithIndex instance

      • add Foldable instance

      • add FoldableWithIndex instance

      • add Traversable instance

      • add TraversableWithIndex instance

      • add Witherable instance

    • Const

      • add Functor instance

      • add Contravariant instance

      • add Bifunctor instance

    • Either

      • add getApplicativeValidation constrained instance

      • add getAltValidation constrained instance

      • add Functor instance

      • add Applicative instance

      • add Monad instance

      • add Foldable instance

      • add Traversable instance

      • add Bifunctor instance

      • add Alt instance

      • add Extend instance

      • add ChainRec instance

      • add MonadThrow instance

    • Eq

      • add Contravariant instance

    • Identity

      • add Functor instance

      • add Applicative instance

      • add Monad instance

      • add Foldable instance

      • add Traversable instance

      • add Alt instance

      • add Comonad instance

      • add ChainRec instance

    • IO

      • add Functor instance

      • add Applicative instance

      • add Monad instance

      • add MonadIO instance

      • add ChainRec instance

    • IOEither

      • add getApplicativeIOValidation constrained instance

      • add getAltIOValidation constrained instance

      • add Functor instance

      • add Applicative instance

      • add Monad instance

      • add Bifunctor instance

      • add Alt instance

      • add MonadIO instance

      • add MonadThrow instance

    • Map

      • add Functor instance

      • add Compactable instance

      • add Filterable instance

    • NonEmptyArray

      • add Functor instance

      • add FunctorWithIndex instance

      • add Applicative instance

      • add Monad instance

      • add Foldable instance

      • add FoldableWithIndex instance

      • add Traversable instance

      • add TraversableWithIndex instance

      • add Alt instance

      • add Comonad instance

    • Option

      • add Functor instance

      • add Applicativ instance

      • add Monad instance

      • add Foldable instance

      • add Alt instance

      • add Alternative instance

      • add Extend instance

      • add Compactable instance

      • add Filterable instance

      • add Traversable instance

      • add Witherable instance

      • add MonadThrow instance

    • Ord

      • add ContravariantOrd instance

    • Reader

      • add Functor instance

      • add Applicative instance

      • add Monad instance

      • add Profunctor instance

      • add Category instance

      • add String instance

      • add Choice instance

    • ReaderEither

      • add getApplicativeReaderValidation constrained instance

      • add getAltReaderValidation constrained instance

      • add Functor instance

      • add Applicative instance

      • add Monad instance

      • add Bifunctor instance

      • add Alt instance

      • add MonadThrow instance

    • ReaderTask

      • add Functor instance

      • add ApplicativePar instance

      • add ApplicativeSeq instance

    • ReaderTaskEither

      • add getApplicativeReaderTaskValidation constrained instance

      • add getAltReaderTaskValidation constrained instance

      • add Functor instance

      • add ApplicativePar instance

      • add ApplicativeSeq instance

      • add Bifunctor instance

      • add Alt instance

    • ReadonlyArray

      • add chainWithIndex, #1256

      • add Functor instance

      • add FunctorWithIndex instance

      • add Applicative instance

      • add Monad instance

      • add Unfoldable instance

      • add Alt instance

      • add Alternative instance

      • add Extend instance

      • add Compactable instance

      • add Filterable instance

      • add FilterableWithIndex instance

      • add Foldable instance

      • add FoldableWithIndex instance

      • add Traversable instance

      • add TraversableWithIndex instance

      • add Witherable instance

    • ReadonlyMap

      • add Functor instance

      • add Compactable instance

      • add Filterable instance

    • ReadonlyNonEmptyArray

      • add Functor instance

      • add FunctorWithIndex instance

      • add Applicative instance

      • add Monad instance

      • add Foldable instance

      • add FoldableWithIndex instance

      • add Traversable instance

      • add TraversableWithIndex instance

      • add Alt instance

      • add Comonad instance

    • ReadonlyRecord

      • add Functor instance

      • add FunctorWithIndex instance

      • add Foldable instance

      • add Compactable instance

      • add Filterable instance

      • add FilterableWithIndex instance

      • add Traversable instance

      • add TraversableWithIndex instance

      • add Witherable instance

    • ReadonlyTuple

      • add Functor instance

      • add Bifunctor instance

      • add Semigroupoid instance

      • add Comonad instance

      • add Foldable instance

      • add Traversable instance

    • Record

      • add Functor instance

      • add FunctorWithIndex instance

      • add Foldable instance

      • add Compactable instance

      • add Filterable instance

      • add FilterableWithIndex instance

      • add Traversable instance

      • add TraversableWithIndex instance

      • add Witherable instance

    • State

      • add Functor instance

      • add Applicative instance

      • add Monad instance

    • Store

      • add Functor instance

      • add Comonad instance

    • StateReaderTaskEither

      • add Functor instance

      • add Applicative instance

      • add Bifunctor instance

      • add Alt instance

    • Task

      • add Functor instance

      • add ApplicativePar instance

      • add ApplicativeSeq instance

    • TaskEither

      • add getApplicativeTaskValidation constrained instance

      • add getAltTaskValidation constrained instance

      • add Functor instance

      • add ApplicativePar instance

      • add ApplicativeSeq instance

      • add Bifunctor instance

      • add Alt instance

    • TaskThese

      • add Functor instance

      • add Bifunctor instance

    • These

      • add getApplicative constrained instance

      • add Functor instance

      • add Bifunctor instance

      • add Foldable instance

      • add Traversable instance

    • Traced

      • rename traced to Functor for consistency

    • Tree

      • add Functor instance

      • add Applicative instance

      • add Monad instance

      • add Foldable instance

      • add Traversable instance

      • add Comonad instance

    • Writer

      • add Functor instance

    • Tuple

      • add Functor instance

      • add Bifunctor instance

      • add Semigroupoid instance

      • add Comonad instance

      • add Foldable instance

      • add Traversable instance