Function convertProgram

article/utils.ts:442–467

(nodes: p.TSESTree.Statement[])

}

function convertProgram(nodes: p.TSESTree.Statement[]): Term {
  const globalTypeAliasMap: TypeAliasMap = {
    "Boolean": { typeParams: null, type: { tag: "Boolean" } },
    "Number": { typeParams: null, type: { tag: "Number" } },
  };

  const stmts = nodes.filter((node) => {
    switch (node.type) {
      case "ImportDeclaration":
        return false;
      case "TSTypeAliasDeclaration": {
        const name = node.id.name;
        const typeParams = node.typeParameters ? node.typeParameters.params.map((param) => param.name.name) : null;
        const type = convertType(node.typeAnnotation);
        globalTypeAliasMap[name] = { typeParams, type };
        return false;
      }
      default:
        return true;
    }
  });

  const ctx = { globalTypeAliasMap, typeVarBindings: {} };

  return convertStmts(stmts, false, ctx);
}

type ExtractTagsSub<T, K> = T extends Type | Term ? ExtractTags<T, K>
  : T extends Type[] ? ExtractTags<Type, K>[]