@fp-ts/core - npm Package Compare versions

Comparing version 0.0.2 to 0.0.3

HKT.d.ts

 /**
- * Type defunctionalization (as describe in [Lightweight higher-kinded polymorphism](https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf))
- *
  * @since 3.0.0
@@ -37,3 +35,3 @@ */
     readonly Out1: Out1;
-})['type'] : {
+})["type"] : {
     readonly F: F;
@@ -46,6 +44,2 @@ readonly InOut1: (_: InOut1) => InOut1;
 };
-/**
- * @since 3.0.0
- */
-export declare type HKD<F extends TypeLambda, A> = Kind<F, <S>(_: S) => S, unknown, never, never, A>;
 //# sourceMappingURL=HKT.d.ts.map

index.d.ts

 /**
  * @since 3.0.0
  */
-import * as alt from '@fp-ts/core/typeclasses/Alt';
-import * as alternative from '@fp-ts/core/typeclasses/Alternative';
-import * as applicative from '@fp-ts/core/typeclasses/Applicative';
-import * as apply from '@fp-ts/core/typeclasses/Apply';
-import * as async from '@fp-ts/core/Async';
-import * as asyncOption from '@fp-ts/core/AsyncOption';
-import * as asyncResult from '@fp-ts/core/AsyncResult';
-import * as asyncThese from '@fp-ts/core/AsyncThese';
-import * as bifunctor from '@fp-ts/core/typeclasses/Bifunctor';
-import * as boolean from '@fp-ts/core/boolean';
-import * as bounded from '@fp-ts/core/typeclasses/Bounded';
-import * as category from '@fp-ts/core/typeclasses/Category';
-import * as comonad from '@fp-ts/core/typeclasses/Comonad';
-import * as compactable from '@fp-ts/core/typeclasses/Compactable';
-import * as composable from '@fp-ts/core/typeclasses/Composable';
-import * as const_ from '@fp-ts/core/Const';
-import * as contravariant from '@fp-ts/core/typeclasses/Contravariant';
-import * as endomorphism from '@fp-ts/core/Endomorphism';
-import * as eq from '@fp-ts/core/typeclasses/Eq';
-import * as extendable from '@fp-ts/core/typeclasses/Extendable';
-import * as filterable from '@fp-ts/core/typeclasses/Filterable';
-import * as flattenable from '@fp-ts/core/typeclasses/Flattenable';
-import * as fromAsync from '@fp-ts/core/typeclasses/FromAsync';
-import * as fromIdentity from '@fp-ts/core/typeclasses/FromIdentity';
-import * as fromSync from '@fp-ts/core/typeclasses/FromSync';
-import * as fromOption from '@fp-ts/core/typeclasses/FromOption';
-import * as fromReader from '@fp-ts/core/typeclasses/FromReader';
-import * as fromResult from '@fp-ts/core/typeclasses/FromResult';
-import * as fromState from '@fp-ts/core/typeclasses/FromState';
-import * as fromThese from '@fp-ts/core/typeclasses/FromThese';
-import * as fromWriter from '@fp-ts/core/typeclasses/FromWriter';
-import * as function_ from '@fp-ts/core/Function';
-import * as functor from '@fp-ts/core/typeclasses/Functor';
-import * as hkt from '@fp-ts/core/HKT';
-import * as identity from '@fp-ts/core/Identity';
-import * as invariant from '@fp-ts/core/typeclasses/Invariant';
-import * as syncOption from '@fp-ts/core/SyncOption';
-import * as json from '@fp-ts/core/Json';
-import * as kleisliCategory from '@fp-ts/core/typeclasses/KleisliCategory';
-import * as kleisliComposable from '@fp-ts/core/typeclasses/KleisliComposable';
-import * as monad from '@fp-ts/core/typeclasses/Monad';
-import * as monoid from '@fp-ts/core/typeclasses/Monoid';
-import * as nonEmptyReadonlyArray from '@fp-ts/core/NonEmptyReadonlyArray';
-import * as number from '@fp-ts/core/number';
-import * as option from '@fp-ts/core/Option';
-import * as optionT from '@fp-ts/core/transformers/OptionT';
-import * as ord from '@fp-ts/core/typeclasses/Ord';
-import * as ordering from '@fp-ts/core/typeclasses/Ordering';
-import * as predicate from '@fp-ts/core/Predicate';
-import * as random from '@fp-ts/core/Random';
-import * as reader from '@fp-ts/core/Reader';
-import * as readerAsync from '@fp-ts/core/ReaderAsync';
-import * as readerAsyncResult from '@fp-ts/core/ReaderAsyncResult';
-import * as readerAsyncWriter from '@fp-ts/core/ReaderAsyncWriter';
-import * as readerResult from '@fp-ts/core/ReaderResult';
-import * as readerSync from '@fp-ts/core/ReaderSync';
-import * as readerT from '@fp-ts/core/transformers/ReaderT';
-import * as readonlyArray from '@fp-ts/core/ReadonlyArray';
-import * as refinement from '@fp-ts/core/Refinement';
-import * as result from '@fp-ts/core/Result';
-import * as resultT from '@fp-ts/core/transformers/ResultT';
-import * as semigroup from '@fp-ts/core/typeclasses/Semigroup';
-import * as show from '@fp-ts/core/typeclasses/Show';
-import * as state from '@fp-ts/core/State';
-import * as stateReaderAsyncResult from '@fp-ts/core/StateReaderAsyncResult';
-import * as stateT from '@fp-ts/core/transformers/StateT';
-import * as string from '@fp-ts/core/string';
-import * as sync from '@fp-ts/core/Sync';
-import * as syncResult from '@fp-ts/core/SyncResult';
-import * as these from '@fp-ts/core/These';
-import * as theseT from '@fp-ts/core/transformers/TheseT';
-import * as traversable from '@fp-ts/core/typeclasses/Traversable';
-import * as traversableFilterable from '@fp-ts/core/typeclasses/TraversableFilterable';
-import * as writer from '@fp-ts/core/Writer';
-import * as writerT from '@fp-ts/core/transformers/WriterT';
+import * as bifunctor from "@fp-ts/core/Bifunctor";
+import * as bounded from "@fp-ts/core/Bounded";
+import * as category from "@fp-ts/core/Category";
+import * as categoryKind from "@fp-ts/core/CategoryKind";
+import * as comonad from "@fp-ts/core/Comonad";
+import * as composable from "@fp-ts/core/Composable";
+import * as composableKind from "@fp-ts/core/ComposableKind";
+import * as contravariant from "@fp-ts/core/Contravariant";
+import * as extendable from "@fp-ts/core/Extendable";
+import * as flatMap from "@fp-ts/core/FlatMap";
+import * as foldable from "@fp-ts/core/Foldable";
+import * as foldableWithIndex from "@fp-ts/core/FoldableWithIndex";
+import * as functor from "@fp-ts/core/Functor";
+import * as hkt from "@fp-ts/core/HKT";
+import * as invariant from "@fp-ts/core/Invariant";
+import * as monad from "@fp-ts/core/Monad";
+import * as monoid from "@fp-ts/core/Monoid";
+import * as monoidal from "@fp-ts/core/Monoidal";
+import * as monoidKind from "@fp-ts/core/MonoidKind";
+import * as ordering from "@fp-ts/core/Ordering";
+import * as semigroup from "@fp-ts/core/Semigroup";
+import * as semigroupal from "@fp-ts/core/Semigroupal";
+import * as semigroupKind from "@fp-ts/core/SemigroupKind";
+import * as show from "@fp-ts/core/Show";
+import * as sortable from "@fp-ts/core/Sortable";
+import * as succeed from "@fp-ts/core/Succeed";
+import * as traversable from "@fp-ts/core/Traversable";
+import * as traversableWithIndex from "@fp-ts/core/TraversableWithIndex";
 export { 
@@ -84,48 +37,4 @@ /**
  */
-alt, 
-/**
- * @category type classes
- * @since 3.0.0
- */
-alternative, 
-/**
- * @category type classes
- * @since 3.0.0
- */
-applicative, 
-/**
- * @category type classes
- * @since 3.0.0
- */
-apply, 
-/**
- * @category data types
- * @since 3.0.0
- */
-async, 
-/**
- * @category data types
- * @since 3.0.0
- */
-asyncOption, 
-/**
- * @category data types
- * @since 3.0.0
- */
-asyncResult, 
-/**
- * @category data types
- * @since 3.0.0
- */
-asyncThese, 
-/**
- * @category type classes
- * @since 3.0.0
- */
 bifunctor, 
 /**
- * @since 3.0.0
- */
-boolean, 
-/**
  * @category type classes
@@ -144,3 +53,3 @@ * @since 3.0.0
  */
-comonad, 
+categoryKind, 
 /**
@@ -150,3 +59,3 @@ * @category type classes
  */
-compactable, 
+comonad, 
 /**
@@ -158,6 +67,6 @@ * @category type classes
 /**
- * @category data types
+ * @category type classes
  * @since 3.0.0
  */
-const_ as const, 
+composableKind, 
 /**
@@ -169,7 +78,2 @@ * @category type classes
 /**
- * @category data types
- * @since 3.0.0
- */
-endomorphism, 
-/**
  * @category type classes
@@ -183,3 +87,3 @@ * @since 3.0.0
  */
-filterable, 
+flatMap, 
 /**
@@ -189,3 +93,3 @@ * @category type classes
  */
-flattenable, 
+foldable, 
 /**
@@ -195,3 +99,3 @@ * @category type classes
  */
-fromAsync, 
+foldableWithIndex, 
 /**
@@ -201,46 +105,2 @@ * @category type classes
  */
-fromIdentity, 
-/**
- * @category type classes
- * @since 3.0.0
- */
-fromOption, 
-/**
- * @category type classes
- * @since 3.0.0
- */
-fromReader, 
-/**
- * @category type classes
- * @since 3.0.0
- */
-fromResult, 
-/**
- * @category type classes
- * @since 3.0.0
- */
-fromState, 
-/**
- * @category type classes
- * @since 3.0.0
- */
-fromSync, 
-/**
- * @category type classes
- * @since 3.0.0
- */
-fromThese, 
-/**
- * @category type classes
- * @since 3.0.0
- */
-fromWriter, 
-/**
- * @since 3.0.0
- */
-function_ as function, 
-/**
- * @category type classes
- * @since 3.0.0
- */
 functor, 
@@ -252,7 +112,2 @@ /**
 /**
- * @category data types
- * @since 3.0.0
- */
-identity, 
-/**
  * @category type classes
@@ -263,10 +118,6 @@ * @since 3.0.0
 /**
- * @since 3.0.0
- */
-json, 
-/**
  * @category type classes
  * @since 3.0.0
  */
-kleisliCategory, 
+monad, 
 /**
@@ -276,3 +127,3 @@ * @category type classes
  */
-kleisliComposable, 
+monoid, 
 /**
@@ -282,3 +133,3 @@ * @category type classes
  */
-monad, 
+monoidal, 
 /**
@@ -288,3 +139,3 @@ * @category type classes
  */
-monoid, 
+monoidKind, 
 /**
@@ -294,94 +145,13 @@ * @category data types
  */
-nonEmptyReadonlyArray, 
+ordering, 
 /**
- * @since 3.0.0
- */
-number, 
-/**
- * @category data types
- * @since 3.0.0
- */
-option, 
-/**
- * @category monad transformers
- * @since 3.0.0
- */
-optionT, 
-/**
  * @category type classes
  * @since 3.0.0
  */
-ord, 
+semigroup, 
 /**
- * @since 3.0.0
- */
-ordering, 
-/**
- * @since 3.0.0
- */
-predicate, 
-/**
- * @since 3.0.0
- */
-random, 
-/**
- * @category data types
- * @since 3.0.0
- */
-reader, 
-/**
- * @category data types
- * @since 3.0.0
- */
-readerAsync, 
-/**
- * @category data types
- * @since 3.0.0
- */
-readerAsyncResult, 
-/**
- * @category data types
- * @since 3.0.0
- */
-readerAsyncWriter, 
-/**
- * @category data types
- * @since 3.0.0
- */
-readerResult, 
-/**
- * @category data types
- * @since 3.0.0
- */
-readerSync, 
-/**
- * @category monad transformers
- * @since 3.0.0
- */
-readerT, 
-/**
- * @category data types
- * @since 3.0.0
- */
-readonlyArray, 
-/**
- * @category data types
- * @since 3.0.0
- */
-refinement, 
-/**
- * @category data types
- * @since 3.0.0
- */
-result, 
-/**
- * @category monad transformers
- * @since 3.0.0
- */
-resultT, 
-/**
  * @category type classes
  * @since 3.0.0
  */
-semigroup, 
+semigroupal, 
 /**
@@ -391,3 +161,3 @@ * @category type classes
  */
-eq, 
+semigroupKind, 
 /**
@@ -399,46 +169,12 @@ * @category type classes
 /**
- * @category data types
+ * @category type classes
  * @since 3.0.0
  */
-state, 
+sortable, 
 /**
- * @category data types
+ * @category type classes
  * @since 3.0.0
  */
-stateReaderAsyncResult, 
+succeed, 
 /**
- * @category monad transformers
- * @since 3.0.0
- */
-stateT, 
-/**
- * @since 3.0.0
- */
-string, 
-/**
- * @category data types
- * @since 3.0.0
- */
-sync, 
-/**
- * @category data types
- * @since 3.0.0
- */
-syncOption, 
-/**
- * @category data types
- * @since 3.0.0
- */
-syncResult, 
-/**
- * @category data types
- * @since 3.0.0
- */
-these, 
-/**
- * @category monad transformers
- * @since 3.0.0
- */
-theseT, 
-/**
  * @category type classes
@@ -452,13 +188,3 @@ * @since 3.0.0
  */
-traversableFilterable, 
-/**
- * @category data types
- * @since 3.0.0
- */
-writer, 
-/**
- * @category monad transformers
- * @since 3.0.0
- */
-writerT };
+traversableWithIndex };
 //# sourceMappingURL=index.d.ts.map

