@morphic-ts/model-algebras - npm Package Compare versions

Comparing version 2.0.0-alpha.7 to 2.0.0-alpha.9

es6/object.d.ts

@@ -50,2 +50,21 @@ import type { URIS, Kind, URIS2, Kind2, HKT2 } from '@morphic-ts/common/es6/HKT';
     };
+    both: {
+        <Props extends AnyMProps<F>, PProps extends AnyMProps<F>>(props: Props, partial: PProps, name: string, config?: ConfigsForType<Env, {
+            [k in keyof Props]: Props[k]['_E'];
+        } & Partial<{
+            [k in keyof PProps]: PProps[k]['_E'];
+        }>, {
+            [k in keyof Props]: Props[k]['_A'];
+        } & Partial<{
+            [k in keyof PProps]: PProps[k]['_A'];
+        }>>): HKT2<F, Env, {
+            [k in keyof Props]: Props[k]['_E'];
+        } & Partial<{
+            [k in keyof PProps]: PProps[k]['_E'];
+        }>, {
+            [k in keyof Props]: Props[k]['_A'];
+        } & Partial<{
+            [k in keyof PProps]: PProps[k]['_A'];
+        }>>;
+    };
 }
@@ -64,3 +83,4 @@ /**
     interface: <Props>(props: PropsKind1<F, Props, Env>, name: string, config?: ConfigsForType<Env, unknown, Props>) => Kind<F, Env, Props>;
-    partial: <Props>(props: PropsKind1<F, Props, Env>, name: string, config?: ConfigsForType<Env, unknown, Props>) => Kind<F, Env, Partial<Props>>;
+    partial: <Props>(props: PropsKind1<F, Props, Env>, name: string, config?: ConfigsForType<Env, unknown, Partial<Props>>) => Kind<F, Env, Partial<Props>>;
+    both: <Props, PProps>(props: PropsKind1<F, Props, Env>, partial: PropsKind1<F, PProps, Env>, name: string, config?: ConfigsForType<Env, unknown, Props & Partial<PProps>>) => Kind<F, Env, Props & Partial<PProps>>;
 }
@@ -79,4 +99,5 @@ /**
     interface: <PropsE, PropsA>(props: PropsKind2<F, PropsE, PropsA, Env>, name: string, config?: ConfigsForType<Env, PropsE, PropsA>) => Kind2<F, Env, PropsE, PropsA>;
-    partial: <PropsE, PropsA>(props: PropsKind2<F, PropsE, PropsA, Env>, name: string, config?: ConfigsForType<Env, PropsE, PropsA>) => Kind2<F, Env, Partial<PropsE>, Partial<PropsA>>;
+    partial: <PropsE, PropsA>(props: PropsKind2<F, PropsE, PropsA, Env>, name: string, config?: ConfigsForType<Env, Partial<PropsE>, Partial<PropsA>>) => Kind2<F, Env, Partial<PropsE>, Partial<PropsA>>;
+    both: <PropsE, PPropsE, PropsA, PPropsA>(props: PropsKind2<F, PropsE, PropsA, Env>, partial: PropsKind2<F, PPropsE, PPropsA, Env>, name: string, config?: ConfigsForType<Env, PropsE & Partial<PPropsE>, PropsA & Partial<PPropsA>>) => Kind2<F, Env, PropsE & Partial<PPropsE>, PropsA & Partial<PPropsA>>;
 }
 export {};

lib/object.d.ts

@@ -50,2 +50,21 @@ import type { URIS, Kind, URIS2, Kind2, HKT2 } from '@morphic-ts/common/lib/HKT';
     };
+    both: {
+        <Props extends AnyMProps<F>, PProps extends AnyMProps<F>>(props: Props, partial: PProps, name: string, config?: ConfigsForType<Env, {
+            [k in keyof Props]: Props[k]['_E'];
+        } & Partial<{
+            [k in keyof PProps]: PProps[k]['_E'];
+        }>, {
+            [k in keyof Props]: Props[k]['_A'];
+        } & Partial<{
+            [k in keyof PProps]: PProps[k]['_A'];
+        }>>): HKT2<F, Env, {
+            [k in keyof Props]: Props[k]['_E'];
+        } & Partial<{
+            [k in keyof PProps]: PProps[k]['_E'];
+        }>, {
+            [k in keyof Props]: Props[k]['_A'];
+        } & Partial<{
+            [k in keyof PProps]: PProps[k]['_A'];
+        }>>;
+    };
 }
@@ -64,3 +83,4 @@ /**
     interface: <Props>(props: PropsKind1<F, Props, Env>, name: string, config?: ConfigsForType<Env, unknown, Props>) => Kind<F, Env, Props>;
-    partial: <Props>(props: PropsKind1<F, Props, Env>, name: string, config?: ConfigsForType<Env, unknown, Props>) => Kind<F, Env, Partial<Props>>;
+    partial: <Props>(props: PropsKind1<F, Props, Env>, name: string, config?: ConfigsForType<Env, unknown, Partial<Props>>) => Kind<F, Env, Partial<Props>>;
+    both: <Props, PProps>(props: PropsKind1<F, Props, Env>, partial: PropsKind1<F, PProps, Env>, name: string, config?: ConfigsForType<Env, unknown, Props & Partial<PProps>>) => Kind<F, Env, Props & Partial<PProps>>;
 }
@@ -79,4 +99,5 @@ /**
     interface: <PropsE, PropsA>(props: PropsKind2<F, PropsE, PropsA, Env>, name: string, config?: ConfigsForType<Env, PropsE, PropsA>) => Kind2<F, Env, PropsE, PropsA>;
-    partial: <PropsE, PropsA>(props: PropsKind2<F, PropsE, PropsA, Env>, name: string, config?: ConfigsForType<Env, PropsE, PropsA>) => Kind2<F, Env, Partial<PropsE>, Partial<PropsA>>;
+    partial: <PropsE, PropsA>(props: PropsKind2<F, PropsE, PropsA, Env>, name: string, config?: ConfigsForType<Env, Partial<PropsE>, Partial<PropsA>>) => Kind2<F, Env, Partial<PropsE>, Partial<PropsA>>;
+    both: <PropsE, PPropsE, PropsA, PPropsA>(props: PropsKind2<F, PropsE, PropsA, Env>, partial: PropsKind2<F, PPropsE, PPropsA, Env>, name: string, config?: ConfigsForType<Env, PropsE & Partial<PPropsE>, PropsA & Partial<PPropsA>>) => Kind2<F, Env, PropsE & Partial<PPropsE>, PropsA & Partial<PPropsA>>;
 }
 export {};

package.json

 {
   "name": "@morphic-ts/model-algebras",
-  "version": "2.0.0-alpha.7",
+  "version": "2.0.0-alpha.9",
   "description": "Morphic definitions for models",
@@ -24,4 +24,4 @@ "author": "Stéphane Le Dorze <[e-mail]>",
   "dependencies": {
-    "@morphic-ts/algebras": "^2.0.0-alpha.7",
-    "@morphic-ts/common": "^2.0.0-alpha.3"
+    "@morphic-ts/algebras": "^2.0.0-alpha.8",
+    "@morphic-ts/common": "^2.0.0-alpha.4"
   },
@@ -70,3 +70,3 @@ "devDependencies": {
   },
-  "gitHead": "b65282baf9f381b8a595628d2fc12457a74af368"
+  "gitHead": "7ad87f8cae043fd9e69a43693e3a23a53d659dc3"
 }

No alert changes

Improved metrics

Total package byte prevSize

62692

increased by4.19%

Lines of code

1525

increased by2.97%

Dependency changes

• Updated@morphic-ts/algebras@^2.0.0-alpha.8

• Updated@morphic-ts/common@^2.0.0-alpha.4