19 lines
736 B
JavaScript
19 lines
736 B
JavaScript
// Little demo that demonstrates interactive exploration of types, instances and transformations.
|
|
|
|
import { module2Env } from "../lib/environment/env.js";
|
|
import { newDynamic } from "../lib/primitives/dynamic.js";
|
|
import { Dynamic } from "../lib/primitives/primitive_types.js";
|
|
import { TYPE_VARS } from "../lib/primitives/typevars.js";
|
|
import { ModuleStd } from "../lib/stdlib.js";
|
|
import { emptyList } from "../lib/structures/list.js";
|
|
import { lsType } from "../lib/structures/type_constructors.types.js";
|
|
import { listInstances, transform } from "./prompt/prompt.js";
|
|
|
|
const env = module2Env(ModuleStd);
|
|
|
|
await listInstances(env, Dynamic);
|
|
|
|
// await transform(
|
|
// env,
|
|
// newDynamic(emptyList)(lsType(_ => TYPE_VARS[0])),
|
|
// );
|