index.js

@@ -6,134 +6,54 @@ "use strict";
 });
-exports.writerT = exports.writer = exports.traversableFilterable = exports.traversable = exports.theseT = exports.these = exports.syncResult = exports.syncOption = exports.sync = exports.string = exports.stateT = exports.stateReaderAsyncResult = exports.state = exports.show = exports.semigroup = exports.resultT = exports.result = exports.refinement = exports.readonlyArray = exports.readerT = exports.readerSync = exports.readerResult = exports.readerAsyncWriter = exports.readerAsyncResult = exports.readerAsync = exports.reader = exports.random = exports.predicate = exports.ordering = exports.ord = exports.optionT = exports.option = exports.number = exports.nonEmptyReadonlyArray = exports.monoid = exports.monad = exports.kleisliComposable = exports.kleisliCategory = exports.json = exports.invariant = exports.identity = exports.hkt = exports.functor = exports.function = exports.fromWriter = exports.fromThese = exports.fromSync = exports.fromState = exports.fromResult = exports.fromReader = exports.fromOption = exports.fromIdentity = exports.fromAsync = exports.flattenable = exports.filterable = exports.extendable = exports.eq = exports.endomorphism = exports.contravariant = exports.const = exports.composable = exports.compactable = exports.comonad = exports.category = exports.bounded = exports.boolean = exports.bifunctor = exports.asyncThese = exports.asyncResult = exports.asyncOption = exports.async = exports.apply = exports.applicative = exports.alternative = exports.alt = void 0;
+exports.traversableWithIndex = exports.traversable = exports.succeed = exports.sortable = exports.show = exports.semigroupal = exports.semigroupKind = exports.semigroup = exports.ordering = exports.monoidal = exports.monoidKind = exports.monoid = exports.monad = exports.invariant = exports.hkt = exports.functor = exports.foldableWithIndex = exports.foldable = exports.flatMap = exports.extendable = exports.contravariant = exports.composableKind = exports.composable = exports.comonad = exports.categoryKind = exports.category = exports.bounded = exports.bifunctor = void 0;
 
