import type { Refinement } from "./refinement.ts";
import * as R from "./refinement.ts";

type Person = { name: string; age: number; children: ReadonlyArray<Person> };

const person: Refinement<unknown, Person> = R.lazy("Person", () =>
  R.struct({
    name: R.string,
    age: R.number,
    children: R.array(person),
  }));

const rufus = { name: "Rufus", age: 1, children: [] };
const brandon = { name: "Brandon", age: 37, children: [rufus] };

const result1 = person(null); // false
const result2 = person(rufus); // true, rufus: Person
const result3 = person(brandon); // true, brandon: Person