Merge branch 'generics' into return-to-ts

.prettierignore

@@ -1,2 +1,7 @@
+dist
+out
+pnpm-lock.yaml
+types
+docs
 Changes
 .prettierignore

CHANGELOG.md

@@ -6,54 +6,58 @@ All notable changes to this project will be documented in this file. See [standa
 
 ### ⚠ BREAKING CHANGES
 
-* Upgrade to Typescript 4.
-* Switch from 'updeep' to '@yanick/updeep'.
-
+-   Upgrade to Typescript 4.
+-   Switch from 'updeep' to '@yanick/updeep'.
 
 ## [2.1.0](https://github.com/yanick/updux/compare/v2.0.0...v2.1.0) (2020-06-19)
 
 ### Features
 
-* add support for subscriptions ([9c45ee7](https://github.com/yanick/updux/commit/9c45ee7efcb623defb9da5d01165fbad0e4424f9))
+-   add support for subscriptions ([9c45ee7](https://github.com/yanick/updux/commit/9c45ee7efcb623defb9da5d01165fbad0e4424f9))
 
 ## [2.0.0](https://github.com/yanick/updux/compare/v1.2.0...v2.0.0) (2020-06-13)
 
 ### ⚠ BREAKING CHANGES
 
-* use ts-action for action creation
-* middleware support refined
+-   use ts-action for action creation
+-   middleware support refined
 
 ### Features
 
-* allow adding actionCreators via addAction() ([27ae46d](https://github.com/yanick/updux/commit/27ae46dbab289b27ea99aca149aaa3b7c90ee7d0))
-* middleware support refined ([d90d721](https://github.com/yanick/updux/commit/d90d72148c2d4ba186a19650d961c64df5791c55))
-* moving documentation to docsify ([fa55762](https://github.com/yanick/updux/commit/fa55762efcbd4db356150f6022fd62750adc27a9))
-* use ts-action for action creation ([6349d72](https://github.com/yanick/updux/commit/6349d720b8aba4b443a7225d6a377c5c929a3021))
-
+-   allow adding actionCreators via addAction() ([27ae46d](https://github.com/yanick/updux/commit/27ae46dbab289b27ea99aca149aaa3b7c90ee7d0))
+-   middleware support refined ([d90d721](https://github.com/yanick/updux/commit/d90d72148c2d4ba186a19650d961c64df5791c55))
+-   moving documentation to docsify ([fa55762](https://github.com/yanick/updux/commit/fa55762efcbd4db356150f6022fd62750adc27a9))
+-   use ts-action for action creation ([6349d72](https://github.com/yanick/updux/commit/6349d720b8aba4b443a7225d6a377c5c929a3021))
 
 ### Bug Fixes
 
-* state is a PreloadedState<S> ([93bebc5](https://github.com/yanick/updux/commit/93bebc5acf193752aa6b4857507f05d52b1b7665))
+-   state is a PreloadedState<S> ([93bebc5](https://github.com/yanick/updux/commit/93bebc5acf193752aa6b4857507f05d52b1b7665))
 
 ## 1.2.0 2019-11-06
+
     - The middleware's 'getState' returns the local state of its updux,
         instead of the root state. Plus we add `getRootState` to get
         the root state.
 
 ## 1.1.0 2019-11-05
+
     - Document mapping behavior of the '*' subdux.
     - add subduxUpreducer.
     - add sink mutations.
 
 ## 1.0.0 2019-11-04
+
     - Pretty big rework.
     - Better documentation.
 
 ## 0.2.0 2019-10-24
+
     - Converted everything to Typescript.
 
 ## 0.1.0 2019-10-22
+
     - Add 'actions' in the config.
 
 ## 0.0.1 2019-10-22
+
     - Initial release.

CODE_OF_CONDUCT.md

@@ -17,23 +17,23 @@ diverse, inclusive, and healthy community.
 Examples of behavior that contributes to a positive environment for our
 community include:
 
-* Demonstrating empathy and kindness toward other people
-* Being respectful of differing opinions, viewpoints, and experiences
-* Giving and gracefully accepting constructive feedback
-* Accepting responsibility and apologizing to those affected by our mistakes,
+-   Demonstrating empathy and kindness toward other people
+-   Being respectful of differing opinions, viewpoints, and experiences
+-   Giving and gracefully accepting constructive feedback
+-   Accepting responsibility and apologizing to those affected by our mistakes,
     and learning from the experience
-* Focusing on what is best not just for us as individuals, but for the
+-   Focusing on what is best not just for us as individuals, but for the
     overall community
 
 Examples of unacceptable behavior include:
 
-* The use of sexualized language or imagery, and sexual attention or
+-   The use of sexualized language or imagery, and sexual attention or
     advances of any kind
-* Trolling, insulting or derogatory comments, and personal or political attacks
-* Public or private harassment
-* Publishing others' private information, such as a physical or email
+-   Trolling, insulting or derogatory comments, and personal or political attacks
+-   Public or private harassment
+-   Publishing others' private information, such as a physical or email
     address, without their explicit permission
-* Other conduct which could reasonably be considered inappropriate in a
+-   Other conduct which could reasonably be considered inappropriate in a
     professional setting
 
 ## Enforcement Responsibilities
@@ -126,4 +126,3 @@ enforcement ladder](https://github.com/mozilla/diversity).
 For answers to common questions about this code of conduct, see the FAQ at
 https://www.contributor-covenant.org/faq. Translations are available at
 https://www.contributor-covenant.org/translations.
-

Taskfile.yml

@@ -6,6 +6,20 @@ vars:
     GREETING: Hello, World!
 
 tasks:
+    tsc:
+        cmds:
+            - tsc
+            - echo 🙌 typescript compilation successful
+
+    test: jest
+
+    'check:prettier': prettier --check .
+
+    'check:prettier:fix': prettier --write .
+
+    check:
+        deps: [tsc, test, 'check:prettier']
+
     'test:types': tsd
     docs:
         cmds:

jest.config.ts

@@ -1,3 +1,3 @@
 export default {
-    roots: [ './src' ]
-}
+    roots: ['./src'],
+};

jsdoc.json

@@ -19,4 +19,3 @@
         "tutorials": "./tutorials"
     }
 }
-

src/Updux.d.ts

@@ -8,11 +8,9 @@ type UpduxConfig<TState> = Partial<{
     effects: Record<string, Function>;
     reactions: Record<string, Function>;
     mappedReaction: Function;
-}>
-
+}>;
 
 export class Updux<TState = unknown> {
-
     constructor(config: UpduxConfig<TState>);
 
     get initial(): TState;

src/Updux.ts

@@ -9,17 +9,19 @@ import { buildActions } from './buildActions';
 import { buildSelectors } from './buildSelectors';
 import { action } from './actions';
 import { buildUpreducer } from './buildUpreducer';
-import {
-    buildMiddleware,
-    augmentMiddlewareApi,
-} from './buildMiddleware';
+import { buildMiddleware, augmentMiddlewareApi } from './buildMiddleware';
 
-import { Dict } from './types';
+import { AggregateDuxActions, AggregateDuxState, Dict } from './types';
 
 /**
  * Configuration object typically passed to the constructor of the class Updux.
  */
-export interface UpduxConfig<TState = unknown> {
+export interface UpduxConfig<
+    TState = any,
+    TActions = {},
+    TSelectors = {},
+    TSubduxes = {}
+> {
     /**
      * Local initial state.
      * @default {}
@@ -29,12 +31,12 @@ export interface UpduxConfig<TState = unknown> {
     /**
      * Subduxes to be merged to this dux.
      */
-    subduxes?: Dict<Updux | UpduxConfig>;
+    subduxes?: TSubduxes;
 
     /**
      * Local actions.
      */
-    actions?: Record<string, any>;
+    actions?: TActions;
 
     /**
      * Local selectors.
@@ -70,7 +72,12 @@ export interface UpduxConfig<TState = unknown> {
     mappedReaction?: Function | boolean;
 }
 
-export class Updux {
+export class Updux<
+    TState extends any = {},
+    TActions extends object = {},
+    TSelectors = {},
+    TSubduxes extends object = {}
+> {
     /** @type { unknown } */
     #initial = {};
     #subduxes = {};
@@ -84,7 +91,7 @@ export class Updux {
     #mappedSelectors = undefined;
     #mappedReaction = undefined;
 
-    constructor(config: UpduxConfig) {
+    constructor(config: UpduxConfig<TState, TActions, TSelectors, TSubduxes>) {
         this.#initial = config.initial ?? {};
         this.#subduxes = config.subduxes ?? {};
 
@@ -135,7 +142,7 @@ export class Updux {
         this.#mappedSelectors = {
             ...this.#mappedSelectors,
             [name]: f,
-        }
+        };
     }
 
     get middleware() {
@@ -148,12 +155,12 @@ export class Updux {
     }
 
     /** @member { unknown } */
-    get initial() {
+    get initial(): AggregateDuxState<TState, TSubduxes> {
         return this.#memoInitial(this.#initial, this.#subduxes);
     }
 
-    get actions(): Record<string, Function> {
-        return this.#memoActions(this.#actions, this.#subduxes);
+    get actions(): AggregateDuxActions<TActions, TSubduxes> {
+        return this.#memoActions(this.#actions, this.#subduxes) as any;
     }
 
     get selectors() {
@@ -323,14 +330,15 @@ export class Updux {
     }
 
     createStore(initial?: unknown, enhancerGenerator?: Function) {
-
-        const enhancer = (enhancerGenerator ?? applyMiddleware)(this.middleware);
+        const enhancer = (enhancerGenerator ?? applyMiddleware)(
+            this.middleware
+        );
 
         const store: {
-            getState: Function & Record<string,Function>,
-            dispatch: Function & Record<string,Function>,
-            selectors: Record<string,Function>,
-            actions: Record<string,Function>,
+            getState: Function & Record<string, Function>;
+            dispatch: Function & Record<string, Function>;
+            selectors: Record<string, Function>;
+            actions: AggregateDuxActions<TActions, TSubduxes>;
         } = reduxCreateStore(
             this.reducer,
             initial ?? this.initial,

src/actions.test.js

@@ -1,4 +1,4 @@
-import { action } from './actions.js';
+import { action } from './actions';
 
 test('action generators', () => {
     const foo = action('foo');

src/actions.ts

@@ -1,9 +1,14 @@
 export type Action<T extends string = string, TPayload = unknown> = {
-    type: T; meta?: Record<string,unknown>; } & (
-    {       payload?: TPayload }
-)
+    type: T;
+    meta?: Record<string, unknown>;
+} & {
+    payload?: TPayload;
+};
 
-export type ActionGenerator<TType extends string = string, TPayloadGen = undefined> = {
+export type ActionGenerator<
+    TType extends string = string,
+    TPayloadGen = undefined
+> = {
     type: TType;
 } & (TPayloadGen extends (...args: any) => any
     ? (...args: Parameters<TPayloadGen>) => {

src/buildInitial/test.ts

@@ -1,9 +1,7 @@
 import { buildInitial } from '.';
 
 test('basic', () => {
-    expect(
-        buildInitial({ a: 1 }, { b: { initial: { c: 2 } } })
-    ).toMatchObject({
+    expect(buildInitial({ a: 1 }, { b: { initial: { c: 2 } } })).toMatchObject({
         a: 1,
         b: { c: 2 },
     });

src/buildSelectors/index.ts

@@ -1,11 +1,18 @@
 import { map, mapValues, merge } from 'lodash';
 
-export function buildSelectors(localSelectors, splatSelector = {}, subduxes ={}) {
+export function buildSelectors(
+    localSelectors,
+    splatSelector = {},
+    subduxes = {}
+) {
     const subSelectors = map(subduxes, ({ selectors }, slice) => {
         if (!selectors) return {};
         if (slice === '*') return {};
 
-        return mapValues(selectors, (func: Function) => (state) => func(state[slice]));
+        return mapValues(
+            selectors,
+            (func: Function) => (state) => func(state[slice])
+        );
     });
 
     let splat = {};

src/buildUpreducer.js

@@ -8,7 +8,8 @@ export function buildUpreducer(initial, mutations, subduxes = {}) {
             : null;
 
     return (action) => (state) => {
-        if( !action?.type ) throw new Error("upreducer called with a bad action");
+        if (!action?.type)
+            throw new Error('upreducer called with a bad action');
 
         let newState = state ?? initial;
 

src/documentation.test.ts

@@ -32,7 +32,7 @@ test('README.md', () => {
 });
 
 test('tutorial', () => {
-    const todosDux = new Updux({
+    const todosDux = new Updux<any, any>({
         initial: {
             next_id: 1,
             todos: [],

src/mutations.test.js

@@ -16,7 +16,9 @@ test('basic', () => {
 
     expect(dux.reducer(undefined, dux.actions.doIt())).toEqual('bingo');
 
-    expect(dux.reducer(undefined, dux.actions.thisToo())).toEqual( 'straight type');
+    expect(dux.reducer(undefined, dux.actions.thisToo())).toEqual(
+        'straight type'
+    );
 });
 
 test('override', () => {
@@ -48,8 +50,7 @@ test('override', () => {
         undefined
     );
 
-    expect(state).toMatchObject(
-    {
+    expect(state).toMatchObject({
         alpha: ['foo', 'bar'],
         subbie: 1,
     });
@@ -77,8 +78,9 @@ test('order of processing', () => {
         },
     });
 
-    expect(dux.reducer(undefined, foo()))
-        .toMatchObject({ x: ['subdux', 'main'] });
+    expect(dux.reducer(undefined, foo())).toMatchObject({
+        x: ['subdux', 'main'],
+    });
 });
 
 test('setMutation', () => {
@@ -94,7 +96,6 @@ test('setMutation', () => {
     dux.setMutation('foo', () => () => 'foo');
 
     expect(dux.reducer(undefined, foo())).toEqual('foo');
-
 });
 
 test('setMutation, name as function', () => {

src/splat.test.js

@@ -135,8 +135,7 @@ test('splat subscriptions, more', () => {
         initial: { a: 1 },
         actions: { foo: null, incAll: null },
         mutations: {
-            foo: (id) => (state) =>
-                state.a === id ? { ...state, b: 1 } : state,
+            foo: (id) => (state) => state.a === id ? { ...state, b: 1 } : state,
             incAll: () => (state) => ({ ...state, a: state.a + 1 }),
         },
         reactions: [() => snitch],
@@ -163,16 +162,8 @@ test('splat subscriptions, more', () => {
 
     expect(snitch).toHaveBeenCalledTimes(2);
 
-    expect(snitch).toHaveBeenCalledWith(
-        { a: 1 },
-        undefined,
-        expect.anything()
-    );
-    expect(snitch).toHaveBeenCalledWith(
-        { a: 2 },
-        undefined,
-        expect.anything()
-    );
+    expect(snitch).toHaveBeenCalledWith({ a: 1 }, undefined, expect.anything());
+    expect(snitch).toHaveBeenCalledWith({ a: 2 }, undefined, expect.anything());
 
     snitch.mockReset();
 
@@ -194,11 +185,7 @@ test('splat subscriptions, more', () => {
 
     expect(snitch).toHaveBeenCalledTimes(1);
 
-    expect(snitch).toHaveBeenCalledWith(
-        undefined,
-        { a: 1 },
-        expect.anything()
-    );
+    expect(snitch).toHaveBeenCalledWith(undefined, { a: 1 }, expect.anything());
 
     // only one subscriber left
     snitch.mockReset();
@@ -246,9 +233,7 @@ test('many levels down', () => {
                         mutations: {
                             add: () => (x) => x + 1,
                         },
-                        reactions: [
-                            (store) => (state) => snitch(state, store),
-                        ],
+                        reactions: [(store) => (state) => snitch(state, store)],
                     },
                 },
             },

src/subscriptions.test.js

@@ -109,8 +109,7 @@ test('subscription within subduxes', () => {
     let innerState = jest.fn(() => null);
     let outerState = jest.fn(() => null);
 
-    const resetMocks = () =>
-        [innerState, outerState].map((f) => f.mockReset());
+    const resetMocks = () => [innerState, outerState].map((f) => f.mockReset());
 
     const inner = new Updux({
         initial: 1,

src/types.ts

@@ -1,2 +1,37 @@
-
 export type Dict<T> = Record<string, T>;
+
+export type UnionToIntersection<U> = (
+    U extends any ? (k: U) => void : never
+) extends (k: infer I) => void
+    ? I
+    : never;
+
+type Subdux<TState = any> = {
+    initial: TState;
+};
+
+type StateOf<D> = D extends { initial: infer I } ? I : unknown;
+type ActionsOf<C> = C extends { actions: infer A }
+    ? {
+          [K in keyof A]: Function;
+      }
+    : {};
+
+type Subduxes = Record<string, Subdux>;
+
+export type DuxStateSubduxes<C> = C extends { '*': infer I }
+    ? {
+          [key: string]: StateOf<I>;
+          [index: number]: StateOf<I>;
+      }
+    : { [K in keyof C]: StateOf<C[K]> };
+
+export type AggregateDuxState<TState, TSubduxes> = TState &
+    DuxStateSubduxes<TSubduxes>;
+
+type DuxActionsSubduxes<C> = C extends object ? ActionsOf<C[keyof C]> : unknown;
+
+type ItemsOf<C> = C extends object ? C[keyof C] : unknown;
+
+export type AggregateDuxActions<TActions, TSubduxes> = TActions &
+    UnionToIntersection<ActionsOf<ItemsOf<TSubduxes>>>;

tsconfig.json

@@ -5,9 +5,7 @@
         "rootDir": "src",
         "outDir": "dist",
         "target": "es2020",
-    "lib": [
-      "es2020"
-    ],
+        "lib": ["es2020"],
         "module": "ES2020",
         "moduleResolution": "Node",
         "strict": false,

typedoc.json

@@ -1,8 +1,6 @@
 {
     "name": "Updux",
-	"entryPoints": [
-		"./types/index.d.ts"
-	],
+    "entryPoints": ["./types/index.d.ts"],
     "out": "docs/API",
     "excludeExternals": true,
     "excludePrivate": true,