import { ComponentType, FunctionComponent, ReactNode } from 'react';

export type Dakpan<S, A extends Actions<S>, I extends boolean> = [
  FunctionComponent<ProviderProps<S, I>>,
  DakpanHook<S, A>,
  DakpanHoc<S, A>
];

export type DakpanHook<S, A extends Actions<S>> = <T extends boolean = false>(nullable?: T) => T extends false
  ? [S, MappedActions<S, A>]
  : [S | undefined, MappedActions<S, A> | undefined];

export type DakpanHoc<S, A extends Actions<S>> = <H>(
  map: (state: S, actions: MappedActions<S, A>) => H
) => <P>(
  component: ComponentType<P & H>
) => ComponentType<P>;

export type DakpanContext<S, A extends Actions<S>> = undefined | {
  state: S,
  actions: MappedActions<S, A>
};

export type ProviderProps<S, I extends boolean> = {
  children?: ReactNode
} & (I extends true ? {} : {
  value: S,
  reinitialize?: boolean
});

export type Actions<S> = {
  [action: string]: (...args: any[]) => (state: S, get: () => S) => S | undefined | Promise<S | undefined>
};

export type MappedActions<S, A extends Actions<S>> = {
  [K in keyof A]: ((...args: Parameters<A[K]>) => Promise<void>) & {
    c: (...args: Parameters<A[K]>) => () => Promise<void>
  }
};

export type InitialState<S> = S | (() => S);