fp-ts一覧

fp-tsの一覧を出して、かつ、難易度順がわかるようにしたい

参照元

一覧をまとめる基準について

下記のような記述があるものと、ないものがある
あるもののほうが基本だと思われるためそれらを先にする

declare module 'fp-ts/HKT' {
  interface URItoKind<A> {
    readonly Identity: Identity<A>
  }
}

declare module 'fp-ts/HKT' で使われるもの一覧

• URItoKind
• URItoKind2
• URItoKind3
• URItoKind4

あとは、import先が少ないものも先にする

一覧

　

　

　

　

　 　

　

　

fp-tsの一覧

ファイル名	import先	ソースの中身	declare module がある	参考
HKT	なし	interface, type のみ	全て	HKTの内容確認 (Functorも含む)
Endomorphism	function Monoid Semigroup	いろいろ	URItoKind<A>
Eq	Contravariant function Monoid ReadonlyRecord Semigroup	いろいろ	URItoKind<A>	Eqの内容確認
Ord	Contravariant Eq function Monoid Ordering Semigroup	いろいろ	URItoKind<A>	Ordの内容確認
Predicate	Contravariant function Monoid Semigroup	いろいろ	URItoKind<A>
ReadonlySet	いくつか	いろいろ	URItoKind<A>
Array	たくさん	いろいろ	URItoKind<A>
IO	たくさん	いろいろ	URItoKind<A>	IOの内容確認
IOOption	たくさん	いろいろ	URItoKind<A>
Identity	たくさん	いろいろ	URItoKind<A>
NonEmptyArray	たくさん	いろいろ	URItoKind<A>
Option	たくさん	いろいろ	URItoKind<A>	Chapter 2: Option
ReadonlyArray	たくさん	いろいろ	URItoKind<A>
ReadonlyNonEmptyArray	たくさん	いろいろ	URItoKind<A>
ReadonlyRecord	たくさん	いろいろ	URItoKind<A>	ReadonlyRecordの内容確認
Record	たくさん	いろいろ	URItoKind<A>
Task	たくさん	いろいろ	URItoKind<A>
TaskOption	たくさん	いろいろ	URItoKind<A>
Tree	たくさん	いろいろ	URItoKind<A>
Separated	Bifunctor function Functor	いろいろ	URItoKind2<E, A>
Store	Comonad Endomorphism Extend function Functor HKT	いろいろ	URItoKind2<E, A>
Traced	Comonad function Functor Monoid	いろいろ	URItoKind2<E, A>
Writer	いくつか	いろいろ	URItoKind2<E, A>
Const	たくさん	いろいろ	URItoKind2<E, A>
Either	たくさん	いろいろ	URItoKind2<E, A>	Chapter 3: Either Eitherの内容確認
IOEither	たくさん	いろいろ	URItoKind2<E, A>
Map	たくさん	いろいろ	URItoKind2<E, A>
Reader	たくさん	いろいろ	URItoKind2<E, A>
ReaderIO	たくさん	いろいろ	URItoKind2<E, A>
ReaderTask	たくさん	いろいろ	URItoKind2<E, A>
ReadonlyMap	たくさん	いろいろ	URItoKind2<E, A>
ReadonlyTuple	たくさん	いろいろ	URItoKind2<E, A>
State	たくさん	いろいろ	URItoKind2<E, A>
TaskEither	たくさん	いろいろ	URItoKind2<E, A>
TaskThese	たくさん	いろいろ	URItoKind2<E, A>
These	たくさん	いろいろ	URItoKind2<E, A>
Tuple	たくさん	いろいろ	URItoKind2<E, A>
ReaderEither	たくさん	いろいろ	URItoKind3<R, E, A>
ReaderTaskEither	たくさん	いろいろ	URItoKind3<R, E, A>
StateReaderTaskEither	たくさん	いろいろ	URItoKind4<S, R, E, A>
index	たくさん	import のみ	なし
IORef	IO	class	なし
Console	IO	const のみ	なし
Date	Eq function IO number Ord	const のみ	なし
struct	internal Semigroup	const のみ	なし
void	Monoid Semigroup	const のみ	なし
boolean	いくつか	const のみ	なし
number	いくつか	const のみ	なし
string	いくつか	const のみ	なし
JoinSemilattice	なし	interface のみ	なし
MeetSemilattice	なし	interface のみ	なし
Bifunctor	HKT	interface のみ	なし
BoundedJoinSemilattice	JoinSemilattice	interface のみ	なし
BoundedLattice	BoundedJoinSemilattice BoundedMeetSemilattice	interface のみ	なし
BoundedMeetSemilattice	MeetSemilattice	interface のみ	なし
Category	HKT Semigroupoid	interface のみ	なし
Comonad	Extend HKT	interface のみ	なし
Contravariant	HKT	interface のみ	なし	Contravariantの内容確認
Extend	Functor HKT	interface のみ	なし
Group	Monoid	interface のみ	なし
HeytingAlgebra	BoundedDistributiveLattice	interface のみ	なし
Invariant	HKT	interface のみ	なし
Lattice	JoinSemilattice MeetSemilattice	interface のみ	なし
Monad	Applicative Chain HKT	interface のみ	なし	Monadの内容確認
MonadIO	FromIO HKT Monad	interface のみ	なし
MonadTask	FromTask HKT MonadIO	interface のみ	なし
MonadThrow	HKT Monad	interface のみ	なし
NaturalTransformation	HKT	interface のみ	なし
Pointed	HKT	interface のみ	なし
Profunctor	Functor HKT	interface のみ	なし
Semigroupoid	HKT	interface のみ	なし
TraversableWithIndex	Applicative FoldableWithIndex FunctorWithIndex HKT Traversable	interface のみ	なし
Unfoldable	HKT Option	interface のみ	なし
FilterableWithIndex	Either Filterable FunctorWithIndex HKT Option Separated	interface, type のみ	なし
Alt	function Functor HKT	interface, function のみ	なし
Applicative	Apply function Functor HKT Monoid Pointed	interface, function のみ	なし	Applicativeの内容確認
BoundedDistributiveLattice	BoundedLattice DistributiveLattice Ord	interface, function のみ	なし
Chain	Apply HKT	interface, function のみ	なし	Chainの内容確認
Choice	Category Either function HKT Profunctor	interface, function のみ	なし
Compactable	Either function Functor HKT Option Separated	interface, function のみ	なし
DistributiveLattice	Lattice Ord	interface, function のみ	なし
FoldableWithIndex	Foldable function HKT Monoid	interface, function のみ	なし
FromIO	Chain function HKT IO	interface, function のみ	なし
FromReader	Chain function HKT Reader	interface, function のみ	なし
FromState	Chain Endomorphism function HKT State	interface, function のみ	なし
FromTask	Chain FromIO function HKT Task	interface, function のみ	なし
FromThese	function HKT These	interface, function のみ	なし
Functor	function HKT	interface, function のみ	なし	Functorの内容確認
FunctorWithIndex	function Functor HKT	interface, function のみ	なし
Strong	Category function HKT Profunctor	interface, function のみ	なし
Traversable	Applicative Foldable function Functor HKT	interface, function のみ	なし
WriterT	HKT Monad Monoid	interface, function のみ	なし
Zero	HKT Pointed	interface, function のみ	なし
Alternative	いくつか	interface, function のみ	なし
FromEither	いくつか	interface, function のみ	なし
ReaderT	いくつか	interface, function のみ	なし
StateT	いくつか	interface, function のみ	なし
Witherable	いくつか	interface, function のみ	なし
Filterable	たくさん	interface, function のみ	なし
BooleanAlgebra	function HeytingAlgebra	interface, const のみ	なし
Bounded	Ord	interface, const のみ	なし
ChainRec	Chain Either HKT	interface, const のみ	なし
Magma	Endomorphism Predicate	interface, const のみ	なし
Monoid	Bounded Endomorphism function internal ReadonlyRecord Semigroup	interface, const のみ	なし	Monoidの内容確認
Refinement	Either internal Option	interface, const のみ	なし
Ring	function Semiring	interface, const のみ	なし
Semiring	function	interface, const のみ	なし
Show	internal ReadonlyRecord	interface, const のみ	なし
Ordering	Eq Monoid Semigroup	type, const のみ	なし
Random	function IO ReadonlyNonEmptyArray	function, const のみ	なし
Apply	function Functor HKT internal Semigroup	interface, type, function のみ	なし
EitherT	いくつか	interface, type, function のみ	なし
ValidationT	いくつか	interface, type, function のみ	なし
OptionT	たくさん	interface, type, function のみ	なし
TheseT	たくさん	interface, type, function のみ	なし
internal	いくつか	interface, type, const のみ	なし	internalの内容確認はできない
Field	Eq Ring	interface, function, const のみ	なし
Foldable	Applicative function HKT Monad Monoid	interface, function, const のみ	なし
Semigroup	function internal Magma Ord ReadonlyRecord	interface, function, const のみ	なし	Semigroupの内容確認
function	BooleanAlgebra Monoid Ring Semigroup Semiring	interface, function, const のみ	なし	Chapter 1: pipe and flow functionの内容確認
Set	いくつか	interface, function, const のみ	なし
pipeable	たくさん	interface, function, const のみ	なし
Json	Either function	interface, type, function, const のみ	なし