@fp-ts/core - npm Package Compare versions

Comparing version 0.0.7 to 0.0.8

index.d.ts

@@ -20,6 +20,2 @@ /**
 import * as monoid from "@fp-ts/core/typeclass/Monoid";
-import * as nonEmptyAlternative from "@fp-ts/core/typeclass/NonEmptyAlternative";
-import * as nonEmptyApplicative from "@fp-ts/core/typeclass/NonEmptyApplicative";
-import * as nonEmptyCoproduct from "@fp-ts/core/typeclass/NonEmptyCoproduct";
-import * as nonEmptyProduct from "@fp-ts/core/typeclass/NonEmptyProduct";
 import * as nonEmptyTraversable from "@fp-ts/core/typeclass/NonEmptyTraversable";
@@ -30,3 +26,7 @@ import * as of from "@fp-ts/core/typeclass/Of";
 import * as product from "@fp-ts/core/typeclass/Product";
+import * as semiAlternative from "@fp-ts/core/typeclass/SemiAlternative";
+import * as semiApplicative from "@fp-ts/core/typeclass/SemiApplicative";
+import * as semiCoproduct from "@fp-ts/core/typeclass/SemiCoproduct";
 import * as semigroup from "@fp-ts/core/typeclass/Semigroup";
+import * as semiProduct from "@fp-ts/core/typeclass/SemiProduct";
 import * as traversable from "@fp-ts/core/typeclass/Traversable";
@@ -125,3 +125,3 @@ import * as traversableFilterable from "@fp-ts/core/typeclass/TraversableFilterable";
  */
-nonEmptyAlternative, 
+nonEmptyTraversable, 
 /**
@@ -131,8 +131,8 @@ * @category typeclass
  */
-nonEmptyApplicative, 
+of, 
 /**
- * @category typeclass
+ * @category data types
  * @since 1.0.0
  */
-nonEmptyCoproduct, 
+option, 
 /**
@@ -142,3 +142,3 @@ * @category typeclass
  */
-nonEmptyProduct, 
+order, 
 /**
@@ -148,3 +148,3 @@ * @category typeclass
  */
-nonEmptyTraversable, 
+pointed, 
 /**
@@ -154,8 +154,8 @@ * @category typeclass
  */
-of, 
+product, 
 /**
- * @category data types
+ * @category typeclass
  * @since 1.0.0
  */
-option, 
+semiAlternative, 
 /**
@@ -165,3 +165,3 @@ * @category typeclass
  */
-order, 
+semiApplicative, 
 /**
@@ -171,3 +171,3 @@ * @category typeclass
  */
-pointed, 
+semiCoproduct, 
 /**
@@ -177,3 +177,3 @@ * @category typeclass
  */
-product, 
+semigroup, 
 /**
@@ -183,3 +183,3 @@ * @category typeclass
  */
