import type { FlowActionSucceededV1Contract } from "./app-event.js";

type IsAssignable<From, To> = [From] extends [To] ? true : false;
type AssertTrue<Value extends true> = Value;
type AssertFalse<Value extends false> = Value;

type AdditiveActionProperty =
	FlowActionSucceededV1Contract["properties"]["gx_future_optional"];

type _acceptsNestedJson = AssertTrue<
	IsAssignable<
		{ nested: [string, { active: boolean }] },
		AdditiveActionProperty
	>
>;
type _rejectsFunction = AssertFalse<
	IsAssignable<() => undefined, AdditiveActionProperty>
>;
type _rejectsUndefined = AssertFalse<
	IsAssignable<undefined, AdditiveActionProperty>
>;

export type FlowActionSucceededTypeChecks = [
	_acceptsNestedJson,
	_rejectsFunction,
	_rejectsUndefined,
];