Modules

This section provides technical reference material for the functions, data types, and type classes provided by fp-ts.

---

Table of contents

• Alt.ts
• Alternative.ts
• Applicative.ts
• Apply.ts
• Array.ts
• Bifunctor.ts
• boolean.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
• function.ts
• Functor.ts
• FunctorWithIndex.ts
• Group.ts
• HeytingAlgebra.ts
• HKT.ts
• Identity.ts
• index.ts
• Invariant.ts
• IO.ts
• IOEither.ts
• IOOption.ts
• IORef.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
• number.ts
• Option.ts
• OptionT.ts
• Ord.ts
• Ordering.ts
• pipeable.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
• string.ts
• Strong.ts
• struct.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
• void.ts
• Witherable.ts
• Writer.ts
• WriterT.ts
• Zero.ts