Polish

Support strictBuiltinIteratorReturn, #1949

Polish

Resolved a RangeError where the maximum call stack size was exceeded when invoking chainWithIndex, #1931

• tapEither (dual) (aka chainFirstEitherK / chainFirstEitherKW) #1864
• tapIO (dual) (aka chainFirstIOK) #1865
• as / asUnit #1867
• tapTask (dual) (aka chainFirstTaskK) #1869
• mapError (dual) (aka mapLeft) #1870
• mapBoth (dual) (aka bimap) #1872
• tapReader (dual) (aka chainFirstReaderK / chainFirstIReaderKW) #1871
• tapReaderEither (dual) (aka chainFirstReaderEitherK / chainFirstEitherKW) #1873
• tapReaderIO (dual) (aka chainFirstReaderIOK) #1873
• tapReaderTask (dual) (aka chainFirstReaderTaskK) #1873
• tapTaskEither (dual) (aka chainFirstTaskEitherK / chainFirstTaskEitherKW) #1873
• flatMapReaderTask (dual) (aka chainReaderTaskK / chainReaderTaskKW) #1874
• flatMapTaskEither (dual) (aka chainTaskEitherK / chainTaskEitherKW) #1874
• flatMapIO (dual) (aka chainIOK) #1874
• Option.orElse (dual) (aka alt / altW) #1868
• flatMapTask (dual) (aka chainTaskK) #1876
• flatMapReader (dual) (aka chainReaderK / chainReaderKW) #1876
• flatMapReaderIO (dual) (aka chainReaderIOK / chainReaderIOKW) #1879
• flatMap* (aka chain*K / chain*KW) #1880

New Feature

• function
  • add LazyArg
• add tap (dual) (aka chainFirst / chainFirstW) to:
  • Either
  • IO
  • IOEither
  • IOOption
  • Option
  • Reader
  • ReaderEither
  • ReaderIO
  • ReaderTask
  • ReaderTaskEither
  • State
  • StateReaderTaskEither
  • Task
  • TaskEither
  • TaskOption
• add tapError (dual) (aka orElseFirst / orElseFirstW) to:
  • IOEither
  • ReaderEither
  • ReaderTaskEither
  • TaskEither
• add flatMapNullable (dual) to:
  • Either
  • IOEither
  • ReaderEither
  • ReaderTaskEither
  • StateReaderTaskEither
  • TaskEither
• add flatMapOption (dual) to:
  • Either
  • IOEither
  • ReaderEither
  • ReaderTaskEither
  • StateReaderTaskEither
  • TaskEither
• add liftNullable to:
  • Either
  • IOEither
  • ReaderEither
  • ReaderTaskEither
  • StateReaderTaskEither
  • TaskEither
• add liftOption to:
  • Either
  • IOEither
  • ReaderEither
  • ReaderTaskEither
  • StateReaderTaskEither
  • TaskEither
• add flatMapEither (dual) to:
  • IOEither
  • ReaderEither
  • ReaderTaskEither
  • TaskEither
• Array
  • add index to flatMap
• NonEmptyArray
  • add index to flatMap
• ReadonlyArray
  • add index to flatMap
• ReadonlyNonEmptyArray
  • add index to flatMap

New Feature

• add flatMap to
  • Either
  • IOEither
  • Reader
  • ReaderEither
  • ReaderIO
  • ReaderTask
  • ReaderTaskEither
  • StateReaderTaskEither
  • TaskEither
  • NonEmptyArray
  • ReadonlyNonEmptyArray
  • Tree
  • Array
  • Identity
  • IO
  • IOOption
  • Option
  • ReadonlyArray
  • State
  • Task
  • TaskOption

the gist is:

• you can replace chain / chainW with flatMap
• you can call flatMap in 2 ways: pipe(ma, flatMap(f)) (data-last, aka pipeable) or flatMap(ma, f) (data-first)

• add chainOptionKW, #1846 (@DenisFrezzato)

• New Feature
  • new modules:
    • ReaderIO, #1738 (@sukovanej)
  • do notation:
    • add let helpers, #1725 (@Punie)
  • Alternative
    • add getAlternativeMonoid, #1717 (@willheslam)
  • function
    • flip is now curried, #1748 (@thewilkybarkid)
  • pipeable
    • add pipeable helpers, #1764 (@gcanti)
      • alt
      • ap
      • bimap
      • chain
      • compose
      • contramap
      • extend
      • filter
      • filterMap
      • filterMapWithIndex
      • filterWithIndex
      • foldMap
      • foldMapWithIndex
      • map
      • mapLeft
      • mapWithIndex
      • partition
      • partitionMap
      • partitionMapWithIndex
      • partitionWithIndex
      • promap
      • reduce
      • reduceRight
      • reduceRightWithIndex
      • reduceWithIndex
  • ReaderTask
    • add ReaderIO constructors/combinators, #1773 (@thewilkybarkid)
  • ReaderTaskEither
    • add ReaderIO constructors/combinators, #1774 (@thewilkybarkid)
  • TaskEither
    • add chainTaskOptionKW, #1744 (@AmirabbasJ)
• Polish
  • backport from v3 some handy defaults defined in natural transformations/combinators/constructors (@gcanti)
  • fix wrong type parameter order:
    • FromIO
      • chainIOK
    • FromTask
      • chainTaskK
      • chainFirstTaskK
    • Whiterable
      • FilterE1
    • TheseT
      • both
    • Either
      • apFirstW
      • apSecondW
    • IOEither
      • apFirstW
      • apSecondW
    • Reader
      • apFirstW
      • apSecondW
    • ReaderEither
      • apFirstW
      • apSecondW
    • ReaderTaskEither
      • apFirstW
      • apSecondW
    • StateReaderTaskEither
      • apFirstW
      • apSecondW
    • TaskEither
      • apFirstW
      • apSecondW
  • Apply
    • add ap overloadings, #1721 (@waynevanson)
  • Either
    • remove useless type parameter in exists (@gcanti)
  • ReadonlyRecord
    • fix fromEntries return type, closes #1745 (@gcanti)
  • TaskEither
    • fix fromPredicate signature (@gcanti)
  • These
    • add missing fromPredicate (@gcanti)
    • remove useless type parameter in exists (@gcanti)
  • Traversable
    • add more overloadings to traverse / sequence helpers, #1758 (@gcanti)
  • Writer
    • getChain requires a Semigroup instead of a Monoid (@gcanti)
• Deprecation
  • function
    • deprecate uncurried flip function, #1748 (@thewilkybarkid)

BROKEN RELEASE

• Experimental
  • add exports field to package.json in order to support moduleResolution node12/nodenext, #1765 (@gcanti)

How to install:

npm install fp-ts@rc

• Bug Fix
  • package.json exports field: move ./* to the end, closes #1786 (@gcanti)
  • revert PR 1584 because is causing a regression (@gcanti)

How to install:

npm install fp-ts@rc

• Polish
  • backport from v3 some handy defaults defined in natural transformations, kleisli arrows helpers, of functions (@gcanti)
  • Either
    • remove useless type parameter in exists (@gcanti)
  • TaskEither
    • fix fromPredicate signature (@gcanti)
  • These
    • add missing fromPredicate (@gcanti)
    • remove useless type parameter in exists (@gcanti)