Cheat Sheet

Assume Animal is defined as in the Introduction

typescript
// import 
import {Animal} from '...';
// create
const steve = Animal.snake('steve');
// snake type
type SnakeType = Animal<'snake'>;
// union of all animals
type AllAnimalsType = Animal;

typescript
// import 
import {Animal} from '...';
// create
const steve = Animal.snake('steve');
// snake type
type SnakeType = Animal<'snake'>;
// union of all animals
type AllAnimalsType = Animal;

Boilerplate

Here are some VS Code snippets to make following the groupings pattern very easy.

json
{
	"VariantModule": {
		"prefix": ["variant-module", "vm"],
		"body": [
			"export const $1 = variantModule({",
			"    $2",
			"});",
			"export type $1<T extends TypeNames<typeof $1> = undefined> = VariantOf<typeof $1, T>;",
			""
		],
		"description": "Initialize a module for variants"
	},
	"VariantList": {
		"prefix": ["variant-list", "vl"],
		"body": [
			"export const $1 = variantList([",
			"    $2",
			"]);",
			"export type $1<T extends TypeNames<typeof $1> = undefined> = VariantOf<typeof $1, T>;",
			""
		],
		"description": "Initialize a module for variants as a list"
	},
	"VariantTypeAnnotation": {
		"prefix": ["variant-type", "vt"],
		"body": [
			"export type $1<T extends TypeNames<typeof $1> = undefined> = VariantOf<typeof $1, T>;",
		],
		"description": "Type annotation for variants"
	},
}

json
{
	"VariantModule": {
		"prefix": ["variant-module", "vm"],
		"body": [
			"export const $1 = variantModule({",
			"    $2",
			"});",
			"export type $1<T extends TypeNames<typeof $1> = undefined> = VariantOf<typeof $1, T>;",
			""
		],
		"description": "Initialize a module for variants"
	},
	"VariantList": {
		"prefix": ["variant-list", "vl"],
		"body": [
			"export const $1 = variantList([",
			"    $2",
			"]);",
			"export type $1<T extends TypeNames<typeof $1> = undefined> = VariantOf<typeof $1, T>;",
			""
		],
		"description": "Initialize a module for variants as a list"
	},
	"VariantTypeAnnotation": {
		"prefix": ["variant-type", "vt"],
		"body": [
			"export type $1<T extends TypeNames<typeof $1> = undefined> = VariantOf<typeof $1, T>;",
		],
		"description": "Type annotation for variants"
	},
}