ehmry
/
preserves
forked from syndicate-lang/preserves
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Regenerate schema

This commit is contained in:
Tony Garnock-Jones 2021-03-12 11:14:39 +01:00
parent ce947c109a
commit 942fb79a2e
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
implementations/javascript/packages/schema/src/gen/schema.ts
View File

@ -1,8 +1,5 @@
import * as _ from "@preserves/core";
export type _ptr = never;
export type _val = _.Value<_ptr>;
export const $1 = 1;
export const $Boolean = Symbol.for("Boolean");
export const $ByteString = Symbol.for("ByteString");
@ -35,7 +32,7 @@ export const Schema = _.Record.makeConstructor<{
{
get(k: typeof $version): Version;
get(k: typeof $pointer): PointerName;
get(k: typeof $definitions): _.KeyedDictionary<symbol, Pattern>;
get(k: typeof $definitions): _.KeyedDictionary<symbol, Pattern, _ptr>;
has(k: typeof $version): true;
has(k: typeof $pointer): true;
has(k: typeof $definitions): true;
@ -50,7 +47,7 @@ export type Schema = _.Record<
{
get(k: typeof $version): Version;
get(k: typeof $pointer): PointerName;
get(k: typeof $definitions): _.KeyedDictionary<symbol, Pattern>;
get(k: typeof $definitions): _.KeyedDictionary<symbol, Pattern, _ptr>;
has(k: typeof $version): true;
has(k: typeof $pointer): true;
has(k: typeof $definitions): true;
@ -90,7 +87,7 @@ export type Pattern = (
_.Record<(typeof $tuple_STAR_), [Array<NamedPattern>, NamedPattern], _ptr> |
_.Record<(typeof $setof), [Pattern], _ptr> |
_.Record<(typeof $dictof), [Pattern, Pattern], _ptr> |
_.Record<(typeof $dict), [_.KeyedDictionary<_val, Pattern>], _ptr>
_.Record<(typeof $dict), [_.KeyedDictionary<_val, Pattern, _ptr>], _ptr>
);
export type NamedPattern = (_.Record<(typeof $named), [symbol, Pattern], _ptr> | Pattern);
@ -103,6 +100,10 @@ export type ModuleRef = ((typeof $thisModule) | ModulePath);
export type ModulePath = Array<symbol>;
export type _ptr = never;
export type _val = _.Value<_ptr>;
export function isSchema(v: any): v is Schema {
let _tmp0, _tmp1, _tmp2: any;