-var alt = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Alt"));
+var bifunctor = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Bifunctor"));
 
-exports.alt = alt;
-
-var alternative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Alternative"));
-
-exports.alternative = alternative;
-
-var applicative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Applicative"));
-
-exports.applicative = applicative;
-
-var apply = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Apply"));
-
-exports.apply = apply;
-
-var async = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Async"));
-
-exports.async = async;
-
-var asyncOption = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/AsyncOption"));
-
-exports.asyncOption = asyncOption;
-
-var asyncResult = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/AsyncResult"));
-
-exports.asyncResult = asyncResult;
-
-var asyncThese = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/AsyncThese"));
-
-exports.asyncThese = asyncThese;
-
-var bifunctor = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Bifunctor"));
-
 exports.bifunctor = bifunctor;
 
-var boolean = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/boolean"));
+var bounded = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Bounded"));
 
-exports.boolean = boolean;
-
-var bounded = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Bounded"));
-
 exports.bounded = bounded;
 
-var category = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Category"));
+var category = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Category"));
 
 exports.category = category;
 
-var comonad = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Comonad"));
+var categoryKind = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/CategoryKind"));
 
-exports.comonad = comonad;
+exports.categoryKind = categoryKind;
 
-var compactable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Compactable"));
+var comonad = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Comonad"));
 
