Rework Record and Tagged Union API

[harrysolovay]

Records

const c = s.record(
  ["name", s.str],
  ["nickName", s.str],
  ["superPower", s.option(s.str)],
  ["luckyNumber", s.u8],
);

... encodes from / decodes to

interface C {
  name: string;
  nickName: string;
  superPower: string | undefined;
  luckyNumber: number;
} 

Tagged Unions

const c = s.taggedUnion(
  ["A"],
  ["B", ["B", s.str]],
  ["C", ["C", s.tuple(s.u32, s.u64)]],
  ["D", ["D", s.record(
    ["a", s.u32],
    ["b", s.u64],
  )]],
);

... encodes from / decodes to

type C = {
  _tag: "A";
} | {
  _tag: "B";
  B: string;
} | {
  _tag: "C";
  C: [number, bigint];
} | {
  _tag: "D";
  D: {
    a: number;
    b: bigint;
  }
}