Open the context
Choose the project folder and name the files or behavior involved.
Workflows
Coding workflows · Exhaustive type states
03
A concrete starting point
Handle a tagged union exhaustively. Add a new state in a test change and let the type checker reveal every branch that still needs an implementation.
Define the change
Describe the input, expected output and boundaries that must stay intact.
Inspect the work
Review the proposed edits and any commands before relying on their result.
Check the outcome
Compare actual behavior with the expected result. If a check fails, investigate it before applying more changes.
Exhaustive type states
A concrete starting point
switch (state.kind) {
case 'ready': return render(state.data);
case 'failed': return showError(state.error);
default: return assertNever(state);
}The example is a starting point for a real project, not a claim that generated code is already tested. Adjust paths, dependencies and expected behavior to match your application.