-exports.compactable = compactable;
+exports.comonad = comonad;
 
-var composable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Composable"));
+var composable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Composable"));
 
 exports.composable = composable;
 
-var const_ = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Const"));
+var composableKind = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/ComposableKind"));
 
-exports.const = const_;
+exports.composableKind = composableKind;
 
-var contravariant = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Contravariant"));
+var contravariant = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Contravariant"));
 
 exports.contravariant = contravariant;
 
-var endomorphism = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Endomorphism"));
+var extendable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Extendable"));
 
-exports.endomorphism = endomorphism;
-
-var eq = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Eq"));
-
-exports.eq = eq;
-
-var extendable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Extendable"));
-
 exports.extendable = extendable;
 
-var filterable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Filterable"));
+var flatMap = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/FlatMap"));
 
-exports.filterable = filterable;
+exports.flatMap = flatMap;
 
-var flattenable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Flattenable"));
+var foldable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Foldable"));
 
-exports.flattenable = flattenable;
+exports.foldable = foldable;
 
-var fromAsync = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/FromAsync"));
+var foldableWithIndex = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/FoldableWithIndex"));
 
-exports.fromAsync = fromAsync;
+exports.foldableWithIndex = foldableWithIndex;
 
-var fromIdentity = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/FromIdentity"));
+var functor = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Functor"));
 
-exports.fromIdentity = fromIdentity;
-
-var fromSync = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/FromSync"));
-
-exports.fromSync = fromSync;
-
-var fromOption = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/FromOption"));
-
-exports.fromOption = fromOption;
-
-var fromReader = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/FromReader"));
-
-exports.fromReader = fromReader;
-
-var fromResult = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/FromResult"));
-
-exports.fromResult = fromResult;
-
-var fromState = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/FromState"));
-
-exports.fromState = fromState;
-
-var fromThese = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/FromThese"));
-
-exports.fromThese = fromThese;
-
-var fromWriter = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/FromWriter"));
-
-exports.fromWriter = fromWriter;
-
-var function_ = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Function"));
-
-exports.function = function_;
-
-var functor = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Functor"));
-
 exports.functor = functor;
@@ -145,166 +65,58 @@
 
-var identity = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Identity"));
+var invariant = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Invariant"));
 
-exports.identity = identity;
-
-var invariant = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Invariant"));
-
 exports.invariant = invariant;
 
-var syncOption = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/SyncOption"));
+var monad = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Monad"));
 
-exports.syncOption = syncOption;
-
-var json = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Json"));
-
-exports.json = json;
-
-var kleisliCategory = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/KleisliCategory"));
-
-exports.kleisliCategory = kleisliCategory;
-
-var kleisliComposable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/KleisliComposable"));
-
-exports.kleisliComposable = kleisliComposable;
-
-var monad = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Monad"));
-
 exports.monad = monad;
 
-var monoid = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Monoid"));
+var monoid = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Monoid"));
 
 exports.monoid = monoid;
 
-var nonEmptyReadonlyArray = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/NonEmptyReadonlyArray"));
+var monoidal = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Monoidal"));
 
-exports.nonEmptyReadonlyArray = nonEmptyReadonlyArray;
+exports.monoidal = monoidal;
 
-var number = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/number"));
+var monoidKind = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/MonoidKind"));
 
-exports.number = number;
+exports.monoidKind = monoidKind;
 
-var option = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Option"));
+var ordering = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Ordering"));
 
-exports.option = option;
-
-var optionT = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/transformers/OptionT"));
-
-exports.optionT = optionT;
-
-var ord = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Ord"));
-
-exports.ord = ord;
-
-var ordering = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Ordering"));
-
 exports.ordering = ordering;
 
-var predicate = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Predicate"));
+var semigroup = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Semigroup"));
 
-exports.predicate = predicate;
+exports.semigroup = semigroup;
 
-var random = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Random"));
+var semigroupal = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Semigroupal"));
 
-exports.random = random;
+exports.semigroupal = semigroupal;
 
-var reader = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Reader"));
+var semigroupKind = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/SemigroupKind"));
 
-exports.reader = reader;
+exports.semigroupKind = semigroupKind;
 
-var readerAsync = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/ReaderAsync"));
+var show = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Show"));
 
