Tags:
- [New Feature]
- [Bug Fix]
- [Breaking Change]
- [Documentation]
- [Internal]
- [Polish]
- [Experimental]
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.
- New Feature
Array: addfindFirstandfindLastfunctions (@chasent)Option: addgetOrElseValue,filter,mapNullable(@raveclassic)Either: addgetOrElseValue(@raveclassic)Either: addfromNullable(@gcanti)
- Bug Fix
Either:equalsnow accepts aSetoid<L>other thanSetoid<A>, fix #247 (@gcanti)Validation:equalsnow accepts aSetoid<L>other thanSetoid<A>, fix #247 (@gcanti)
- New Feature
- add
Invariant(@gcanti) Semigroup: addgetRecordSemigroup,getRecordMonoid,getMeetSemigroup,getJoinSemigroup(@gcanti)Ord: addgetSemigroup,fromCompare,contramap(@gcanti)Option: addtoUndefinedmethod (@vegansk)These: addgetMonad(@gcanti)Foldable: addfold(@gcanti)- add
TaskEither(@gcanti) Validation: addfromEither(@gcanti)Task: addfromIO(@gcanti)Either: pass value togetOrElse(@jiayihu)Array: addspanfunction (@gcanti)
- add
- Bug Fix
Array: fixtakeWhile,dropWhile(@gcanti)
- Documentation
- add
Mooremachine example (@gcanti) - add MTL style example (@gcanti)
- starting API documentation (@gcanti)
- add
- Internal
- fix
Semigroupoiddefinition (@gcanti)
- fix
- Polish
Ordering: shortenorderingSemigroupdefinition (@gcanti)Task: prefer{}toany, fix #231 (@OliverJAsh)- upgrade to
prettier@1.7.0(@gcanti) These: fixfoldandbimapdefinitions (@gcanti)- fix
ArrayOptionexample (@gcanti) State: removeEndomorphismtype alias (@gcanti)Monoidal: useliftA2(@gcanti)
- Bug Fix
- fixed EitherT to only run code on the left once, closes #219 (@nfma)
- fixed OptionT to only run code on none once (@gcanti)
- Breaking Change
- migrate to curried APIs when possible (@raveclassic, @gcanti)
- remove useless static
ofs (@gcanti)
- New Feature
- Array: add zip and zipWith (@gcanti)
- Monoid: add getArrayMonoid (@gcanti)
- Tuple
- add toString (@gcanti)
- add getApplicative (@gcanti)
- add getChainRec (@gcanti)
- Setoid: add getArraySetoid (@gcanti)
- Bug fix
- Store
- fix extend implementation (@gcanti)
- fix toString (@gcanti)
- Store
- Polish
- Plus: remove any from signatures (@gcanti)
- New Feature
- add endomorphism monoid, fix #189 (@gcanti)
- add a default implementation of
foldrusingfoldMap(@gcanti) - add
insert,removeandpoptoStrMap(@gcanti) - improve
voidLeft,voidRighttype inference, fix #191 (@gcanti)
- Bug Fix
- StrMap.size returns a wrong number of key/value pairs, fix #186 (@gcanti)
- Documentation
- start book "fp-ts by examples"
- New Feature
- add
contains,isNone,isSome,existsmethods toOption(@alexandervanhecke) - add
Exceptionmodule (@gcanti) - add
Pairmodule (@gcanti) - add
Tracemodule (@gcanti) - add
IxMonadmodule (@gcanti) - add
IxIOmodule (@gcanti) - add
Either.fromOption(@gcanti)
- add
- Documentation
- add
StateTexample (@gcanti) - add
IxIOexample (@gcanti)
- add
- New Feature
- add type-level dictionaries in order to reduce the number of overloadings (@gcanti)
- add typechecks to the type-level HKT dictionary (@SimonMeskens)
- add Task.tryCatch, closes #159 (@gcanti)
- use the bottom
nevertype for none, closes #160 (@gcanti) - add Random module (@gcanti)
- add Console module (@gcanti)
- add FantasyFilterable (@SimonMeskens)
- add FantasyWitherable (@SimonMeskens)
- Documentation
- add ReaderIO example (@gcanti)
- add EitherOption example (@gcanti)
- Polish
- TaskEither: rename fromPromise to tryCatch (@gcanti)
- Internal
- add fix-prettier task (@gcanti)
- remove typings-checker (doesn’t work with ts 2.4.1) (@gcanti)
- Breaking Change
- Tuple (wrapped)
- Dictionary (wrapped, renamed to StrMap)
- changed
- Applicative.getCompositionApplicative (also renamed to getApplicativeComposition)
- Foldable.getCompositionFoldable (also renamed to getFoldableComposition)
- Functor.getCompositionFunctor (also renamed to getFunctorComposition)
- Traversable.getCompositionTraversable (also renamed to getTraversableComposition)
- Free (usage)
- NaturalTransformation
- ReaderT
- StateT
- removed (temporarily or because the porting is not possible)
- Id (not possible)
- Traced
- IxMonad
- Mealy
- FreeAp
- New Feature
- Functor: add
flap, closes #129 (@gcanti) - Add getSetoid instances, closes #131 (@gcanti)
- Add "flipped" ap method to FantasyApply instances, closes #132 (@gcanti)
- Functor: add
- Polish
- Examples: correct TaskEither fold method (@OliverJAsh)
- Bug Fix
Array.snocreturns wrong results with nested arrays, fix #133 (@gcanti)
- New Feature
- Functor: add
voidRight/voidLeft, closes #120 (@gcanti) - Add
Mealymachine, closes #122 (@gcanti) - Add
Filterable, closes #124 (@gcanti) - Add
Witherable, closes #125 (@gcanti)
- Functor: add
- Polish
- upgrade to ts 2.3.4
- Either: make
right=== `of\ - IxIO example: use new proof
- Bug Fix
- IxMonad: remove wrong type constraint (@gcanti)
- New Feature
- add
Free Applicative, closes #106 (@gcanti) - Add
Semiring, closes #107 (@gcanti) - Add
Ring, closes #108 (@gcanti) - Add
Field, closes #109 (@gcanti) - Improve
toStringmethods, closes #116 (@gcanti)
- add
- Bug Fix
- NonEmptyArray: add missing static
of(@gcanti) - add
_tagtype annotations, closes #118 (@gcanti)
- NonEmptyArray: add missing static
- Internal
- Change
proofs of implementation (@rilut) - use prettier, closes #114 (@gcanti)
- Change
- New Feature
- add
StateTmonad transformer, closes #104 (@gcanti) - add
Storecomonad, closes #100 (@rilut) - add
Lastmonoid, closes #99 (@gcanti) - add
Idmonadfunctor (@gcanti) - Array: add extend instance (@gcanti)
- NonEmptyArray: add comonad instance (@gcanti)
examplesfolderexercisesfolder
- add
- Polish
- Tuple: remove StaticFunctor checking (@rilut)
- Breaking Change (@gcanti)
- required typescript version: 2.3.3
- drop
Staticprefix in type classes - Change contramap signature, closes #32
- Validation: remove deprecated functions
- Foldable/toArray
- Dictionary/fromFoldable
- Dictionary/toUnfoldable
- Profunctor/lmap
- Profunctor/rmap
- Unfoldable/replicate
- compositions: renaming and signature changes
getFunctorComposition->getCompositionFunctorgetApplicativeComposition->getCompositionApplicativegetFoldableComposition->getCompositionFoldablegetTraversableComposition->getCompositionTraversable
OptionT,EitherT,ReaderTrefactoring- drop
IxMonadT, moveIxIOto theexamplesfolder - drop
Transmodule Freerefactoring- drop
rxjsdependency - drop
lib-jsnextfolder - make
Noneconstructor private - remove
PointedandCopointedtype classes
- New Feature
- add Monoidal type class (@gcanti)
- Bug Fix
- fix
foldMap, closes #89 (@gcanti) - replace
instanceofchecks with valued_tags, fix #96 (@gcanti, @sledorze)
- fix
- New Feature
- Monoid: add
getFunctionStaticMonoid, closes #70 (@gcanti) - Foldable: add
traverse_andsequence_, closes #71 (@gcanti) - add
getStaticMonadtoEitherT,OptionT,ReaderT, closes #81 (@gcanti) - Applicative: add
when, closes #77 (@gcanti) - indexed monad type class and
IxMonadT, closes #73 (@gcanti) - Array / function: add refinements, closes #68 (@gcanti, @sledorze)
- Monoid: add
- Bug Fix
- Either:
ofshould returnEither, fix #80 (@gcanti) - fix
toArray(@gcanti)
- Either:
- New Feature
Foldablemodule: addintercalatefunction, fix #65 (@gcanti)- Add
Profunctortypeclass, fix #33 (@gcanti, @sledorze) - Add
These, fix #47 (@gcanti) Applymodule: addapplyFirstandapplySecond, fix #60 (@sledorze)
- Bug Fix
- fix
Either.ap(@sledorze)
- fix
- Polish
- expose experimental modules (@danielepolencic, @gcanti)
- New Feature
- add
getOrElsetoEither, fix #39 (@sledorze) - add composition of functors, applicatives, foldables, traversables, fix #53 (@gcanti)
- add
- Experimental
- add
EitherT, fix #36 (@gcanti) - add
OptionT, fix #37 (@gcanti) - add
ReaderT, fix #38 (@gcanti) - add
Transtypeclass (liftT), fix #40 (@gcanti) - add
Free, fix #42 (@gcanti)
- add
- Polish
- deprecate
validation.getApplicativeS/validation.getStaticApplicative(@gcanti)
- deprecate
- Bug Fix
- fix return types of
validation.success/validation.failure(@gcanti)
- fix return types of
- Bug Fix
- fix
Some.reduceso it callsf, gcanti#45 (@leemhenson)
- fix
- New Feature
Semigroupoidtype class (@gcanti)Rxjsmodule (@gcanti)Tuplemodule (@gcanti)Dictionarymodule (@gcanti)- add phantom types to all data structures in order to allow type extraction (@gcanti)
- add all exports for rollup (@gcanti)
- Breaking Change
- complete refactoring: new technique to get higher kinded types and typeclasses
- New Feature
- add support for fantasy-land
- Breaking Change
- complete refactoring
- remove
datamodule - remove
newtypemodule
- Bug Fix
- fix
composedefinition for 5 or more functions (@bumbleblym)
- fix
- New Feature
- make Array a HKT and deprecate
to,fromhelper functions, fix #5 (@gcanti) - add
Tracedcomonad (@bumbleblym) - add
getOrElsemethod toOption(@gcanti) - add NonEmptyArray, fix #12 (@gcanti)
- make Array a HKT and deprecate
- Polish
- add tslint
- Bug Fix
- fix
Statedefinition (@gcanti)
- fix
- Bug Fix
- fix
ChainRecdefinition (@gcanti)
- fix
Initial release