Opaque ADT Snippet

typescript.json

{
  "Opaque ADT": {
    "prefix": "oadt",
    "body": [
      "export const $1ADT = makeADT('type')({$2});",
      "export type $1ADT = ADTType<typeof $1ADT>",
      "export interface $1 extends Newtype<{ readonly $1: unique symbol }, $1ADT> {}",
      "export const $1 = iso<$1>()"
    ],
    "description": "Defines an opaque ADT"
  },
}