@matechs/morphic-alg - npm Package Compare versions

Comparing version 0.10.0 to 0.11.0

esm/primitives/index.d.ts

@@ -1,6 +0,7 @@
-import type { ConfigsForType, AnyEnv } from "../config"
-import type { URIS2, Kind2, URIS, Kind, HKT2 } from "../utils/hkt"
+import type { AnyEnv, ConfigsForType } from "../config"
+import type { HKT2, Kind, Kind2, URIS, URIS2 } from "../utils/hkt"
 import type { Array } from "@matechs/core/Array"
 import type { Branded } from "@matechs/core/Branded"
 import type { Either } from "@matechs/core/Either"
+import { FunctionN } from "@matechs/core/Function"
 import type { NonEmptyArray } from "@matechs/core/NonEmptyArray"
@@ -47,4 +48,20 @@ import type { Option } from "@matechs/core/Option"
 export interface UUIDConfig {}
+export interface FunctionConfig<I, IE, O, OE> {}
 export interface MatechsAlgebraPrimitive<F, Env> {
   _F: F
+  function: {
+    <I, IE, O, OE>(
+      I: HKT2<F, Env, IE, I>,
+      O: HKT2<F, Env, OE, O>,
+      config?: {
+        name?: string
+        conf?: ConfigsForType<
+          Env,
+          unknown,
+          FunctionN<[I], O>,
+          FunctionConfig<I, IE, O, OE>
+        >
+      }
+    ): HKT2<F, Env, unknown, FunctionN<[I], O>>
+  }
   unknownE: {
@@ -212,2 +229,17 @@ <L, A>(
   _F: F
+  function: {
+    <I, O>(
+      I: Kind<F, Env, I>,
+      O: Kind<F, Env, O>,
+      config?: {
+        name?: string
+        conf?: ConfigsForType<
+          Env,
+          FunctionN<[unknown], unknown>,
+          FunctionN<[I], O>,
+          FunctionConfig<I, unknown, O, unknown>
+        >
+      }
+    ): Kind<F, Env, FunctionN<[I], O>>
+  }
   unknownE: {
@@ -350,2 +382,17 @@ <A>(
   _F: F
+  function: {
+    <I, IE, O, OE>(
+      I: Kind2<F, Env, IE, I>,
+      O: Kind2<F, Env, OE, O>,
+      config?: {
+        name?: string
+        conf?: ConfigsForType<
+          Env,
+          unknown,
+          FunctionN<[I], O>,
+          FunctionConfig<I, IE, O, OE>
+        >
+      }
+    ): Kind2<F, Env, unknown, FunctionN<[I], O>>
+  }
   unknownE: {
@@ -352,0 +399,0 @@ <L, A>(

package.json

 {
   "name": "@matechs/morphic-alg",
-  "version": "0.10.0",
+  "version": "0.11.0",
   "private": false,
@@ -5,0 +5,0 @@ "license": "MIT",

primitives/index.d.ts

@@ -1,6 +0,7 @@
-import type { ConfigsForType, AnyEnv } from "../config"
-import type { URIS2, Kind2, URIS, Kind, HKT2 } from "../utils/hkt"
+import type { AnyEnv, ConfigsForType } from "../config"
+import type { HKT2, Kind, Kind2, URIS, URIS2 } from "../utils/hkt"
 import type { Array } from "@matechs/core/Array"
 import type { Branded } from "@matechs/core/Branded"
 import type { Either } from "@matechs/core/Either"
+import { FunctionN } from "@matechs/core/Function"
 import type { NonEmptyArray } from "@matechs/core/NonEmptyArray"
@@ -47,4 +48,20 @@ import type { Option } from "@matechs/core/Option"
 export interface UUIDConfig {}
+export interface FunctionConfig<I, IE, O, OE> {}
 export interface MatechsAlgebraPrimitive<F, Env> {
   _F: F
+  function: {
+    <I, IE, O, OE>(
+      I: HKT2<F, Env, IE, I>,
+      O: HKT2<F, Env, OE, O>,
+      config?: {
+        name?: string
+        conf?: ConfigsForType<
+          Env,
+          unknown,
+          FunctionN<[I], O>,
+          FunctionConfig<I, IE, O, OE>
+        >
+      }
+    ): HKT2<F, Env, unknown, FunctionN<[I], O>>
+  }
   unknownE: {
@@ -212,2 +229,17 @@ <L, A>(
   _F: F
+  function: {
+    <I, O>(
+      I: Kind<F, Env, I>,
+      O: Kind<F, Env, O>,
+      config?: {
+        name?: string
+        conf?: ConfigsForType<
+          Env,
+          FunctionN<[unknown], unknown>,
+          FunctionN<[I], O>,
+          FunctionConfig<I, unknown, O, unknown>
+        >
+      }
+    ): Kind<F, Env, FunctionN<[I], O>>
+  }
   unknownE: {
@@ -350,2 +382,17 @@ <A>(
   _F: F
+  function: {
+    <I, IE, O, OE>(
+      I: Kind2<F, Env, IE, I>,
+      O: Kind2<F, Env, OE, O>,
+      config?: {
+        name?: string
+        conf?: ConfigsForType<
+          Env,
+          unknown,
+          FunctionN<[I], O>,
+          FunctionConfig<I, IE, O, OE>
+        >
+      }
+    ): Kind2<F, Env, unknown, FunctionN<[I], O>>
+  }
   unknownE: {
@@ -352,0 +399,0 @@ <L, A>(

No alert changes

Improved metrics

Total package byte prevSize

101031

increased by2.26%

Lines of code

3428

increased by2.82%

No dependency changes