-semigroup, 
+semiProduct, 
 /**
@@ -186,0 +186,0 @@ * @category typeclass

index.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.traversableFilterable = exports.traversable = exports.semigroup = exports.product = exports.pointed = exports.order = exports.option = exports.of = exports.nonEmptyTraversable = exports.nonEmptyProduct = exports.nonEmptyCoproduct = exports.nonEmptyApplicative = exports.nonEmptyAlternative = exports.monoid = exports.monad = exports.invariant = exports.hkt = exports.foldable = exports.flatMap = exports.filterable = exports.either = exports.covariant = exports.coproduct = exports.contravariant = exports.compactable = exports.chainable = exports.bounded = exports.bicovariant = exports.applicative = exports.alternative = void 0;
+exports.traversableFilterable = exports.traversable = exports.semigroup = exports.semiProduct = exports.semiCoproduct = exports.semiApplicative = exports.semiAlternative = exports.product = exports.pointed = exports.order = exports.option = exports.of = exports.nonEmptyTraversable = exports.monoid = exports.monad = exports.invariant = exports.hkt = exports.foldable = exports.flatMap = exports.filterable = exports.either = exports.covariant = exports.coproduct = exports.contravariant = exports.compactable = exports.chainable = exports.bounded = exports.bicovariant = exports.applicative = exports.alternative = void 0;
 
@@ -73,18 +73,2 @@ var hkt = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/HKT"));
 
-var nonEmptyAlternative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/NonEmptyAlternative"));
-
-exports.nonEmptyAlternative = nonEmptyAlternative;
-
-var nonEmptyApplicative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/NonEmptyApplicative"));
-
-exports.nonEmptyApplicative = nonEmptyApplicative;
-
-var nonEmptyCoproduct = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/NonEmptyCoproduct"));
-
-exports.nonEmptyCoproduct = nonEmptyCoproduct;
-
-var nonEmptyProduct = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/NonEmptyProduct"));
-
-exports.nonEmptyProduct = nonEmptyProduct;
-
 var nonEmptyTraversable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/NonEmptyTraversable"));
@@ -110,2 +94,14 @@
 
+var semiAlternative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/SemiAlternative"));
+
+exports.semiAlternative = semiAlternative;
+
+var semiApplicative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/SemiApplicative"));
+
+exports.semiApplicative = semiApplicative;
+
+var semiCoproduct = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/SemiCoproduct"));
+
+exports.semiCoproduct = semiCoproduct;
+
 var semigroup = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/Semigroup"));
@@ -115,2 +111,6 @@
 
+var semiProduct = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/SemiProduct"));
+
+exports.semiProduct = semiProduct;
+
 var traversable = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/Traversable"));
@@ -117,0 +117,0 @@

package.json

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

src/index.ts

@@ -30,6 +30,2 @@ /**
 import * as monoid from "@fp-ts/core/typeclass/Monoid"
-import * as nonEmptyAlternative from "@fp-ts/core/typeclass/NonEmptyAlternative"
-import * as nonEmptyApplicative from "@fp-ts/core/typeclass/NonEmptyApplicative"
-import * as nonEmptyCoproduct from "@fp-ts/core/typeclass/NonEmptyCoproduct"
-import * as nonEmptyProduct from "@fp-ts/core/typeclass/NonEmptyProduct"
 import * as nonEmptyTraversable from "@fp-ts/core/typeclass/NonEmptyTraversable"
@@ -40,3 +36,7 @@ import * as of from "@fp-ts/core/typeclass/Of"
 import * as product from "@fp-ts/core/typeclass/Product"
+import * as semiAlternative from "@fp-ts/core/typeclass/SemiAlternative"
+import * as semiApplicative from "@fp-ts/core/typeclass/SemiApplicative"
+import * as semiCoproduct from "@fp-ts/core/typeclass/SemiCoproduct"
 import * as semigroup from "@fp-ts/core/typeclass/Semigroup"
+import * as semiProduct from "@fp-ts/core/typeclass/SemiProduct"
 import * as traversable from "@fp-ts/core/typeclass/Traversable"
@@ -141,3 +141,3 @@ import * as traversableFilterable from "@fp-ts/core/typeclass/TraversableFilterable"
    */
-  nonEmptyAlternative,
+  nonEmptyTraversable,
   /**
@@ -147,8 +147,8 @@ * @category typeclass
    */
-  nonEmptyApplicative,
+  of,
   /**
-   * @category typeclass
+   * @category data types
    * @since 1.0.0
    */
-  nonEmptyCoproduct,
+  option,
   /**
@@ -158,3 +158,3 @@ * @category typeclass
    */
-  nonEmptyProduct,
+  order,
   /**
@@ -164,3 +164,3 @@ * @category typeclass
    */
-  nonEmptyTraversable,
+  pointed,
   /**
@@ -170,8 +170,8 @@ * @category typeclass
    */
-  of,
+  product,
   /**
-   * @category data types
+   * @category typeclass
    * @since 1.0.0
    */
-  option,
+  semiAlternative,
   /**
@@ -181,3 +181,3 @@ * @category typeclass
    */
-  order,
+  semiApplicative,
   /**
@@ -187,3 +187,3 @@ * @category typeclass
    */