-exports.readerAsync = readerAsync;
-
-var readerAsyncResult = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/ReaderAsyncResult"));
-
-exports.readerAsyncResult = readerAsyncResult;
-
-var readerAsyncWriter = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/ReaderAsyncWriter"));
-
-exports.readerAsyncWriter = readerAsyncWriter;
-
-var readerResult = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/ReaderResult"));
-
-exports.readerResult = readerResult;
-
-var readerSync = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/ReaderSync"));
-
-exports.readerSync = readerSync;
-
-var readerT = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/transformers/ReaderT"));
-
-exports.readerT = readerT;
-
-var readonlyArray = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/ReadonlyArray"));
-
-exports.readonlyArray = readonlyArray;
-
-var refinement = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Refinement"));
-
-exports.refinement = refinement;
-
-var result = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Result"));
-
-exports.result = result;
-
-var resultT = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/transformers/ResultT"));
-
-exports.resultT = resultT;
-
-var semigroup = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Semigroup"));
-
-exports.semigroup = semigroup;
-
-var show = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Show"));
-
 exports.show = show;
 
-var state = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/State"));
+var sortable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Sortable"));
 
-exports.state = state;
+exports.sortable = sortable;
 
-var stateReaderAsyncResult = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/StateReaderAsyncResult"));
+var succeed = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Succeed"));
 
-exports.stateReaderAsyncResult = stateReaderAsyncResult;
+exports.succeed = succeed;
 
-var stateT = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/transformers/StateT"));
+var traversable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Traversable"));
 
-exports.stateT = stateT;
-
-var string = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/string"));
-
-exports.string = string;
-
-var sync = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Sync"));
-
-exports.sync = sync;
-
-var syncResult = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/SyncResult"));
-
-exports.syncResult = syncResult;
-
-var these = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/These"));
-
-exports.these = these;
-
-var theseT = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/transformers/TheseT"));
-
-exports.theseT = theseT;
-
-var traversable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/Traversable"));
-
 exports.traversable = traversable;
 
-var traversableFilterable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclasses/TraversableFilterable"));
+var traversableWithIndex = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/TraversableWithIndex"));
 
-exports.traversableFilterable = traversableFilterable;
+exports.traversableWithIndex = traversableWithIndex;
 
-var writer = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/Writer"));
-
-exports.writer = writer;
-
-var writerT = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/transformers/WriterT"));
-
-exports.writerT = writerT;
-
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
@@ -311,0 +123,0 @@

