ballerina-core 1.0.223 → 1.0.224

package/bin/src/async/domains/mirroring/domains/collection/coroutines/synchronizers.d.ts

@@ -1,420 +1,95 @@
 import { OrderedMap } from "immutable";
-import {
-  Value,
-  Guid,
-  BasicUpdater,
-  Updater,
-  Unit,
-  DirtyStatus,
-} from "../../../../../../../main";
+import { Value, Guid, BasicUpdater, Updater, Unit, DirtyStatus } from "../../../../../../../main";
 import { Coroutine } from "../../../../../../coroutines/state";
 import { Fun, BasicFun } from "../../../../../../fun/state";
 import { Synchronized } from "../../../../synchronized/state";
 import { SynchronizationResult } from "../../synchronization-result/state";
 import { Collection, CollectionEntity } from "../state";
-export type CollectionSynchronizers<
-  Context,
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-> = {
-  [k in keyof Collections &
-    keyof CollectionMutations &
-    keyof WholeCollectionMutations]: {
-    add: (
-      entity: CollectionEntity<Collections[k]>,
-      position?: InsertionPosition,
-    ) => Coroutine<
-      Context & CollectionEntity<Collections[k]>,
-      CollectionEntity<Collections[k]>,
-      SynchronizationResult
-    >;
-    remove: (
-      entityId: Guid,
-    ) => Coroutine<
-      Context & CollectionEntity<Collections[k]>,
-      CollectionEntity<Collections[k]>,
-      SynchronizationResult
-    >;
-    wholeMutations: {
-      [_ in keyof WholeCollectionMutations[k]]: BasicFun<
-        WholeCollectionMutations[k][_],
-        Coroutine<
-          Context &
-            Synchronized<
-              Unit,
-              OrderedMap<Guid, CollectionEntity<Collections[k]>>
-            >,
-          Synchronized<
-            Unit,
-            OrderedMap<Guid, CollectionEntity<Collections[k]>>
-          >,
-          Unit
-        >
-      >;
+export type CollectionSynchronizers<Context, Collections, CollectionMutations, WholeCollectionMutations> = {
+    [k in keyof Collections & keyof CollectionMutations & keyof WholeCollectionMutations]: {
+        add: (entity: CollectionEntity<Collections[k]>, position?: InsertionPosition) => Coroutine<Context & CollectionEntity<Collections[k]>, CollectionEntity<Collections[k]>, SynchronizationResult>;
+        remove: (entityId: Guid) => Coroutine<Context & CollectionEntity<Collections[k]>, CollectionEntity<Collections[k]>, SynchronizationResult>;
+        wholeMutations: {
+            [_ in keyof WholeCollectionMutations[k]]: BasicFun<WholeCollectionMutations[k][_], Coroutine<Context & Synchronized<Unit, OrderedMap<Guid, CollectionEntity<Collections[k]>>>, Synchronized<Unit, OrderedMap<Guid, CollectionEntity<Collections[k]>>>, Unit>>;
+        };
+    } & {
+        [_ in keyof CollectionMutations[k]]: BasicFun<CollectionMutations[k][_], Coroutine<Context & CollectionEntity<Collections[k]>, CollectionEntity<Collections[k]>, SynchronizationResult>>;
     };
-  } & {
-    [_ in keyof CollectionMutations[k]]: BasicFun<
-      CollectionMutations[k][_],
-      Coroutine<
-        Context & CollectionEntity<Collections[k]>,
-        CollectionEntity<Collections[k]>,
-        SynchronizationResult
-      >
-    >;
-  };
-};
-export type CollectionLoaders<
-  Context,
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-  SynchronizedEntities,
-> = {
-  [k in keyof Collections &
-    keyof CollectionMutations &
-    keyof WholeCollectionMutations]: {
-    <
-      mutation extends keyof CollectionSynchronizers<
-        Context,
-        Collections,
-        CollectionMutations,
-        WholeCollectionMutations
-      >[k] &
-        keyof CollectionMutations[k],
-    >(
-      mutation: mutation,
-      mutationArg: CollectionMutations[k][mutation],
-      entityId: Guid,
-    ): Coroutine<
-      Context & SynchronizedEntities,
-      SynchronizedEntities,
-      SynchronizationResult
-    >;
-    add: (
-      entityId: Guid,
-      entity: CollectionEntity<Collections[k]>,
-      position?: InsertionPosition,
-    ) => Coroutine<
-      Context & SynchronizedEntities,
-      SynchronizedEntities,
-      SynchronizationResult
-    >;
-    remove: (
-      entityId: Guid,
-    ) => Coroutine<
-      Context & SynchronizedEntities,
-      SynchronizedEntities,
-      SynchronizationResult
-    >;
-    wholeMutations: <
-      mutation extends keyof CollectionSynchronizers<
-        Context,
-        Collections,
-        CollectionMutations,
-        WholeCollectionMutations
-      >[k] &
-        keyof WholeCollectionMutations[k],
-    >(
-      mutation: mutation,
-      mutationArg: WholeCollectionMutations[k][mutation],
-    ) => Coroutine<
-      Context & SynchronizedEntities,
-      SynchronizedEntities,
-      SynchronizationResult
-    >;
-  };
 };
-export declare const collectionEntityLoader: <
-  Context,
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-  SynchronizedEntities,
->(
-  synchronizers: CollectionSynchronizers<
-    Context,
-    Collections,
-    CollectionMutations,
-    WholeCollectionMutations
-  >,
-) => <
-  k extends keyof Collections &
-    keyof CollectionMutations &
-    keyof WholeCollectionMutations,
->(
-  k: k,
-  id: BasicFun<Collections[k], Guid>,
-  narrowing_k: BasicFun<SynchronizedEntities, Collection<Collections[k]>>,
-  widening_k: BasicFun<
-    BasicUpdater<Collection<Collections[k]>>,
-    Updater<SynchronizedEntities>
-  >,
-  dependees: Array<
-    Coroutine<
-      Context & SynchronizedEntities,
-      SynchronizedEntities,
-      SynchronizationResult
-    >
-  >,
-) => CollectionLoaders<
-  Context,
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-  SynchronizedEntities
->[k];
-export type CollectionDirtySetters<
-  Context,
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-  SynchronizedEntities,
-> = {
-  [k in keyof Collections & keyof CollectionMutations]: (
-    entityId: Guid,
-    dirtyStatus: DirtyStatus,
-  ) => Coroutine<Context & SynchronizedEntities, SynchronizedEntities, Unit>;
+export type CollectionLoaders<Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities> = {
+    [k in keyof Collections & keyof CollectionMutations & keyof WholeCollectionMutations]: {
+        <mutation extends keyof CollectionSynchronizers<Context, Collections, CollectionMutations, WholeCollectionMutations>[k] & keyof CollectionMutations[k]>(mutation: mutation, mutationArg: CollectionMutations[k][mutation], entityId: Guid): Coroutine<Context & SynchronizedEntities, SynchronizedEntities, SynchronizationResult>;
+        add: (entityId: Guid, entity: CollectionEntity<Collections[k]>, position?: InsertionPosition) => Coroutine<Context & SynchronizedEntities, SynchronizedEntities, SynchronizationResult>;
+        remove: (entityId: Guid) => Coroutine<Context & SynchronizedEntities, SynchronizedEntities, SynchronizationResult>;
+        wholeMutations: <mutation extends keyof CollectionSynchronizers<Context, Collections, CollectionMutations, WholeCollectionMutations>[k] & keyof WholeCollectionMutations[k]>(mutation: mutation, mutationArg: WholeCollectionMutations[k][mutation]) => Coroutine<Context & SynchronizedEntities, SynchronizedEntities, SynchronizationResult>;
+    };
 };
-export declare const collectionDirtySetter: <
-  Context,
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-  SynchronizedEntities,
->() => <k extends keyof Collections & keyof CollectionMutations>(
-  k: k,
-  narrowing_k: BasicFun<SynchronizedEntities, Collection<Collections[k]>>,
-  widening_k: BasicFun<
-    BasicUpdater<Collection<Collections[k]>>,
-    Updater<SynchronizedEntities>
-  >,
-) => CollectionDirtySetters<
-  Context,
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-  SynchronizedEntities
->[k];
-export type CollectionDirtyCheckers<
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-> = {
-  [k in keyof Collections & keyof CollectionMutations]: Fun<
-    [Guid, Collection<Collections[k]>],
-    boolean
-  >;
+export declare const collectionEntityLoader: <Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities>(synchronizers: CollectionSynchronizers<Context, Collections, CollectionMutations, WholeCollectionMutations>) => <k extends keyof Collections & keyof CollectionMutations & keyof WholeCollectionMutations>(k: k, id: BasicFun<Collections[k], Guid>, narrowing_k: BasicFun<SynchronizedEntities, Collection<Collections[k]>>, widening_k: BasicFun<BasicUpdater<Collection<Collections[k]>>, Updater<SynchronizedEntities>>, dependees: Array<Coroutine<Context & SynchronizedEntities, SynchronizedEntities, SynchronizationResult>>) => CollectionLoaders<Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities>[k];
+export type CollectionDirtySetters<Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities> = {
+    [k in keyof Collections & keyof CollectionMutations]: (entityId: Guid, dirtyStatus: DirtyStatus) => Coroutine<Context & SynchronizedEntities, SynchronizedEntities, Unit>;
 };
-export declare const collectionCheckNotDirty: <
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
->() => <k extends keyof Collections & keyof CollectionMutations>([id, e]: [
-  Guid,
-  Collection<Collections[k]>,
-]) => boolean;
-export type CollectionUpdaters<
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-  SynchronizedEntities,
-> = {
-  [k in keyof Collections & keyof CollectionMutations]: Fun<
-    [Guid, BasicUpdater<Collections[k]>],
-    Updater<SynchronizedEntities>
-  >;
+export declare const collectionDirtySetter: <Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities>() => <k extends keyof Collections & keyof CollectionMutations>(k: k, narrowing_k: BasicFun<SynchronizedEntities, Collection<Collections[k]>>, widening_k: BasicFun<BasicUpdater<Collection<Collections[k]>>, Updater<SynchronizedEntities>>) => CollectionDirtySetters<Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities>[k];
+export type CollectionDirtyCheckers<Collections, CollectionMutations, WholeCollectionMutations> = {
+    [k in keyof Collections & keyof CollectionMutations]: Fun<[
+        Guid,
+        Collection<Collections[k]>
+    ], boolean>;
 };
-export declare const collectionEntityUpdater: <
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-  SynchronizedEntities,
->() => <k extends keyof Collections & keyof CollectionMutations>(
-  widening_k: BasicFun<
-    BasicUpdater<Collection<Collections[k]>>,
-    Updater<SynchronizedEntities>
-  >,
-) => Fun<[Guid, BasicUpdater<Collections[k]>], Updater<SynchronizedEntities>>;
-export type CollectionMutationArgumentComparators<
-  Collections,
-  CollectionMutations,
-> = {
-  [k in keyof Collections & keyof CollectionMutations]: {
-    [_ in keyof CollectionMutations[k]]: MutationArgumentComparator<
-      CollectionMutations[k][_]
-    >;
-  };
+export declare const collectionCheckNotDirty: <Collections, CollectionMutations, WholeCollectionMutations>() => <k extends keyof Collections & keyof CollectionMutations>([id, e]: [Guid, Collection<Collections[k]>]) => boolean;
+export type CollectionUpdaters<Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities> = {
+    [k in keyof Collections & keyof CollectionMutations]: Fun<[
+        Guid,
+        BasicUpdater<Collections[k]>
+    ], Updater<SynchronizedEntities>>;
 };
-export type WholeCollectionMutationArgumentComparators<
-  Collections,
-  WholeCollectionMutations,
-> = {
-  [k in keyof Collections & keyof WholeCollectionMutations]: {
-    [_ in keyof WholeCollectionMutations[k]]: MutationArgumentComparator<
-      WholeCollectionMutations[k][_]
-    >;
-  };
+export declare const collectionEntityUpdater: <Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities>() => <k extends keyof Collections & keyof CollectionMutations>(widening_k: BasicFun<BasicUpdater<Collection<Collections[k]>>, Updater<SynchronizedEntities>>) => Fun<[Guid, BasicUpdater<Collections[k]>], Updater<SynchronizedEntities>>;
+export type CollectionMutationArgumentComparators<Collections, CollectionMutations> = {
+    [k in keyof Collections & keyof CollectionMutations]: {
+        [_ in keyof CollectionMutations[k]]: MutationArgumentComparator<CollectionMutations[k][_]>;
+    };
 };
-export type InsertionPosition =
-  | {
-      kind: "after";
-      id: Guid;
-    }
-  | {
-      kind: "before";
-      id: Guid;
-    }
-  | {
-      kind: "at the end";
-    }
-  | {
-      kind: "at the beginning";
+export type WholeCollectionMutationArgumentComparators<Collections, WholeCollectionMutations> = {
+    [k in keyof Collections & keyof WholeCollectionMutations]: {
+        [_ in keyof WholeCollectionMutations[k]]: MutationArgumentComparator<WholeCollectionMutations[k][_]>;
     };
+};
+export type InsertionPosition = {
+    kind: "after";
+    id: Guid;
+} | {
+    kind: "before";
+    id: Guid;
+} | {
+    kind: "at the end";
+} | {
+    kind: "at the beginning";
+};
 export type ComparisonResult = ">" | "<" | "==";
 export type MutationArgumentComparator<T> = BasicFun<[T, T], ComparisonResult>;
-export declare const withTrivialComparator: <f, ma>(
-  _: f,
-) => [f, MutationArgumentComparator<ma>];
-export type SynchronizableCollectionEntity<
-  Context,
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-  SynchronizedEntities,
-  k extends keyof Collections &
-    keyof CollectionMutations &
-    keyof WholeCollectionMutations,
-> = {
-  entityName: k;
-  id: BasicFun<Collections[k], Guid>;
-  narrowing: BasicFun<SynchronizedEntities, Collection<Collections[k]>>;
-  widening: BasicFun<
-    BasicUpdater<Collection<Collections[k]>>,
-    Updater<SynchronizedEntities>
-  >;
-  dependees: Array<
-    Coroutine<
-      Context & SynchronizedEntities,
-      SynchronizedEntities,
-      SynchronizationResult
-    >
-  >;
-  add: (
-    entity: CollectionEntity<Collections[k]>,
-    position?: InsertionPosition,
-  ) => Coroutine<
-    Context & Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>,
-    Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>,
-    Unit
-  >;
-  remove: (
-    entityId: Guid,
-  ) => Coroutine<
-    Context & Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>,
-    Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>,
-    Unit
-  >;
-} & {
-  [_ in keyof CollectionMutations[k]]: [
-    BasicFun<
-      CollectionMutations[k][_],
-      Coroutine<
-        Context & Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>,
-        Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>,
-        Unit
-      >
-    >,
-    MutationArgumentComparator<CollectionMutations[k][_]>,
-  ];
+export declare const withTrivialComparator: <f, ma>(_: f) => [f, MutationArgumentComparator<ma>];
+export type SynchronizableCollectionEntity<Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities, k extends keyof Collections & keyof CollectionMutations & keyof WholeCollectionMutations> = {
+    entityName: k;
+    id: BasicFun<Collections[k], Guid>;
+    narrowing: BasicFun<SynchronizedEntities, Collection<Collections[k]>>;
+    widening: BasicFun<BasicUpdater<Collection<Collections[k]>>, Updater<SynchronizedEntities>>;
+    dependees: Array<Coroutine<Context & SynchronizedEntities, SynchronizedEntities, SynchronizationResult>>;
+    add: (entity: CollectionEntity<Collections[k]>, position?: InsertionPosition) => Coroutine<Context & Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>, Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>, Unit>;
+    remove: (entityId: Guid) => Coroutine<Context & Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>, Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>, Unit>;
 } & {
-  wholeMutations: {
-    [_ in keyof WholeCollectionMutations[k]]: [
-      BasicFun<
-        WholeCollectionMutations[k][_],
-        Coroutine<
-          Context &
-            Synchronized<
-              Unit,
-              OrderedMap<Guid, CollectionEntity<Collections[k]>>
-            >,
-          Synchronized<
-            Unit,
-            OrderedMap<Guid, CollectionEntity<Collections[k]>>
-          >,
-          Unit
-        >
-      >,
-      MutationArgumentComparator<WholeCollectionMutations[k][_]>,
+    [_ in keyof CollectionMutations[k]]: [
+        BasicFun<CollectionMutations[k][_], Coroutine<Context & Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>, Synchronized<Value<Synchronized<Unit, Collections[k]>>, Unit>, Unit>>,
+        MutationArgumentComparator<CollectionMutations[k][_]>
     ];
-  };
+} & {
+    wholeMutations: {
+        [_ in keyof WholeCollectionMutations[k]]: [
+            BasicFun<WholeCollectionMutations[k][_], Coroutine<Context & Synchronized<Unit, OrderedMap<Guid, CollectionEntity<Collections[k]>>>, Synchronized<Unit, OrderedMap<Guid, CollectionEntity<Collections[k]>>>, Unit>>,
+            MutationArgumentComparator<WholeCollectionMutations[k][_]>
+        ];
+    };
 };
-export type SynchronizableEntityDescriptor<
-  Context,
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-  SynchronizedEntities,
-> = {
-  [k in keyof Collections &
-    keyof CollectionMutations &
-    keyof WholeCollectionMutations]: SynchronizableCollectionEntity<
-    Context,
-    Collections,
-    CollectionMutations,
-    WholeCollectionMutations,
-    SynchronizedEntities,
-    k
-  >;
+export type SynchronizableEntityDescriptor<Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities> = {
+    [k in keyof Collections & keyof CollectionMutations & keyof WholeCollectionMutations]: SynchronizableCollectionEntity<Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities, k>;
 };
-export declare const collectionSynchronizationContext: <
-  Context,
-  Collections,
-  CollectionMutations,
-  WholeCollectionMutations,
-  SynchronizedEntities,
->(
-  entityDescriptors: SynchronizableEntityDescriptor<
-    Context,
-    Collections,
-    CollectionMutations,
-    WholeCollectionMutations,
-    SynchronizedEntities
-  >,
-) => [
-  CollectionLoaders<
-    Context,
-    Collections,
-    CollectionMutations,
-    WholeCollectionMutations,
-    SynchronizedEntities
-  >,
-  CollectionDirtyCheckers<
-    Collections,
-    CollectionMutations,
-    WholeCollectionMutations
-  >,
-  CollectionDirtySetters<
-    Context,
-    Collections,
-    CollectionMutations,
-    WholeCollectionMutations,
-    SynchronizedEntities
-  >,
-  CollectionUpdaters<
-    Collections,
-    CollectionMutations,
-    WholeCollectionMutations,
-    SynchronizedEntities
-  >,
-  SynchronizableEntityDescriptor<
-    Context,
-    Collections,
-    CollectionMutations,
-    WholeCollectionMutations,
-    SynchronizedEntities
-  >,
-  CollectionMutationArgumentComparators<Collections, CollectionMutations>,
-  CollectionMutationArgumentComparators<Collections, WholeCollectionMutations>,
-];
-//# sourceMappingURL=synchronizers.d.ts.map
+export declare const collectionSynchronizationContext: <Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities>(entityDescriptors: SynchronizableEntityDescriptor<Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities>) => [CollectionLoaders<Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities>, CollectionDirtyCheckers<Collections, CollectionMutations, WholeCollectionMutations>, CollectionDirtySetters<Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities>, CollectionUpdaters<Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities>, SynchronizableEntityDescriptor<Context, Collections, CollectionMutations, WholeCollectionMutations, SynchronizedEntities>, CollectionMutationArgumentComparators<Collections, CollectionMutations>, CollectionMutationArgumentComparators<Collections, WholeCollectionMutations>];
+//# sourceMappingURL=synchronizers.d.ts.map