-  pointed,
+  semiCoproduct,
   /**
@@ -193,3 +193,3 @@ * @category typeclass
    */
-  product,
+  semigroup,
   /**
@@ -199,3 +199,3 @@ * @category typeclass
    */
-  semigroup,
+  semiProduct,
   /**
@@ -202,0 +202,0 @@ * @category typeclass

src/typeclass/Alternative.ts

@@ -6,3 +6,3 @@ /**
 import type { Coproduct } from "@fp-ts/core/typeclass/Coproduct"
-import type { NonEmptyAlternative } from "@fp-ts/core/typeclass/NonEmptyAlternative"
+import type { SemiAlternative } from "@fp-ts/core/typeclass/SemiAlternative"
 
@@ -13,2 +13,2 @@ /**
  */
-export interface Alternative<F extends TypeLambda> extends NonEmptyAlternative<F>, Coproduct<F> {}
+export interface Alternative<F extends TypeLambda> extends SemiAlternative<F>, Coproduct<F> {}

src/typeclass/Applicative.ts

@@ -7,5 +7,5 @@ /**
 import * as monoid from "@fp-ts/core/typeclass/Monoid"
-import type { NonEmptyApplicative } from "@fp-ts/core/typeclass/NonEmptyApplicative"
-import * as nonEmptyApplicative from "@fp-ts/core/typeclass/NonEmptyApplicative"
 import type { Product } from "@fp-ts/core/typeclass/Product"
+import type { SemiApplicative } from "@fp-ts/core/typeclass/SemiApplicative"
+import * as semiApplicative from "@fp-ts/core/typeclass/SemiApplicative"
 
@@ -16,3 +16,3 @@ /**
  */
-export interface Applicative<F extends TypeLambda> extends NonEmptyApplicative<F>, Product<F> {}
+export interface Applicative<F extends TypeLambda> extends SemiApplicative<F>, Product<F> {}
 
@@ -27,4 +27,4 @@ /**
     monoid.fromSemigroup(
-      nonEmptyApplicative.liftSemigroup(F)<A, R, O, E>(M),
+      semiApplicative.liftSemigroup(F)<A, R, O, E>(M),
       F.of(M.empty)
     )

src/typeclass/Coproduct.ts

@@ -6,4 +6,4 @@ /**
 import type { Monoid } from "@fp-ts/core/typeclass/Monoid"
-import type { NonEmptyCoproduct } from "@fp-ts/core/typeclass/NonEmptyCoproduct"
-import * as nonEmptyCoproduct from "@fp-ts/core/typeclass/NonEmptyCoproduct"
+import type { SemiCoproduct } from "@fp-ts/core/typeclass/SemiCoproduct"
+import * as semiCoproduct from "@fp-ts/core/typeclass/SemiCoproduct"
 
@@ -14,3 +14,3 @@ /**
  */