package.json

 {
   "name": "@fp-ts/core",
-  "version": "0.0.2",
+  "version": "0.0.3",
   "license": "MIT",
@@ -5,0 +5,0 @@ "repository": {

README.md

@@ -12,8 +12,5 @@ <h3 align="center">
 <p align="center">
-  <a href="https://travis-ci.org/gcanti/fp-ts">
-    <img src="https://img.shields.io/travis/gcanti/fp-ts/master.svg?style=flat-square" alt="build status" height="20">
+  <a href="https://www.npmjs.com/package/@fp-ts/core">
+    <img src="https://img.shields.io/npm/dm/@fp-ts/core.svg" alt="npm downloads" height="20">
   </a>
-  <a href="https://www.npmjs.com/package/fp-ts">
-    <img src="https://img.shields.io/npm/dm/fp-ts.svg" alt="npm downloads" height="20">
-  </a>
 </p>
@@ -23,75 +20,39 @@
 
-`fp-ts` is a library for _typed functional programming_ in TypeScript.
+This is a fork of [`fp-ts`](https://github.com/gcanti/fp-ts).
 
-`fp-ts` aims to allow developers to use _popular patterns and abstractions_ that are available in most functional languages. For this, it includes the most popular data types, type classes and abstractions such as [Option](https://gcanti.github.io/fp-ts/modules/Option.ts), [Either](https://gcanti.github.io/fp-ts/modules/Either.ts), [IO](https://gcanti.github.io/fp-ts/modules/IO.ts), [Task](https://gcanti.github.io/fp-ts/modules/Task.ts), [Functor](https://gcanti.github.io/fp-ts/modules/Functor.ts), [Applicative](https://gcanti.github.io/fp-ts/modules/Applicative.ts), [Monad](https://gcanti.github.io/fp-ts/modules/Monad.ts) to empower users to write pure FP apps and libraries built atop higher order abstractions.
+The goal of this fork is a potential reconciliation with [`Effect-TS`](https://github.com/Effect-TS) in order to unify the ecosystems.
 
-A distinctive feature of `fp-ts` with respect to other functional libraries is its implementation of [Higher Kinded Types](<https://en.wikipedia.org/wiki/Kind_(type_theory)>), which TypeScript doesn't support natively.
+The [`Effect-TS`](https://github.com/Effect-TS) project will reduce it's scope to simply being an effect system and will delegate to `fp-ts org` all the lower level abstractions such as typeclasses and common data structures.
 
-**Inspired by**
+The objective of the `fp-ts org` in github and in npm (`@fp-ts`) is to simplify structure and management of the project, have smaller and better scoped packages and it represents the next major iteration of [`fp-ts`](https://github.com/gcanti/fp-ts).
 
-- [Haskell](https://haskell-lang.org)
-- [PureScript](http://www.purescript.org)
-- [Scala](https://www.scala-lang.org/)
+Our "current" idea (that is well open for changes) is for `fp-ts org` to have:
 
-<!-- START doctoc generated TOC please keep comment here to allow auto update -->
-<!-- DON'T EDIT THIS SECTION, INSTEAD RE-RUN doctoc TO UPDATE -->
+- `@fp-ts/core` with the new `HKT` implementation and the most common typeclasses such as `Monad`
+- `@fp-ts/data` with `Result` (aka Either), `ReadonlyArray`, `List` and the most common data structures together with data related typeclasses (i.e. `Compactable`, etc)
+- `@fp-ts/optics` with an optic implementation that will provide also optics for structures in `@fp-ts/data`
+- `@fp-ts/codec` with a concrete codec such as `io-ts` again for all the structures in `@fp-ts/data`
 
-**Table of contents**
+And for [`Effect-TS`](https://github.com/Effect-TS) to have:
 
-- [Installation](#installation)
-  - [TypeScript compatibility](#typescript-compatibility)
-- [Documentation](#documentation)
-- [Help](#help)
-- [Development](#development)
-- [License](#license)
+- `@effect/core` with the effect system
+- `@effect/query` with the query impl
+- `@effect/*` every other effect based impl
 
-<!-- END doctoc generated TOC please keep comment here to allow auto update -->
+Note that [`Effect-TS`](https://github.com/Effect-TS) will not have base structures and typeclasses and `fp-ts org` will not have `Task` / `IO` /etc as both projects are made to be the same ecosystem and each answer a specific set of needs well.
 
 # Installation
 
-To install the stable version:
+To install the **pre-alpha** version:
 
 ```
-npm install fp-ts
+npm install @fp-ts/core
 ```
 
-Make sure to always have a single version of `fp-ts` installed in your project. Multiple versions are known to cause `tsc` to hang during compilation. You can check the versions currently installed using `npm ls fp-ts` (make sure there's a single version and all the others are marked as `deduped`).
-
-## TypeScript compatibility
-
-**Strictness** – This library is conceived, tested and is supposed to be consumed by TypeScript with the `strict` flag turned on.
-
-| `fp-ts` version | required `typescript` version |
-| --------------- | ----------------------------- |
-| 3.0.x+          | 4.1+                          |
-| 2.0.x+          | 3.5+                          |
-| 1.15.x+         | 3.1+                          |
-| <= 1.14.4       | 2.8+ (\*)                     |
-
-(\*) If you are running `< typescript@3.0.1` you have to polyfill the `unknown` type. You can use [unknown-ts](https://github.com/gcanti/unknown-ts) as a polyfill.
-
 # Documentation
 
-**Disclaimer**. Teaching functional programming is out of scope of this project, so the documentation assumes you already know what FP is.
+- [API Reference](https://fp-ts.github.io/core/)
 
-- [Docs](https://gcanti.github.io/fp-ts)
-- [Learning Resources](https://gcanti.github.io/fp-ts/learning-resources/)
-- [Ecosystem](https://gcanti.github.io/fp-ts/ecosystem/)
-- API Reference
-  - [version 2.x (current)](https://gcanti.github.io/fp-ts/modules/)
-  - [version 1.x](https://github.com/gcanti/fp-ts/tree/1.x/docs/modules/)
-
-# Help
-
-If you need help with `fp-ts` check out:
-
-- this [Discord server](https://discord.gg/HVWmBBXM8A)
-- the `#fp-ts` channel on [FP slack](https://fpslack.com/).
-
-# Development
-
-- [Code conventions](https://gcanti.github.io/fp-ts/guides/code-conventions)
-
 # License
 
 The MIT License (MIT)

src/HKT.ts

 /**
- * Type defunctionalization (as describe in [Lightweight higher-kinded polymorphism](https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf))
- *
  * @since 3.0.0
@@ -35,22 +33,16 @@ */
   readonly type: unknown
-}
-  ? (F & {
-      readonly InOut1: InOut1
-      readonly In1: In1
-      readonly Out3: Out3
-      readonly Out2: Out2
-      readonly Out1: Out1
-    })['type']
+} ? (F & {
+  readonly InOut1: InOut1
+  readonly In1: In1
+  readonly Out3: Out3
+  readonly Out2: Out2
+  readonly Out1: Out1
+})["type"]
   : {
-      readonly F: F
-      readonly InOut1: (_: InOut1) => InOut1
-      readonly In1: (_: In1) => void
-      readonly Out3: () => Out3
-      readonly Out2: () => Out2
-      readonly Out1: () => Out1
-    }
-
-/**
- * @since 3.0.0
- */
-export type HKD<F extends TypeLambda, A> = Kind<F, <S>(_: S) => S, unknown, never, never, A>
+    readonly F: F
+    readonly InOut1: (_: InOut1) => InOut1
+    readonly In1: (_: In1) => void
+    readonly Out3: () => Out3
+    readonly Out2: () => Out2
+    readonly Out1: () => Out1
+  }

src/index.ts

@@ -5,77 +5,30 @@ /**
 
-import * as alt from '@fp-ts/core/typeclasses/Alt'
-import * as alternative from '@fp-ts/core/typeclasses/Alternative'
-import * as applicative from '@fp-ts/core/typeclasses/Applicative'
-import * as apply from '@fp-ts/core/typeclasses/Apply'
-import * as async from '@fp-ts/core/Async'
-import * as asyncOption from '@fp-ts/core/AsyncOption'
-import * as asyncResult from '@fp-ts/core/AsyncResult'
-import * as asyncThese from '@fp-ts/core/AsyncThese'
-import * as bifunctor from '@fp-ts/core/typeclasses/Bifunctor'
-import * as boolean from '@fp-ts/core/boolean'
-import * as bounded from '@fp-ts/core/typeclasses/Bounded'
-import * as category from '@fp-ts/core/typeclasses/Category'
-import * as comonad from '@fp-ts/core/typeclasses/Comonad'
-import * as compactable from '@fp-ts/core/typeclasses/Compactable'
-import * as composable from '@fp-ts/core/typeclasses/Composable'
-import * as const_ from '@fp-ts/core/Const'
-import * as contravariant from '@fp-ts/core/typeclasses/Contravariant'
-import * as endomorphism from '@fp-ts/core/Endomorphism'
-import * as eq from '@fp-ts/core/typeclasses/Eq'
-import * as extendable from '@fp-ts/core/typeclasses/Extendable'
-import * as filterable from '@fp-ts/core/typeclasses/Filterable'
-import * as flattenable from '@fp-ts/core/typeclasses/Flattenable'
-import * as fromAsync from '@fp-ts/core/typeclasses/FromAsync'
-import * as fromIdentity from '@fp-ts/core/typeclasses/FromIdentity'
-import * as fromSync from '@fp-ts/core/typeclasses/FromSync'
-import * as fromOption from '@fp-ts/core/typeclasses/FromOption'
-import * as fromReader from '@fp-ts/core/typeclasses/FromReader'
-import * as fromResult from '@fp-ts/core/typeclasses/FromResult'
-import * as fromState from '@fp-ts/core/typeclasses/FromState'
-import * as fromThese from '@fp-ts/core/typeclasses/FromThese'
-import * as fromWriter from '@fp-ts/core/typeclasses/FromWriter'
-import * as function_ from '@fp-ts/core/Function'
-import * as functor from '@fp-ts/core/typeclasses/Functor'
-import * as hkt from '@fp-ts/core/HKT'
-import * as identity from '@fp-ts/core/Identity'
-import * as invariant from '@fp-ts/core/typeclasses/Invariant'
-import * as syncOption from '@fp-ts/core/SyncOption'
-import * as json from '@fp-ts/core/Json'
-import * as kleisliCategory from '@fp-ts/core/typeclasses/KleisliCategory'
-import * as kleisliComposable from '@fp-ts/core/typeclasses/KleisliComposable'
-import * as monad from '@fp-ts/core/typeclasses/Monad'
-import * as monoid from '@fp-ts/core/typeclasses/Monoid'
-import * as nonEmptyReadonlyArray from '@fp-ts/core/NonEmptyReadonlyArray'
-import * as number from '@fp-ts/core/number'
-import * as option from '@fp-ts/core/Option'
-import * as optionT from '@fp-ts/core/transformers/OptionT'
-import * as ord from '@fp-ts/core/typeclasses/Ord'
-import * as ordering from '@fp-ts/core/typeclasses/Ordering'
-import * as predicate from '@fp-ts/core/Predicate'
-import * as random from '@fp-ts/core/Random'
-import * as reader from '@fp-ts/core/Reader'
-import * as readerAsync from '@fp-ts/core/ReaderAsync'
-import * as readerAsyncResult from '@fp-ts/core/ReaderAsyncResult'
-import * as readerAsyncWriter from '@fp-ts/core/ReaderAsyncWriter'
-import * as readerResult from '@fp-ts/core/ReaderResult'
-import * as readerSync from '@fp-ts/core/ReaderSync'
-import * as readerT from '@fp-ts/core/transformers/ReaderT'
-import * as readonlyArray from '@fp-ts/core/ReadonlyArray'
-import * as refinement from '@fp-ts/core/Refinement'
-import * as result from '@fp-ts/core/Result'
-import * as resultT from '@fp-ts/core/transformers/ResultT'
-import * as semigroup from '@fp-ts/core/typeclasses/Semigroup'
-import * as show from '@fp-ts/core/typeclasses/Show'
-import * as state from '@fp-ts/core/State'
-import * as stateReaderAsyncResult from '@fp-ts/core/StateReaderAsyncResult'
-import * as stateT from '@fp-ts/core/transformers/StateT'
-import * as string from '@fp-ts/core/string'
-import * as sync from '@fp-ts/core/Sync'
-import * as syncResult from '@fp-ts/core/SyncResult'
-import * as these from '@fp-ts/core/These'
-import * as theseT from '@fp-ts/core/transformers/TheseT'
-import * as traversable from '@fp-ts/core/typeclasses/Traversable'
-import * as traversableFilterable from '@fp-ts/core/typeclasses/TraversableFilterable'
-import * as writer from '@fp-ts/core/Writer'
-import * as writerT from '@fp-ts/core/transformers/WriterT'
+import * as bifunctor from "@fp-ts/core/Bifunctor"
+import * as bounded from "@fp-ts/core/Bounded"
+import * as category from "@fp-ts/core/Category"
+import * as categoryKind from "@fp-ts/core/CategoryKind"
+import * as comonad from "@fp-ts/core/Comonad"
+import * as composable from "@fp-ts/core/Composable"
+import * as composableKind from "@fp-ts/core/ComposableKind"
+import * as contravariant from "@fp-ts/core/Contravariant"
+import * as extendable from "@fp-ts/core/Extendable"
+import * as flatMap from "@fp-ts/core/FlatMap"
+import * as foldable from "@fp-ts/core/Foldable"
+import * as foldableWithIndex from "@fp-ts/core/FoldableWithIndex"
+import * as functor from "@fp-ts/core/Functor"
+import * as hkt from "@fp-ts/core/HKT"
+import * as invariant from "@fp-ts/core/Invariant"
+import * as monad from "@fp-ts/core/Monad"
+import * as monoid from "@fp-ts/core/Monoid"
+import * as monoidal from "@fp-ts/core/Monoidal"
+import * as monoidKind from "@fp-ts/core/MonoidKind"
+import * as ordering from "@fp-ts/core/Ordering"
+import * as semigroup from "@fp-ts/core/Semigroup"
+import * as semigroupal from "@fp-ts/core/Semigroupal"
+import * as semigroupKind from "@fp-ts/core/SemigroupKind"
+import * as show from "@fp-ts/core/Show"
+import * as sortable from "@fp-ts/core/Sortable"
+import * as succeed from "@fp-ts/core/Succeed"
+import * as traversable from "@fp-ts/core/Traversable"
+import * as traversableWithIndex from "@fp-ts/core/TraversableWithIndex"
 
@@ -87,48 +40,4 @@ export {
    */
-  alt,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
-  alternative,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
-  applicative,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
-  apply,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  async,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  asyncOption,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  asyncResult,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  asyncThese,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
   bifunctor,
   /**
-   * @since 3.0.0
-   */
-  boolean,
-  /**
    * @category type classes
@@ -147,3 +56,3 @@ * @since 3.0.0
    */
-  comonad,
+  categoryKind,
   /**
@@ -153,3 +62,3 @@ * @category type classes
    */
-  compactable,
+  comonad,
   /**
@@ -161,6 +70,6 @@ * @category type classes
   /**
-   * @category data types
+   * @category type classes
    * @since 3.0.0
    */
-  const_ as const,
+  composableKind,
   /**
@@ -172,7 +81,2 @@ * @category type classes
   /**
-   * @category data types
-   * @since 3.0.0
-   */
-  endomorphism,
-  /**
    * @category type classes
@@ -186,3 +90,3 @@ * @since 3.0.0
    */
-  filterable,
+  flatMap,
   /**
@@ -192,3 +96,3 @@ * @category type classes
    */
-  flattenable,
+  foldable,
   /**
@@ -198,3 +102,3 @@ * @category type classes
    */
-  fromAsync,
+  foldableWithIndex,
   /**
@@ -204,46 +108,2 @@ * @category type classes
    */
-  fromIdentity,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
-  fromOption,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
-  fromReader,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
-  fromResult,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
-  fromState,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
-  fromSync,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
-  fromThese,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
-  fromWriter,
-  /**
-   * @since 3.0.0
-   */
-  function_ as function,
-  /**
-   * @category type classes
-   * @since 3.0.0
-   */
   functor,
@@ -255,7 +115,2 @@ /**
   /**
-   * @category data types
-   * @since 3.0.0
-   */
-  identity,
-  /**
    * @category type classes
@@ -266,10 +121,6 @@ * @since 3.0.0
   /**
-   * @since 3.0.0
-   */
-  json,
-  /**
    * @category type classes
    * @since 3.0.0
    */
-  kleisliCategory,
+  monad,
   /**
@@ -279,3 +130,3 @@ * @category type classes
    */
-  kleisliComposable,
+  monoid,
   /**
@@ -285,3 +136,3 @@ * @category type classes
    */
-  monad,
+  monoidal,
   /**
@@ -291,3 +142,3 @@ * @category type classes
    */
-  monoid,
+  monoidKind,
   /**
@@ -297,94 +148,13 @@ * @category data types
    */
-  nonEmptyReadonlyArray,
+  ordering,
   /**
-   * @since 3.0.0
-   */
-  number,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  option,
-  /**
-   * @category monad transformers
-   * @since 3.0.0
-   */
-  optionT,
-  /**
    * @category type classes
    * @since 3.0.0
    */
-  ord,
+  semigroup,
   /**
-   * @since 3.0.0
-   */
-  ordering,
-  /**
-   * @since 3.0.0
-   */
-  predicate,
-  /**
-   * @since 3.0.0
-   */
-  random,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  reader,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  readerAsync,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  readerAsyncResult,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  readerAsyncWriter,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  readerResult,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  readerSync,
-  /**
-   * @category monad transformers
-   * @since 3.0.0
-   */
-  readerT,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  readonlyArray,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  refinement,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  result,
-  /**
-   * @category monad transformers
-   * @since 3.0.0
-   */
-  resultT,
-  /**
    * @category type classes
    * @since 3.0.0
    */
-  semigroup,
+  semigroupal,
   /**
@@ -394,3 +164,3 @@ * @category type classes
    */
-  eq,
+  semigroupKind,
   /**
@@ -402,46 +172,12 @@ * @category type classes
   /**
-   * @category data types
+   * @category type classes
    * @since 3.0.0
    */
-  state,
+  sortable,
   /**
-   * @category data types
+   * @category type classes
    * @since 3.0.0
    */
-  stateReaderAsyncResult,
+  succeed,
   /**
-   * @category monad transformers
-   * @since 3.0.0
-   */
-  stateT,
-  /**
-   * @since 3.0.0
-   */
-  string,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  sync,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  syncOption,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  syncResult,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  these,
-  /**
-   * @category monad transformers
-   * @since 3.0.0
-   */
-  theseT,
-  /**
    * @category type classes
@@ -455,13 +191,3 @@ * @since 3.0.0
    */
-  traversableFilterable,
-  /**
-   * @category data types
-   * @since 3.0.0
-   */
-  writer,
-  /**
-   * @category monad transformers
-   * @since 3.0.0
-   */
-  writerT
+  traversableWithIndex
 }

New alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Major refactor

Supply chain risk

Package has recently undergone a major refactor. It may be unstable or indicate significant internal changes. Use caution when updating to versions that include significant changes.

Found 1 instance in 1 package

Fixed alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Worsened metrics

Total package byte prevSize

237854

decreased by-92.67%

Number of package files

212

decreased by-60.81%

Lines of code

4664

decreased by-93.65%

Number of lines in readme file

57

decreased by-40.62%

Number of medium supply chain risk alerts

1

increased byInfinity%

No dependency changes