🦙
fp-ts
⌘K
Readme
Learn
API
/
fp-ts
119
Namespaces
alt
altAll
Alt
Alt1
Alt2
Alt2C
Alt3
Alt3C
Alt4
alternative
altAll
Alternative
Alternative1
Alternative2
Alternative2C
Alternative3
Alternative3C
Alternative4
applicative
getApplicativeMonoid
getApplicativeComposition
Applicative
Applicative1
Applicative2
Applicative2C
Applicative3
Applicative3C
Applicative4
ApplicativeComposition
ApplicativeCompositionHKT1
ApplicativeCompositionHKT2
ApplicativeCompositionHKT2C
ApplicativeComposition11
ApplicativeComposition12
ApplicativeComposition12C
ApplicativeComposition21
ApplicativeComposition2C1
ApplicativeComposition22
ApplicativeComposition22C
apply
ap
apFirst
apSecond
apS
getApplySemigroup
sequenceT
sequenceS
Apply
Apply1
Apply2
Apply2C
Apply3
Apply3C
Apply4
array
fromPredicate
takeLeftWhile
spanLeft
dropLeftWhile
findFirst
findLast
zip
comprehension
union
intersection
difference
isEmpty
isNonEmpty
prepend
prependW
append
appendW
makeBy
replicate
fromOption
fromEither
matchW
match
matchLeftW
matchLeft
foldLeft
matchRightW
matchRight
foldRight
chainWithIndex
scanLeft
scanRight
size
isOutOfBound
lookup
head
last
tail
init
takeLeft
takeRight
Spanned
dropLeft
dropRight
findIndex
findFirstMap
findLastMap
findLastIndex
copy
insertAt
updateAt
deleteAt
modifyAt
reverse
rights
lefts
sort
zipWith
unzip
prependAll
intersperse
rotate
elem
uniq
sortBy
chop
splitAt
chunksOf
fromOptionK
concatW
concat
of
zero
map
ap
chain
flatten
mapWithIndex
filterMapWithIndex
filterMap
compact
separate
filter
partition
partitionWithIndex
partitionMap
partitionMapWithIndex
altW
alt
filterWithIndex
extend
duplicate
foldMap
foldMapWithIndex
reduce
reduceWithIndex
reduceRight
reduceRightWithIndex
traverse
sequence
traverseWithIndex
wither
wilt
unfold
URI
getShow
getSemigroup
getMonoid
getEq
getOrd
getUnionSemigroup
getUnionMonoid
getIntersectionSemigroup
getDifferenceMagma
Functor
flap
Pointed
FunctorWithIndex
Apply
apFirst
apSecond
Applicative
Chain
chainFirst
Monad
Unfoldable
Alt
Zero
guard
Alternative
Extend
Compactable
Filterable
FilterableWithIndex
Foldable
FoldableWithIndex
Traversable
TraversableWithIndex
Witherable
chainRecDepthFirst
ChainRecDepthFirst
chainRecBreadthFirst
ChainRecBreadthFirst
filterE
FromEither
fromEitherK
unsafeInsertAt
unsafeUpdateAt
unsafeDeleteAt
every
some
exists
intercalate
Do
bindTo
bind
apS
range
empty
cons
snoc
prependToAll
array
bifunctor
Bifunctor
Bifunctor2
Bifunctor2C
Bifunctor3
Bifunctor3C
Bifunctor4
boolean
isBoolean
matchW
foldW
match
fold
Eq
BooleanAlgebra
SemigroupAll
SemigroupAny
MonoidAll
MonoidAny
Ord
Show
booleanAlgebra
BooleanAlgebra
reverse
booleanAlgebraVoid
getDualBooleanAlgebra
booleanAlgebraBoolean
getFunctionBooleanAlgebra
bounded
Bounded
clamp
reverse
boundedNumber
boundedDistributiveLattice
getMinMaxBoundedDistributiveLattice
BoundedDistributiveLattice
boundedJoinSemilattice
BoundedJoinSemilattice
boundedLattice
BoundedLattice
boundedMeetSemilattice
BoundedMeetSemilattice
category
Category
Category2
Category3
Category4
chain
chainFirst
bind
Chain
Chain1
Chain2
Chain2C
Chain3
Chain3C
Chain4
chainRec
ChainRec
ChainRec1
ChainRec2
ChainRec2C
ChainRec3
ChainRec3C
ChainRec4
tailRec
choice
split
fanIn
splitChoice
fanin
Choice
Choice2
Choice3
Choice4
comonad
Comonad
Comonad1
Comonad2
Comonad2C
Comonad3
Comonad3C
Comonad4
compactable
compact
separate
getCompactableComposition
Compactable
Compactable1
Compactable2
Compactable2C
Compactable3
Compactable3C
Compactable4
CompactableComposition
CompactableComposition11
CompactableComposition12
CompactableComposition12C
CompactableComposition21
CompactableComposition2C1
CompactableComposition22
CompactableComposition22C
CompactableComposition23
CompactableComposition23C
Separated
console
log
warn
error
info
const
getShow
getApply
getApplicative
Const
make
getEq
getOrd
getBounded
getSemigroup
getMonoid
getSemiring
getRing
getHeytingAlgebra
getBooleanAlgebra
contramap
map
bimap
mapLeft
URI
Functor
flap
Contravariant
Bifunctor
const_
contravariant
Contravariant
Contravariant1
Contravariant2
Contravariant2C
Contravariant3
Contravariant3C
Contravariant4
date
Eq
eqDate
eqMonth
eqYear
Ord
create
now
distributiveLattice
getMinMaxDistributiveLattice
DistributiveLattice
either
toError
elem
parseJSON
getValidation
Left
Right
Either
left
right
URI
getShow
getEq
getSemigroup
getCompactable
getFilterable
getWitherable
getApplicativeValidation
getAltValidation
map
Functor
of
Pointed
apW
ap
Apply
Applicative
chainW
chain
Chain
Monad
reduce
foldMap
reduceRight
Foldable
traverse
sequence
Traversable
bimap
mapLeft
Bifunctor
altW
alt
Alt
extend
Extend
ChainRec
throwError
MonadThrow
FromEither
fromPredicate
fromOption
isLeft
isRight
matchW
foldW
match
fold
getOrElseW
getOrElse
flap
apFirst
apFirstW
apSecond
apSecondW
chainFirst
chainFirstW
flattenW
flatten
duplicate
fromOptionK
chainOptionK
filterOrElse
filterOrElseW
swap
orElseW
orElse
fromNullable
tryCatch
tryCatchK
fromNullableK
chainNullableK
toUnion
exists
Do
bindTo
bind
bindW
apS
apSW
ApT
traverseReadonlyNonEmptyArrayWithIndex
traverseReadonlyArrayWithIndex
traverseArrayWithIndex
traverseArray
sequenceArray
Json
JsonRecord
JsonArray
stringifyJSON
either
getApplySemigroup
getApplyMonoid
getValidationSemigroup
getValidationMonoid
eitherT
right
left
rightF
leftF
fromNullable
fromNullableK
chainNullableK
map
ap
chain
alt
bimap
mapLeft
altValidation
match
matchE
getOrElse
orElse
orElseFirst
orLeft
swap
toUnion
getEitherM
EitherT
EitherM
EitherT1
EitherM1
EitherT2
EitherM2
endomorphism
Endomorphism
URI
getSemigroup
getMonoid
eq
Eq
fromEquals
struct
tuple
contramap
URI
eqStrict
getSemigroup
getMonoid
Contravariant
getTupleEq
getStructEq
strictEqual
eq
eqBoolean
eqString
eqNumber
eqDate
extend
Extend
Extend1
Extend2
Extend2C
Extend3
Extend3C
Extend4
field
gcd
lcm
Field
fieldNumber
filterable
filter
filterMap
partition
partitionMap
getFilterableComposition
Filter
Partition
Filterable
Filter1
Partition1
Filterable1
Filter2
Partition2
Filterable2
Filter2C
Partition2C
Filterable2C
Filter3
Partition3
Filterable3
Filter3C
Partition3C
Filterable3C
Filter4
Partition4
Filterable4
FilterableComposition
FilterableComposition11
FilterableComposition12
FilterableComposition12C
FilterableComposition21
FilterableComposition2C1
FilterableComposition22
FilterableComposition22C
FilterableComposition23C
filterableWithIndex
RefinementWithIndex
PredicateWithIndex
FilterWithIndex
PartitionWithIndex
FilterableWithIndex
FilterWithIndex1
PartitionWithIndex1
FilterableWithIndex1
FilterWithIndex2
PartitionWithIndex2
FilterableWithIndex2
FilterWithIndex2C
PartitionWithIndex2C
FilterableWithIndex2C
FilterWithIndex3
FilterWithIndex3C
FilterableWithIndex3C
PartitionWithIndex3
PartitionWithIndex3C
FilterableWithIndex3
FilterWithIndex4
PartitionWithIndex4
FilterableWithIndex4
foldable
reduce
foldMap
reduceRight
reduceM
intercalate
toReadonlyArray
traverse_
foldM
getFoldableComposition
Foldable
Foldable1
Foldable2
Foldable2C
Foldable3
Foldable3C
Foldable4
toArray
FoldableComposition
FoldableComposition11
FoldableComposition12
FoldableComposition12C
FoldableComposition21
FoldableComposition2C1
FoldableComposition22
FoldableComposition22C
foldableWithIndex
reduceWithIndex
foldMapWithIndex
reduceRightWithIndex
getFoldableWithIndexComposition
FoldableWithIndex
FoldableWithIndex1
FoldableWithIndex2
FoldableWithIndex2C
FoldableWithIndex3
FoldableWithIndex3C
FoldableWithIndex4
FoldableWithIndexComposition
FoldableWithIndexComposition11
FoldableWithIndexComposition12
FoldableWithIndexComposition12C
FoldableWithIndexComposition21
FoldableWithIndexComposition2C1
FoldableWithIndexComposition22
FoldableWithIndexComposition22C
fromEither
fromOption
fromPredicate
fromOptionK
chainOptionK
fromEitherK
chainEitherK
chainFirstEitherK
filterOrElse
FromEither
FromEither1
FromEither2
FromEither2C
FromEither3
FromEither3C
FromEither4
fromIO
fromIOK
chainIOK
chainFirstIOK
FromIO
FromIO1
FromIO2
FromIO2C
FromIO3
FromIO3C
FromIO4
fromReader
ask
asks
fromReaderK
chainReaderK
chainFirstReaderK
FromReader
FromReader2
FromReader3
FromReader3C
FromReader4
fromState
get
put
modify
gets
fromStateK
chainStateK
FromState
FromState2
FromState3
FromState3C
FromState4
fromTask
fromTaskK
chainTaskK
chainFirstTaskK
FromTask
FromTask1
FromTask2
FromTask2C
FromTask3
FromTask3C
FromTask4
fromThese
fromTheseK
FromThese
FromThese2
FromThese2C
FromThese3
FromThese3C
FromThese4
function
identity
constant
flip
flow
tuple
increment
decrement
absurd
tupled
untupled
pipe
not
getBooleanAlgebra
getSemigroup
getMonoid
getSemiring
getRing
apply
Lazy
FunctionN
unsafeCoerce
constTrue
constFalse
constNull
constUndefined
constVoid
hole
SK
Refinement
Predicate
Endomorphism
getEndomorphismMonoid
functor
map
flap
bindTo
getFunctorComposition
Functor
Functor1
Functor2
Functor2C
Functor3
Functor3C
Functor4
FunctorComposition
FunctorCompositionHKT1
FunctorCompositionHKT2
FunctorCompositionHKT2C
FunctorComposition11
FunctorComposition12
FunctorComposition12C
FunctorComposition21
FunctorComposition2C1
FunctorComposition22
FunctorComposition22C
FunctorComposition23
FunctorComposition23C
functorWithIndex
mapWithIndex
getFunctorWithIndexComposition
FunctorWithIndex
FunctorWithIndex1
FunctorWithIndex2
FunctorWithIndex2C
FunctorWithIndex3
FunctorWithIndex3C
FunctorWithIndex4
FunctorWithIndexComposition
FunctorWithIndexComposition11
FunctorWithIndexComposition12
FunctorWithIndexComposition12C
FunctorWithIndexComposition21
FunctorWithIndexComposition2C1
FunctorWithIndexComposition22
FunctorWithIndexComposition22C
group
Group
heytingAlgebra
HeytingAlgebra
identity
Identity
map
ap
of
chain
extend
extract
duplicate
flatten
reduce
foldMap
reduceRight
traverse
sequence
altW
alt
URI
getShow
getEq
Functor
flap
Pointed
Apply
apFirst
apSecond
Applicative
Chain
Monad
chainFirst
Foldable
Traversable
Alt
Comonad
ChainRec
Do
bindTo
bind
apS
identity
invariant
Invariant
Invariant1
Invariant2
Invariant2C
Invariant3
Invariant3C
Invariant4
io
IO
map
ap
of
chain
flatten
URI
Functor
flap
Pointed
Apply
apFirst
apSecond
Applicative
Chain
Monad
chainFirst
fromIO
MonadIO
ChainRec
FromIO
Do
bindTo
bind
apS
ApT
traverseReadonlyNonEmptyArrayWithIndex
traverseReadonlyArrayWithIndex
traverseArrayWithIndex
traverseArray
sequenceArray
io
getSemigroup
getMonoid
ioEither
getApplicativeIOValidation
getAltIOValidation
getFilterable
getIOValidation
IOEither
left
right
rightIO
leftIO
fromEither
fromIO
match
matchW
matchE
fold
matchEW
foldW
getOrElse
getOrElseW
tryCatch
tryCatchK
toUnion
orElse
orElseW
orElseFirst
orElseFirstW
orElseFirstIOK
orLeft
swap
map
bimap
mapLeft
ap
apW
of
chain
chainW
flattenW
flatten
alt
altW
throwError
URI
getCompactable
Functor
flap
Pointed
Bifunctor
ApplyPar
apFirst
apFirstW
apSecond
apSecondW
ApplicativePar
ApplicativeSeq
Chain
Monad
chainFirst
chainFirstW
Alt
MonadIO
MonadThrow
FromIO
fromIOK
chainIOK
chainFirstIOK
FromEither
fromOption
fromOptionK
chainOptionK
chainEitherK
chainEitherKW
chainFirstEitherK
chainFirstEitherKW
fromPredicate
filterOrElse
filterOrElseW
fromEitherK
bracket
bracketW
Do
bindTo
bind
bindW
apS
apSW
ApT
traverseReadonlyNonEmptyArrayWithIndex
traverseReadonlyArrayWithIndex
traverseReadonlyNonEmptyArrayWithIndexSeq
traverseReadonlyArrayWithIndexSeq
traverseArrayWithIndex
traverseArray
sequenceArray
traverseSeqArrayWithIndex
traverseSeqArray
sequenceSeqArray
Applicative
ioEither
getApplySemigroup
getApplyMonoid
getSemigroup
ioOption
IOOption
some
fromPredicate
fromOption
fromEither
fromIO
fromIOEither
match
matchW
matchE
fold
matchEW
getOrElse
getOrElseW
toUndefined
toNullable
fromNullable
fromNullableK
chainNullableK
fromOptionK
chainOptionK
map
ap
of
chain
flatten
alt
altW
zero
none
compact
separate
filter
filterMap
partition
partitionMap
URI
Functor
flap
Pointed
Apply
apFirst
apSecond
Applicative
Chain
chainFirst
Alt
Zero
guard
Alternative
Monad
MonadIO
Compactable
Filterable
FromIO
fromIOK
chainIOK
chainFirstIOK
FromEither
fromEitherK
chainEitherK
chainFirstEitherK
Do
bindTo
bind
apS
ApT
traverseReadonlyNonEmptyArrayWithIndex
traverseReadonlyArrayWithIndex
ioRef
newIORef
IORef
joinSemilattice
JoinSemilattice
json
Json
JsonRecord
JsonArray
parse
stringify
lattice
Lattice
magma
Magma
reverse
filterFirst
filterSecond
endo
concatAll
map
collect
toArray
toUnfoldable
pop
lookupWithKey
getMonoid
fromFoldable
partitionWithIndex
filterWithIndex
getFilterableWithIndex
getWitherable
getShow
size
isEmpty
member
elem
keys
values
upsertAt
deleteAt
updateAt
modifyAt
lookup
isSubmap
getEq
singleton
partitionMapWithIndex
filterMapWithIndex
compact
filter
filterMap
map
mapWithIndex
partition
partitionMap
separate
URI
getUnionSemigroup
getUnionMonoid
getIntersectionSemigroup
getDifferenceMagma
reduce
foldMap
reduceRight
getFoldable
reduceWithIndex
foldMapWithIndex
reduceRightWithIndex
getFoldableWithIndex
getTraversableWithIndex
Functor
flap
Compactable
Filterable
union
intersection
difference
empty
insertAt
map_
meetSemilattice
MeetSemilattice
monad
Monad
Monad1
Monad2
Monad2C
Monad3
Monad3C
Monad4
monadIO
MonadIO
MonadIO1
MonadIO2
MonadIO2C
MonadIO3
MonadIO3C
MonadIO4
monadTask
MonadTask
MonadTask1
MonadTask2
MonadTask2C
MonadTask3
MonadTask3C
MonadTask4
monadThrow
MonadThrow
MonadThrow1
MonadThrow2
MonadThrow2C
MonadThrow3
MonadThrow3C
MonadThrow4
monoid
Monoid
min
max
reverse
struct
tuple
concatAll
monoidVoid
getTupleMonoid
getStructMonoid
getDualMonoid
getJoinMonoid
getMeetMonoid
fold
monoidAll
monoidAny
getFunctionMonoid
getEndomorphismMonoid
monoidString
monoidSum
monoidProduct
naturalTransformation
NaturalTransformation
NaturalTransformation11
NaturalTransformation12
NaturalTransformation12C
NaturalTransformation13
NaturalTransformation13C
NaturalTransformation14
NaturalTransformation14C
NaturalTransformation21
NaturalTransformation22
NaturalTransformation22C
NaturalTransformation23
NaturalTransformation23C
NaturalTransformation24
NaturalTransformation23R
NaturalTransformation23RC
NaturalTransformation24R
NaturalTransformation24S
NaturalTransformation33
NaturalTransformation34
nonEmptyArray
concatW
concat
group
zip
groupSort
filter
cons
NonEmptyArray
uniq
sortBy
union
rotate
fromReadonlyNonEmptyArray
fromArray
makeBy
replicate
range
unprepend
unappend
reverse
groupBy
sort
insertAt
updateAt
modifyAt
copy
of
zipWith
unzip
prependAll
intersperse
foldMapWithIndex
foldMap
chainWithIndex
chop
splitAt
chunksOf
altW
alt
ap
chain
extend
duplicate
flatten
map
mapWithIndex
reduce
reduceWithIndex
reduceRight
reduceRightWithIndex
traverse
sequence
traverseWithIndex
extract
URI
getShow
getSemigroup
getEq
getUnionSemigroup
Functor
flap
Pointed
FunctorWithIndex
Apply
apFirst
apSecond
Applicative
Chain
chainFirst
Monad
Foldable
FoldableWithIndex
Traversable
TraversableWithIndex
Alt
Comonad
Do
bindTo
bind
apS
head
tail
last
init
min
max
concatAll
matchLeft
matchRight
modifyHead
updateHead
modifyLast
updateLast
intercalate
filterWithIndex
uncons
unsnoc
snoc
prependToAll
fold
nonEmptyArray