-export interface Coproduct<F extends TypeLambda> extends NonEmptyCoproduct<F> {
+export interface Coproduct<F extends TypeLambda> extends SemiCoproduct<F> {
   readonly zero: <A>() => Kind<F, unknown, never, never, A>
@@ -30,5 +30,5 @@
   > => ({
-    ...nonEmptyCoproduct.getSemigroup(F)(),
+    ...semiCoproduct.getSemigroup(F)(),
     empty: F.zero(),
     combineAll: F.coproductAll
   })

src/typeclass/NonEmptyTraversable.ts

@@ -9,3 +9,3 @@ /**
 import type { Covariant } from "@fp-ts/core/typeclass/Covariant"
-import type { NonEmptyApplicative } from "@fp-ts/core/typeclass/NonEmptyApplicative"
+import type { SemiApplicative } from "@fp-ts/core/typeclass/SemiApplicative"
 
@@ -18,3 +18,3 @@ /**
   readonly traverseNonEmpty: <F extends TypeLambda>(
-    F: NonEmptyApplicative<F>
+    F: SemiApplicative<F>
   ) => <A, R, O, E, B>(
@@ -27,3 +27,3 @@ f: (a: A) => Kind<F, R, O, E, B>
   readonly sequenceNonEmpty: <F extends TypeLambda>(
-    F: NonEmptyApplicative<F>
+    F: SemiApplicative<F>
   ) => <TR, TO, TE, R, O, E, A>(
@@ -43,3 +43,3 @@ self: Kind<T, TR, TO, TE, Kind<F, R, O, E, A>>
 ) =>
-  <G extends TypeLambda>(F: NonEmptyApplicative<G>) =>
+  <G extends TypeLambda>(F: SemiApplicative<G>) =>
     <A, R, O, E, B>(
@@ -61,3 +61,3 @@ f: (a: A) => Kind<G, R, O, E, B>
 ) =>
-  <G extends TypeLambda>(F: NonEmptyApplicative<G>) =>
+  <G extends TypeLambda>(F: SemiApplicative<G>) =>
     <TR, TO, TE, GR, GO, GE, R, O, E, A>(
@@ -77,5 +77,5 @@ self: Kind<T, TR, TO, TE, Kind<F, GR, GO, GE, Kind<G, R, O, E, A>>>
   <F extends TypeLambda>(
-    F: NonEmptyApplicative<F>
+    F: SemiApplicative<F>
   ): (<TR, TO, TE, R, O, E, A>(
     self: Kind<T, TR, TO, TE, Kind<F, R, O, E, A>>
   ) => Kind<F, R, O, E, Kind<T, TR, TO, TE, A>>) => traverseNonEmpty(F)(identity)

src/typeclass/Order.ts

@@ -9,5 +9,5 @@ /**
 import * as monoid from "@fp-ts/core/typeclass/Monoid"
-import type * as nonEmptyProduct from "@fp-ts/core/typeclass/NonEmptyProduct"
 import type * as product from "@fp-ts/core/typeclass/Product"
 import type { Semigroup } from "@fp-ts/core/typeclass/Semigroup"
+import type * as semiProduct from "@fp-ts/core/typeclass/SemiProduct"
 
@@ -136,3 +136,3 @@ /**
  */
-export const NonEmptyProduct: nonEmptyProduct.NonEmptyProduct<OrderTypeLambda> = {
+export const SemiProduct: semiProduct.SemiProduct<OrderTypeLambda> = {
   imap: Contravariant.imap,
@@ -148,3 +148,3 @@ product: that => self => tuple(self, that),
 export const Product: product.Product<OrderTypeLambda> = {
-  ...NonEmptyProduct,
+  ...SemiProduct,
   of: () => empty,
@@ -151,0 +151,0 @@ productAll: <A>(collection: Iterable<Order<A>>) => tuple<Array<A>>(...collection)

src/typeclass/Product.ts

@@ -6,4 +6,4 @@ /**
 import { pipe } from "@fp-ts/core/internal/Function"
-import type { NonEmptyProduct } from "@fp-ts/core/typeclass/NonEmptyProduct"
 import type { Of } from "@fp-ts/core/typeclass/Of"
+import type { SemiProduct } from "@fp-ts/core/typeclass/SemiProduct"
 
@@ -14,3 +14,3 @@ /**
  */
-export interface Product<F extends TypeLambda> extends NonEmptyProduct<F>, Of<F> {
+export interface Product<F extends TypeLambda> extends SemiProduct<F>, Of<F> {
   readonly productAll: <R, O, E, A>(
@@ -17,0 +17,0 @@ collection: Iterable<Kind<F, R, O, E, A>>

src/typeclass/Semigroup.ts

@@ -26,5 +26,5 @@ /**
 import type * as invariant from "@fp-ts/core/typeclass/Invariant"
-import type * as nonEmptyProduct from "@fp-ts/core/typeclass/NonEmptyProduct"
 import type { Order } from "@fp-ts/core/typeclass/Order"
 import type * as product from "@fp-ts/core/typeclass/Product"
+import type * as semiProduct from "@fp-ts/core/typeclass/SemiProduct"
 
@@ -208,3 +208,3 @@ /**
  */
-export const NonEmptyProduct: nonEmptyProduct.NonEmptyProduct<SemigroupTypeLambda> = {
+export const SemiProduct: semiProduct.SemiProduct<SemigroupTypeLambda> = {
   ...Invariant,
@@ -220,5 +220,5 @@ product: that => self => tuple(self, that),
 export const Product: product.Product<SemigroupTypeLambda> = {
-  ...NonEmptyProduct,
+  ...SemiProduct,
   of: constant,
   productAll: <A>(collection: Iterable<Semigroup<A>>) => tuple<Array<A>>(...collection)
 }

typeclass/Alternative.d.ts

@@ -6,3 +6,3 @@ /**
 import type { Coproduct } from "@fp-ts/core/typeclass/Coproduct";
-import type { NonEmptyAlternative } from "@fp-ts/core/typeclass/NonEmptyAlternative";
+import type { SemiAlternative } from "@fp-ts/core/typeclass/SemiAlternative";
 /**
@@ -12,4 +12,4 @@ * @category type class
  */
-export interface Alternative<F extends TypeLambda> extends NonEmptyAlternative<F>, Coproduct<F> {
+export interface Alternative<F extends TypeLambda> extends SemiAlternative<F>, Coproduct<F> {
 }
 //# sourceMappingURL=Alternative.d.ts.map

typeclass/Applicative.d.ts

@@ -6,4 +6,4 @@ /**
 import type { Monoid } from "@fp-ts/core/typeclass/Monoid";
-import type { NonEmptyApplicative } from "@fp-ts/core/typeclass/NonEmptyApplicative";
 import type { Product } from "@fp-ts/core/typeclass/Product";
+import type { SemiApplicative } from "@fp-ts/core/typeclass/SemiApplicative";
 /**
@@ -13,3 +13,3 @@ * @category type class
  */
-export interface Applicative<F extends TypeLambda> extends NonEmptyApplicative<F>, Product<F> {
+export interface Applicative<F extends TypeLambda> extends SemiApplicative<F>, Product<F> {
 }
@@ -16,0 +16,0 @@ /**

typeclass/Applicative.js

@@ -10,3 +10,3 @@ "use strict";
 
-var nonEmptyApplicative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/NonEmptyApplicative"));
+var semiApplicative = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/SemiApplicative"));
 
@@ -22,5 +22,5 @@ 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); }
  */
-const liftMonoid = F => M => monoid.fromSemigroup(nonEmptyApplicative.liftSemigroup(F)(M), F.of(M.empty));
+const liftMonoid = F => M => monoid.fromSemigroup(semiApplicative.liftSemigroup(F)(M), F.of(M.empty));
 
 exports.liftMonoid = liftMonoid;
 //# sourceMappingURL=Applicative.js.map

typeclass/Coproduct.d.ts

@@ -6,3 +6,3 @@ /**
 import type { Monoid } from "@fp-ts/core/typeclass/Monoid";
-import type { NonEmptyCoproduct } from "@fp-ts/core/typeclass/NonEmptyCoproduct";
+import type { SemiCoproduct } from "@fp-ts/core/typeclass/SemiCoproduct";
 /**
@@ -12,3 +12,3 @@ * @category type class
  */
-export interface Coproduct<F extends TypeLambda> extends NonEmptyCoproduct<F> {
+export interface Coproduct<F extends TypeLambda> extends SemiCoproduct<F> {
     readonly zero: <A>() => Kind<F, unknown, never, never, A>;
@@ -15,0 +15,0 @@ readonly coproductAll: <R, O, E, A>(collection: Iterable<Kind<F, R, O, E, A>>) => Kind<F, R, O, E, A>;

typeclass/Coproduct.js

@@ -8,3 +8,3 @@ "use strict";
 
-var nonEmptyCoproduct = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/NonEmptyCoproduct"));
+var semiCoproduct = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/SemiCoproduct"));
 
@@ -18,3 +18,3 @@ 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); }
  */
-const getMonoid = F => () => ({ ...nonEmptyCoproduct.getSemigroup(F)(),
+const getMonoid = F => () => ({ ...semiCoproduct.getSemigroup(F)(),
   empty: F.zero(),
@@ -21,0 +21,0 @@ combineAll: F.coproductAll

typeclass/NonEmptyTraversable.d.ts

@@ -8,3 +8,3 @@ /**
 import type { Covariant } from "@fp-ts/core/typeclass/Covariant";
-import type { NonEmptyApplicative } from "@fp-ts/core/typeclass/NonEmptyApplicative";
+import type { SemiApplicative } from "@fp-ts/core/typeclass/SemiApplicative";
 /**
@@ -15,4 +15,4 @@ * @category type class
 export interface NonEmptyTraversable<T extends TypeLambda> extends TypeClass<T> {
-    readonly traverseNonEmpty: <F extends TypeLambda>(F: NonEmptyApplicative<F>) => <A, R, O, E, B>(f: (a: A) => Kind<F, R, O, E, B>) => <TR, TO, TE>(self: Kind<T, TR, TO, TE, A>) => Kind<F, R, O, E, Kind<T, TR, TO, TE, B>>;
-    readonly sequenceNonEmpty: <F extends TypeLambda>(F: NonEmptyApplicative<F>) => <TR, TO, TE, R, O, E, A>(self: Kind<T, TR, TO, TE, Kind<F, R, O, E, A>>) => Kind<F, R, O, E, Kind<T, TR, TO, TE, A>>;
+    readonly traverseNonEmpty: <F extends TypeLambda>(F: SemiApplicative<F>) => <A, R, O, E, B>(f: (a: A) => Kind<F, R, O, E, B>) => <TR, TO, TE>(self: Kind<T, TR, TO, TE, A>) => Kind<F, R, O, E, Kind<T, TR, TO, TE, B>>;
+    readonly sequenceNonEmpty: <F extends TypeLambda>(F: SemiApplicative<F>) => <TR, TO, TE, R, O, E, A>(self: Kind<T, TR, TO, TE, Kind<F, R, O, E, A>>) => Kind<F, R, O, E, Kind<T, TR, TO, TE, A>>;
 }
@@ -24,3 +24,3 @@ /**
  */
-export declare const traverseNonEmptyComposition: <T extends TypeLambda, F extends TypeLambda>(T: NonEmptyTraversable<T>, G: NonEmptyTraversable<F>) => <G extends TypeLambda>(F: NonEmptyApplicative<G>) => <A, R, O, E, B>(f: (a: A) => Kind<G, R, O, E, B>) => <TR, TO, TE, GR, GO, GE>(self: Kind<T, TR, TO, TE, Kind<F, GR, GO, GE, A>>) => Kind<G, R, O, E, Kind<T, TR, TO, TE, Kind<F, GR, GO, GE, B>>>;
+export declare const traverseNonEmptyComposition: <T extends TypeLambda, F extends TypeLambda>(T: NonEmptyTraversable<T>, G: NonEmptyTraversable<F>) => <G extends TypeLambda>(F: SemiApplicative<G>) => <A, R, O, E, B>(f: (a: A) => Kind<G, R, O, E, B>) => <TR, TO, TE, GR, GO, GE>(self: Kind<T, TR, TO, TE, Kind<F, GR, GO, GE, A>>) => Kind<G, R, O, E, Kind<T, TR, TO, TE, Kind<F, GR, GO, GE, B>>>;
 /**
@@ -31,3 +31,3 @@ * Returns a default `sequenceNonEmpty` composition.
  */
-export declare const sequenceNonEmptyComposition: <T extends TypeLambda, F extends TypeLambda>(T: NonEmptyTraversable<T> & Covariant<T>, G: NonEmptyTraversable<F>) => <G extends TypeLambda>(F: NonEmptyApplicative<G>) => <TR, TO, TE, GR, GO, GE, R, O, E, A>(self: Kind<T, TR, TO, TE, Kind<F, GR, GO, GE, Kind<G, R, O, E, A>>>) => Kind<G, R, O, E, Kind<T, TR, TO, TE, Kind<F, GR, GO, GE, A>>>;
+export declare const sequenceNonEmptyComposition: <T extends TypeLambda, F extends TypeLambda>(T: NonEmptyTraversable<T> & Covariant<T>, G: NonEmptyTraversable<F>) => <G extends TypeLambda>(F: SemiApplicative<G>) => <TR, TO, TE, GR, GO, GE, R, O, E, A>(self: Kind<T, TR, TO, TE, Kind<F, GR, GO, GE, Kind<G, R, O, E, A>>>) => Kind<G, R, O, E, Kind<T, TR, TO, TE, Kind<F, GR, GO, GE, A>>>;
 /**
@@ -38,3 +38,3 @@ * Returns a default `sequenceNonEmpty` implementation.
  */
-export declare const sequenceNonEmpty: <T extends TypeLambda>(traverseNonEmpty: <F extends TypeLambda>(F: NonEmptyApplicative<F>) => <A, R, O, E, B>(f: (a: A) => Kind<F, R, O, E, B>) => <TR, TO, TE>(self: Kind<T, TR, TO, TE, A>) => Kind<F, R, O, E, Kind<T, TR, TO, TE, B>>) => <F_1 extends TypeLambda>(F: NonEmptyApplicative<F_1>) => <TR_1, TO_1, TE_1, R_1, O_1, E_1, A_1>(self: Kind<T, TR_1, TO_1, TE_1, Kind<F_1, R_1, O_1, E_1, A_1>>) => Kind<F_1, R_1, O_1, E_1, Kind<T, TR_1, TO_1, TE_1, A_1>>;
+export declare const sequenceNonEmpty: <T extends TypeLambda>(traverseNonEmpty: <F extends TypeLambda>(F: SemiApplicative<F>) => <A, R, O, E, B>(f: (a: A) => Kind<F, R, O, E, B>) => <TR, TO, TE>(self: Kind<T, TR, TO, TE, A>) => Kind<F, R, O, E, Kind<T, TR, TO, TE, B>>) => <F_1 extends TypeLambda>(F: SemiApplicative<F_1>) => <TR_1, TO_1, TE_1, R_1, O_1, E_1, A_1>(self: Kind<T, TR_1, TO_1, TE_1, Kind<F_1, R_1, O_1, E_1, A_1>>) => Kind<F_1, R_1, O_1, E_1, Kind<T, TR_1, TO_1, TE_1, A_1>>;
 //# sourceMappingURL=NonEmptyTraversable.d.ts.map

typeclass/Order.d.ts

@@ -8,5 +8,5 @@ /**
 import type { Monoid } from "@fp-ts/core/typeclass/Monoid";
-import type * as nonEmptyProduct from "@fp-ts/core/typeclass/NonEmptyProduct";
 import type * as product from "@fp-ts/core/typeclass/Product";
 import type { Semigroup } from "@fp-ts/core/typeclass/Semigroup";
+import type * as semiProduct from "@fp-ts/core/typeclass/SemiProduct";
 /**
@@ -71,3 +71,3 @@ * @category type class
  */
-export declare const NonEmptyProduct: nonEmptyProduct.NonEmptyProduct<OrderTypeLambda>;
+export declare const SemiProduct: semiProduct.SemiProduct<OrderTypeLambda>;
 /**
@@ -74,0 +74,0 @@ * @category instances

typeclass/Order.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.tuple = exports.reverse = exports.min = exports.max = exports.lessThanOrEqualTo = exports.lessThan = exports.greaterThanOrEqualTo = exports.greaterThan = exports.getSemigroup = exports.getMonoid = exports.fromCompare = exports.contramap = exports.clamp = exports.between = exports.Product = exports.NonEmptyProduct = exports.Invariant = exports.Contravariant = void 0;
+exports.tuple = exports.reverse = exports.min = exports.max = exports.lessThanOrEqualTo = exports.lessThan = exports.greaterThanOrEqualTo = exports.greaterThan = exports.getSemigroup = exports.getMonoid = exports.fromCompare = exports.contramap = exports.clamp = exports.between = exports.SemiProduct = exports.Product = exports.Invariant = exports.Contravariant = void 0;
 
@@ -132,3 +132,3 @@ var contravariant = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fp-ts/core/typeclass/Contravariant"));
 exports.Invariant = Invariant;
-const NonEmptyProduct = {
+const SemiProduct = {
   imap: Contravariant.imap,
@@ -143,4 +143,4 @@ product: that => self => tuple(self, that),
 
-exports.NonEmptyProduct = NonEmptyProduct;
-const Product = { ...NonEmptyProduct,
+exports.SemiProduct = SemiProduct;
+const Product = { ...SemiProduct,
   of: () => empty,
@@ -147,0 +147,0 @@ productAll: collection => tuple(...collection)

typeclass/Product.d.ts

@@ -5,4 +5,4 @@ /**
 import type { Kind, TypeLambda } from "@fp-ts/core/HKT";
-import type { NonEmptyProduct } from "@fp-ts/core/typeclass/NonEmptyProduct";
 import type { Of } from "@fp-ts/core/typeclass/Of";
+import type { SemiProduct } from "@fp-ts/core/typeclass/SemiProduct";
 /**
@@ -12,3 +12,3 @@ * @category type class
  */
-export interface Product<F extends TypeLambda> extends NonEmptyProduct<F>, Of<F> {
+export interface Product<F extends TypeLambda> extends SemiProduct<F>, Of<F> {
     readonly productAll: <R, O, E, A>(collection: Iterable<Kind<F, R, O, E, A>>) => Kind<F, R, O, E, ReadonlyArray<A>>;
@@ -15,0 +15,0 @@ }

typeclass/Semigroup.d.ts

@@ -25,5 +25,5 @@ /**
 import type * as invariant from "@fp-ts/core/typeclass/Invariant";
-import type * as nonEmptyProduct from "@fp-ts/core/typeclass/NonEmptyProduct";
 import type { Order } from "@fp-ts/core/typeclass/Order";
 import type * as product from "@fp-ts/core/typeclass/Product";
+import type * as semiProduct from "@fp-ts/core/typeclass/SemiProduct";
 /**
@@ -119,3 +119,3 @@ * @category type class
  */
-export declare const NonEmptyProduct: nonEmptyProduct.NonEmptyProduct<SemigroupTypeLambda>;
+export declare const SemiProduct: semiProduct.SemiProduct<SemigroupTypeLambda>;
 /**
@@ -122,0 +122,0 @@ * @category instances

typeclass/Semigroup.js

@@ -6,3 +6,3 @@ "use strict";
 });
-exports.tuple = exports.struct = exports.reverse = exports.min = exports.max = exports.last = exports.intercalate = exports.imap = exports.fromCombine = exports.first = exports.constant = exports.Product = exports.NonEmptyProduct = exports.Invariant = void 0;
+exports.tuple = exports.struct = exports.reverse = exports.min = exports.max = exports.last = exports.intercalate = exports.imap = exports.fromCombine = exports.first = exports.constant = exports.SemiProduct = exports.Product = exports.Invariant = void 0;
 
@@ -178,3 +178,3 @@ var _Function = /*#__PURE__*/require("@fp-ts/core/internal/Function");
 exports.Invariant = Invariant;
-const NonEmptyProduct = { ...Invariant,
+const SemiProduct = { ...Invariant,
   product: that => self => tuple(self, that),
@@ -188,4 +188,4 @@ productMany: collection => self => tuple(self, ...collection)
 
-exports.NonEmptyProduct = NonEmptyProduct;
-const Product = { ...NonEmptyProduct,
+exports.SemiProduct = SemiProduct;
+const Product = { ...SemiProduct,
   of: constant,
@@ -192,0 +192,0 @@ productAll: collection => tuple(...collection)

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

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

318766

decreased by-0.33%

Lines of code

6105

decreased by-0.07%

No dependency changes