From e23fcd1f16c9d762e15c15e4eea5027652aaa07e Mon Sep 17 00:00:00 2001 From: Dijana Pavlovic Date: Thu, 1 Aug 2024 09:35:20 +0200 Subject: [PATCH] Update edgeql-js --- .gitignore | 4 +- dbschema/edgeql-js/index.ts | 2 +- dbschema/edgeql-js/modules/__default_10.ts | 44 + dbschema/edgeql-js/modules/default.ts | 2 +- dbschema/edgeql-js/modules/ext/auth.ts | 2239 ++++++-- dbschema/edgeql-js/modules/schema.ts | 5504 ++++++++++++++++---- 6 files changed, 6326 insertions(+), 1469 deletions(-) create mode 100644 dbschema/edgeql-js/modules/__default_10.ts diff --git a/.gitignore b/.gitignore index 5612226..3c0bb3d 100644 --- a/.gitignore +++ b/.gitignore @@ -37,6 +37,4 @@ yarn-error.log* *.tsbuildinfo next-env.d.ts -# dbschema/edgeql-js - -dbschema/edgeql-js +# dbschema/edgeql-js \ No newline at end of file diff --git a/dbschema/edgeql-js/index.ts b/dbschema/edgeql-js/index.ts index a9a328c..3f8629c 100644 --- a/dbschema/edgeql-js/index.ts +++ b/dbschema/edgeql-js/index.ts @@ -13,7 +13,7 @@ import _fts from "./modules/fts"; import _schema from "./modules/schema"; import _sys from "./modules/sys"; import _default from "./modules/default"; -import __default_10 from "./modules/__default"; +import __default_10 from "./modules/__default_10"; import _discord from "./modules/discord"; import _math from "./modules/math"; diff --git a/dbschema/edgeql-js/modules/__default_10.ts b/dbschema/edgeql-js/modules/__default_10.ts new file mode 100644 index 0000000..16c4c2e --- /dev/null +++ b/dbschema/edgeql-js/modules/__default_10.ts @@ -0,0 +1,44 @@ +// GENERATED by @edgedb/generate v0.5.3 + +import * as $ from "../reflection"; +import * as _ from "../imports"; +import type * as _default from "./default"; +export type $current_moderatorλShape = $.typeutil.flatten< + Omit<_default.$ModeratorλShape, "account"> & { + account: $.LinkDesc< + _default.$User, + $.Cardinality.One, + {}, + false, + false, + false, + false + >; + } +>; +type $current_moderator = $.ObjectType< + "__default::current_moderator", + $current_moderatorλShape, + null, + [..._default.$Moderator["__exclusives__"]] +>; +const $current_moderator = $.makeType<$current_moderator>( + _.spec, + "7531d991-28b5-11ef-83af-f92cc3345b7c", + _.syntax.literal +); + +const current_moderator: $.$expr_PathNode< + $.TypeSet<$current_moderator, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($current_moderator, $.Cardinality.Many), null); + +export { $current_moderator, current_moderator }; + +type __defaultExports = { + current_moderator: typeof current_moderator; +}; +const __defaultExports: __defaultExports = { + current_moderator: current_moderator, +}; +export default __defaultExports; diff --git a/dbschema/edgeql-js/modules/default.ts b/dbschema/edgeql-js/modules/default.ts index e6f89fd..88e3472 100644 --- a/dbschema/edgeql-js/modules/default.ts +++ b/dbschema/edgeql-js/modules/default.ts @@ -5,7 +5,7 @@ import * as _ from "../imports"; import type * as _std from "./std"; import type * as _extauth from "./ext/auth"; import type * as _discord from "./discord"; -import type * as ___default from "./__default"; +import type * as ___default from "./__default_10"; export type $ModeratorλShape = $.typeutil.flatten< _std.$Object_8ce8c71ee4fa5f73840c22d7eaa58588λShape & { account: $.LinkDesc< diff --git a/dbschema/edgeql-js/modules/ext/auth.ts b/dbschema/edgeql-js/modules/ext/auth.ts index b9e7ad4..ba7598c 100644 --- a/dbschema/edgeql-js/modules/ext/auth.ts +++ b/dbschema/edgeql-js/modules/ext/auth.ts @@ -5,380 +5,1496 @@ import * as _ from "../../imports"; import type * as _cfg from "../cfg"; import type * as _std from "../std"; import type * as _default from "../default"; -import type * as ___default from "../__default"; +import type * as ___default from "../__default_10"; export type $FlowType = { - "PKCE": $.$expr_Literal<$FlowType>; - "Implicit": $.$expr_Literal<$FlowType>; + PKCE: $.$expr_Literal<$FlowType>; + Implicit: $.$expr_Literal<$FlowType>; } & $.EnumType<"ext::auth::FlowType", ["PKCE", "Implicit"]>; -const FlowType: $FlowType = $.makeType<$FlowType>(_.spec, "f1f61c43-08ca-5ae0-870d-ace07304ca8f", _.syntax.literal); +const FlowType: $FlowType = $.makeType<$FlowType>( + _.spec, + "f1f61c43-08ca-5ae0-870d-ace07304ca8f", + _.syntax.literal +); export type $JWTAlgo = { - "RS256": $.$expr_Literal<$JWTAlgo>; - "HS256": $.$expr_Literal<$JWTAlgo>; + RS256: $.$expr_Literal<$JWTAlgo>; + HS256: $.$expr_Literal<$JWTAlgo>; } & $.EnumType<"ext::auth::JWTAlgo", ["RS256", "HS256"]>; -const JWTAlgo: $JWTAlgo = $.makeType<$JWTAlgo>(_.spec, "14113b4e-86a8-5b08-8ee9-9cfc1c7dc1e8", _.syntax.literal); +const JWTAlgo: $JWTAlgo = $.makeType<$JWTAlgo>( + _.spec, + "14113b4e-86a8-5b08-8ee9-9cfc1c7dc1e8", + _.syntax.literal +); export type $SMTPSecurity = { - "PlainText": $.$expr_Literal<$SMTPSecurity>; - "TLS": $.$expr_Literal<$SMTPSecurity>; - "STARTTLS": $.$expr_Literal<$SMTPSecurity>; - "STARTTLSOrPlainText": $.$expr_Literal<$SMTPSecurity>; -} & $.EnumType<"ext::auth::SMTPSecurity", ["PlainText", "TLS", "STARTTLS", "STARTTLSOrPlainText"]>; -const SMTPSecurity: $SMTPSecurity = $.makeType<$SMTPSecurity>(_.spec, "8a5e3474-0330-56ed-982c-48a4c4921b09", _.syntax.literal); - -export type $ProviderConfigλShape = $.typeutil.flatten<_cfg.$ConfigObjectλShape & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, false>; - "; - "; -}>; -type $ProviderConfig = $.ObjectType<"ext::auth::ProviderConfig", $ProviderConfigλShape, null, [ - ..._cfg.$ConfigObject['__exclusives__'], - {name: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $ProviderConfig = $.makeType<$ProviderConfig>(_.spec, "594f22fc-bbb1-5588-b7d1-ed498df6ccec", _.syntax.literal); - -const ProviderConfig: $.$expr_PathNode<$.TypeSet<$ProviderConfig, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($ProviderConfig, $.Cardinality.Many), null); - -export type $OAuthProviderConfigλShape = $.typeutil.flatten & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, false>; - "secret": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, true, false>; - "client_id": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, true, false>; - "display_name": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, true, false>; - "additional_scope": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, true, false>; -}>; -type $OAuthProviderConfig = $.ObjectType<"ext::auth::OAuthProviderConfig", $OAuthProviderConfigλShape, null, [ - ...$ProviderConfig['__exclusives__'], - {name: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $OAuthProviderConfig = $.makeType<$OAuthProviderConfig>(_.spec, "848d522a-6d9c-5317-b807-7e9b926f0a66", _.syntax.literal); - -const OAuthProviderConfig: $.$expr_PathNode<$.TypeSet<$OAuthProviderConfig, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($OAuthProviderConfig, $.Cardinality.Many), null); - -export type $AppleOAuthProviderλShape = $.typeutil.flatten & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; - "display_name": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, true, true>; -}>; -type $AppleOAuthProvider = $.ObjectType<"ext::auth::AppleOAuthProvider", $AppleOAuthProviderλShape, null, [ - ...$OAuthProviderConfig['__exclusives__'], - {name: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $AppleOAuthProvider = $.makeType<$AppleOAuthProvider>(_.spec, "2059ae30-cb44-51d0-b016-920ef0a691b4", _.syntax.literal); - -const AppleOAuthProvider: $.$expr_PathNode<$.TypeSet<$AppleOAuthProvider, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($AppleOAuthProvider, $.Cardinality.Many), null); - -export type $AuditableλShape = $.typeutil.flatten<_std.$Object_8ce8c71ee4fa5f73840c22d7eaa58588λShape & { - "created_at": $.PropertyDesc<_std.$datetime, $.Cardinality.One, false, false, true, true>; - "modified_at": $.PropertyDesc<_std.$datetime, $.Cardinality.One, false, false, false, false>; -}>; -type $Auditable = $.ObjectType<"ext::auth::Auditable", $AuditableλShape, null, [ - ..._std.$Object_8ce8c71ee4fa5f73840c22d7eaa58588['__exclusives__'], -]>; -const $Auditable = $.makeType<$Auditable>(_.spec, "4315a540-bc94-58fa-8e95-a5816e134135", _.syntax.literal); - -const Auditable: $.$expr_PathNode<$.TypeSet<$Auditable, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Auditable, $.Cardinality.Many), null); - -export type $AuthConfigλShape = $.typeutil.flatten<_cfg.$ExtensionConfigλShape & { - "providers": $.LinkDesc<$ProviderConfig, $.Cardinality.Many, {}, false, false, false, false>; - "ui": $.LinkDesc<$UIConfig, $.Cardinality.AtMostOne, {}, false, false, false, false>; - "app_name": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "logo_url": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "dark_logo_url": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "brand_color": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "auth_signing_key": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "token_time_to_live": $.PropertyDesc<_std.$duration, $.Cardinality.AtMostOne, false, false, false, true>; - "allowed_redirect_urls": $.PropertyDesc<_std.$str, $.Cardinality.Many, false, false, false, false>; -}>; -type $AuthConfig = $.ObjectType<"ext::auth::AuthConfig", $AuthConfigλShape, null, [ - ..._cfg.$ExtensionConfig['__exclusives__'], -]>; -const $AuthConfig = $.makeType<$AuthConfig>(_.spec, "3e1bc003-0fc3-5ff8-9064-26627924dca5", _.syntax.literal); - -const AuthConfig: $.$expr_PathNode<$.TypeSet<$AuthConfig, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($AuthConfig, $.Cardinality.Many), null); - -export type $AzureOAuthProviderλShape = $.typeutil.flatten & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; - "display_name": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, true, true>; -}>; -type $AzureOAuthProvider = $.ObjectType<"ext::auth::AzureOAuthProvider", $AzureOAuthProviderλShape, null, [ - ...$OAuthProviderConfig['__exclusives__'], - {name: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $AzureOAuthProvider = $.makeType<$AzureOAuthProvider>(_.spec, "8e5252c0-063b-5112-8228-ec339ac035a7", _.syntax.literal); - -const AzureOAuthProvider: $.$expr_PathNode<$.TypeSet<$AzureOAuthProvider, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($AzureOAuthProvider, $.Cardinality.Many), null); - -export type $IdentityλShape = $.typeutil.flatten<$AuditableλShape & { - "issuer": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "subject": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "; - "; - "; - "; - "; -}>; -type $Identity = $.ObjectType<"ext::auth::Identity", $IdentityλShape, null, [ - ...$Auditable['__exclusives__'], - {issuer: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },subject: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $Identity = $.makeType<$Identity>(_.spec, "6801b916-bb3e-57eb-a156-c53c7623c210", _.syntax.literal); - -const Identity: $.$expr_PathNode<$.TypeSet<$Identity, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Identity, $.Cardinality.Many), null); - -export type $ClientTokenIdentityλShape = $.typeutil.flatten<$IdentityλShape & { -}>; -type $ClientTokenIdentity = $.ObjectType<"ext::auth::ClientTokenIdentity", $ClientTokenIdentityλShape, null, [ - ...$Identity['__exclusives__'], -]>; -const $ClientTokenIdentity = $.makeType<$ClientTokenIdentity>(_.spec, "00f11fb6-7aba-5a64-8e54-a0500877b6c7", _.syntax.literal); - -const ClientTokenIdentity: $.$expr_PathNode<$.TypeSet<$ClientTokenIdentity, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($ClientTokenIdentity, $.Cardinality.Many), null); - -export type $DiscordOAuthProviderλShape = $.typeutil.flatten & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; - "display_name": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, true, true>; -}>; -type $DiscordOAuthProvider = $.ObjectType<"ext::auth::DiscordOAuthProvider", $DiscordOAuthProviderλShape, null, [ - ...$OAuthProviderConfig['__exclusives__'], - {name: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $DiscordOAuthProvider = $.makeType<$DiscordOAuthProvider>(_.spec, "1211be9e-fb63-560a-be54-e82f7520fc35", _.syntax.literal); - -const DiscordOAuthProvider: $.$expr_PathNode<$.TypeSet<$DiscordOAuthProvider, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($DiscordOAuthProvider, $.Cardinality.Many), null); - -export type $FactorλShape = $.typeutil.flatten<$AuditableλShape & { - "identity": $.LinkDesc<$LocalIdentity, $.Cardinality.One, {}, true, false, false, false>; -}>; -type $Factor = $.ObjectType<"ext::auth::Factor", $FactorλShape, null, [ - ...$Auditable['__exclusives__'], - {identity: {__element__: $LocalIdentity, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $Factor = $.makeType<$Factor>(_.spec, "5a4c113f-3892-5708-bf83-696857e64305", _.syntax.literal); - -const Factor: $.$expr_PathNode<$.TypeSet<$Factor, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Factor, $.Cardinality.Many), null); - -export type $EmailFactorλShape = $.typeutil.flatten<$FactorλShape & { - "email": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "verified_at": $.PropertyDesc<_std.$datetime, $.Cardinality.AtMostOne, false, false, false, false>; -}>; -type $EmailFactor = $.ObjectType<"ext::auth::EmailFactor", $EmailFactorλShape, null, [ - ...$Factor['__exclusives__'], -]>; -const $EmailFactor = $.makeType<$EmailFactor>(_.spec, "c8e5d5f3-fced-5e92-a040-af0ef7991888", _.syntax.literal); - -const EmailFactor: $.$expr_PathNode<$.TypeSet<$EmailFactor, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($EmailFactor, $.Cardinality.Many), null); - -export type $EmailPasswordFactorλShape = $.typeutil.flatten & { - "email": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, false, false>; - "password_hash": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; -}>; -type $EmailPasswordFactor = $.ObjectType<"ext::auth::EmailPasswordFactor", $EmailPasswordFactorλShape, null, [ - ...$EmailFactor['__exclusives__'], - {email: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $EmailPasswordFactor = $.makeType<$EmailPasswordFactor>(_.spec, "177397b5-4749-5b76-8062-813313551a8f", _.syntax.literal); - -const EmailPasswordFactor: $.$expr_PathNode<$.TypeSet<$EmailPasswordFactor, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($EmailPasswordFactor, $.Cardinality.Many), null); - -export type $EmailPasswordProviderConfigλShape = $.typeutil.flatten & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; - "require_verification": $.PropertyDesc<_std.$bool, $.Cardinality.One, false, false, false, true>; -}>; -type $EmailPasswordProviderConfig = $.ObjectType<"ext::auth::EmailPasswordProviderConfig", $EmailPasswordProviderConfigλShape, null, [ - ...$ProviderConfig['__exclusives__'], - {name: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $EmailPasswordProviderConfig = $.makeType<$EmailPasswordProviderConfig>(_.spec, "f58a65af-0293-5623-87f9-3e79d77665b7", _.syntax.literal); - -const EmailPasswordProviderConfig: $.$expr_PathNode<$.TypeSet<$EmailPasswordProviderConfig, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($EmailPasswordProviderConfig, $.Cardinality.Many), null); - -export type $GitHubOAuthProviderλShape = $.typeutil.flatten & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; - "display_name": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, true, true>; -}>; -type $GitHubOAuthProvider = $.ObjectType<"ext::auth::GitHubOAuthProvider", $GitHubOAuthProviderλShape, null, [ - ...$OAuthProviderConfig['__exclusives__'], - {name: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $GitHubOAuthProvider = $.makeType<$GitHubOAuthProvider>(_.spec, "65ca9461-dbf9-5c42-8dd8-8e13e6bad184", _.syntax.literal); - -const GitHubOAuthProvider: $.$expr_PathNode<$.TypeSet<$GitHubOAuthProvider, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($GitHubOAuthProvider, $.Cardinality.Many), null); - -export type $GoogleOAuthProviderλShape = $.typeutil.flatten & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; - "display_name": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, true, true>; -}>; -type $GoogleOAuthProvider = $.ObjectType<"ext::auth::GoogleOAuthProvider", $GoogleOAuthProviderλShape, null, [ - ...$OAuthProviderConfig['__exclusives__'], - {name: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $GoogleOAuthProvider = $.makeType<$GoogleOAuthProvider>(_.spec, "ec577bc3-ecb3-5446-96ca-3842d9183f2f", _.syntax.literal); - -const GoogleOAuthProvider: $.$expr_PathNode<$.TypeSet<$GoogleOAuthProvider, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($GoogleOAuthProvider, $.Cardinality.Many), null); - -export type $LocalIdentityλShape = $.typeutil.flatten & { - "subject": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "; - "; - "; - "; - "; - "; -}>; -type $LocalIdentity = $.ObjectType<"ext::auth::LocalIdentity", $LocalIdentityλShape, null, [ - ...$Identity['__exclusives__'], -]>; -const $LocalIdentity = $.makeType<$LocalIdentity>(_.spec, "78ff164d-0c30-56a8-8baa-73824f6d68c6", _.syntax.literal); - -const LocalIdentity: $.$expr_PathNode<$.TypeSet<$LocalIdentity, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($LocalIdentity, $.Cardinality.Many), null); - -export type $MagicLinkFactorλShape = $.typeutil.flatten & { - "email": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, false, false>; -}>; -type $MagicLinkFactor = $.ObjectType<"ext::auth::MagicLinkFactor", $MagicLinkFactorλShape, null, [ - ...$EmailFactor['__exclusives__'], - {email: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $MagicLinkFactor = $.makeType<$MagicLinkFactor>(_.spec, "2e73616f-1385-54a2-9105-0381fedd24c6", _.syntax.literal); - -const MagicLinkFactor: $.$expr_PathNode<$.TypeSet<$MagicLinkFactor, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($MagicLinkFactor, $.Cardinality.Many), null); - -export type $MagicLinkProviderConfigλShape = $.typeutil.flatten & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; - "token_time_to_live": $.PropertyDesc<_std.$duration, $.Cardinality.One, false, false, false, true>; -}>; -type $MagicLinkProviderConfig = $.ObjectType<"ext::auth::MagicLinkProviderConfig", $MagicLinkProviderConfigλShape, null, [ - ...$ProviderConfig['__exclusives__'], - {name: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $MagicLinkProviderConfig = $.makeType<$MagicLinkProviderConfig>(_.spec, "94669beb-b17f-5923-b1ce-42cdbaba861b", _.syntax.literal); - -const MagicLinkProviderConfig: $.$expr_PathNode<$.TypeSet<$MagicLinkProviderConfig, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($MagicLinkProviderConfig, $.Cardinality.Many), null); - -export type $PKCEChallengeλShape = $.typeutil.flatten<$AuditableλShape & { - "challenge": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, false, false>; - "auth_token": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "refresh_token": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "identity": $.LinkDesc<$Identity, $.Cardinality.AtMostOne, {}, false, false, false, false>; -}>; -type $PKCEChallenge = $.ObjectType<"ext::auth::PKCEChallenge", $PKCEChallengeλShape, null, [ - ...$Auditable['__exclusives__'], - {challenge: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $PKCEChallenge = $.makeType<$PKCEChallenge>(_.spec, "559cb828-957b-5cfc-bddb-f74adc5c71be", _.syntax.literal); - -const PKCEChallenge: $.$expr_PathNode<$.TypeSet<$PKCEChallenge, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($PKCEChallenge, $.Cardinality.Many), null); - -export type $SMTPConfigλShape = $.typeutil.flatten<_cfg.$ExtensionConfigλShape & { - "sender": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "host": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "port": $.PropertyDesc<_std.$int32, $.Cardinality.AtMostOne, false, false, false, false>; - "username": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "password": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "security": $.PropertyDesc<$SMTPSecurity, $.Cardinality.One, false, false, false, true>; - "validate_certs": $.PropertyDesc<_std.$bool, $.Cardinality.One, false, false, false, true>; - "timeout_per_email": $.PropertyDesc<_std.$duration, $.Cardinality.One, false, false, false, true>; - "timeout_per_attempt": $.PropertyDesc<_std.$duration, $.Cardinality.One, false, false, false, true>; -}>; -type $SMTPConfig = $.ObjectType<"ext::auth::SMTPConfig", $SMTPConfigλShape, null, [ - ..._cfg.$ExtensionConfig['__exclusives__'], -]>; -const $SMTPConfig = $.makeType<$SMTPConfig>(_.spec, "ac309d52-5057-5d9f-8d0a-1a4b202a320e", _.syntax.literal); - -const SMTPConfig: $.$expr_PathNode<$.TypeSet<$SMTPConfig, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($SMTPConfig, $.Cardinality.Many), null); - -export type $SlackOAuthProviderλShape = $.typeutil.flatten & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; - "display_name": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, true, true>; -}>; -type $SlackOAuthProvider = $.ObjectType<"ext::auth::SlackOAuthProvider", $SlackOAuthProviderλShape, null, [ - ...$OAuthProviderConfig['__exclusives__'], - {name: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $SlackOAuthProvider = $.makeType<$SlackOAuthProvider>(_.spec, "9952c73b-751a-59ae-b367-753d9e9ee215", _.syntax.literal); - -const SlackOAuthProvider: $.$expr_PathNode<$.TypeSet<$SlackOAuthProvider, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($SlackOAuthProvider, $.Cardinality.Many), null); - -export type $UIConfigλShape = $.typeutil.flatten<_cfg.$ConfigObjectλShape & { - "redirect_to": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "redirect_to_on_signup": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "flow_type": $.PropertyDesc<$FlowType, $.Cardinality.One, false, false, false, true>; - "app_name": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "logo_url": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "dark_logo_url": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "brand_color": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "; - "; -}>; -type $UIConfig = $.ObjectType<"ext::auth::UIConfig", $UIConfigλShape, null, [ - ..._cfg.$ConfigObject['__exclusives__'], -]>; -const $UIConfig = $.makeType<$UIConfig>(_.spec, "594c2313-d943-51c0-a6bb-d9d367926838", _.syntax.literal); - -const UIConfig: $.$expr_PathNode<$.TypeSet<$UIConfig, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($UIConfig, $.Cardinality.Many), null); - -export type $WebAuthnAuthenticationChallengeλShape = $.typeutil.flatten<$AuditableλShape & { - "challenge": $.PropertyDesc<_std.$bytes, $.Cardinality.One, true, false, false, false>; - "factors": $.LinkDesc<$WebAuthnFactor, $.Cardinality.AtLeastOne, {}, true, false, false, false>; -}>; -type $WebAuthnAuthenticationChallenge = $.ObjectType<"ext::auth::WebAuthnAuthenticationChallenge", $WebAuthnAuthenticationChallengeλShape, null, [ - ...$Auditable['__exclusives__'], - {challenge: {__element__: _std.$bytes, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, - {factors: {__element__: $WebAuthnFactor, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $WebAuthnAuthenticationChallenge = $.makeType<$WebAuthnAuthenticationChallenge>(_.spec, "ffb4afce-f9e9-5494-83e4-d9ab262ad48e", _.syntax.literal); - -const WebAuthnAuthenticationChallenge: $.$expr_PathNode<$.TypeSet<$WebAuthnAuthenticationChallenge, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($WebAuthnAuthenticationChallenge, $.Cardinality.Many), null); - -export type $WebAuthnFactorλShape = $.typeutil.flatten<$EmailFactorλShape & { - "user_handle": $.PropertyDesc<_std.$bytes, $.Cardinality.One, false, false, false, false>; - "credential_id": $.PropertyDesc<_std.$bytes, $.Cardinality.One, true, false, false, false>; - "public_key": $.PropertyDesc<_std.$bytes, $.Cardinality.One, true, false, false, false>; - "; - "; -}>; -type $WebAuthnFactor = $.ObjectType<"ext::auth::WebAuthnFactor", $WebAuthnFactorλShape, null, [ - ...$EmailFactor['__exclusives__'], - {public_key: {__element__: _std.$bytes, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, - {credential_id: {__element__: _std.$bytes, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $WebAuthnFactor = $.makeType<$WebAuthnFactor>(_.spec, "565eca61-74f2-562e-ab89-733402d7ed0f", _.syntax.literal); - -const WebAuthnFactor: $.$expr_PathNode<$.TypeSet<$WebAuthnFactor, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($WebAuthnFactor, $.Cardinality.Many), null); - -export type $WebAuthnProviderConfigλShape = $.typeutil.flatten & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; - "relying_party_origin": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "require_verification": $.PropertyDesc<_std.$bool, $.Cardinality.One, false, false, false, true>; -}>; -type $WebAuthnProviderConfig = $.ObjectType<"ext::auth::WebAuthnProviderConfig", $WebAuthnProviderConfigλShape, null, [ - ...$ProviderConfig['__exclusives__'], - {name: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $WebAuthnProviderConfig = $.makeType<$WebAuthnProviderConfig>(_.spec, "0e105468-3e50-5c03-881d-4c2446b93ee1", _.syntax.literal); - -const WebAuthnProviderConfig: $.$expr_PathNode<$.TypeSet<$WebAuthnProviderConfig, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($WebAuthnProviderConfig, $.Cardinality.Many), null); - -export type $WebAuthnRegistrationChallengeλShape = $.typeutil.flatten<$AuditableλShape & { - "challenge": $.PropertyDesc<_std.$bytes, $.Cardinality.One, true, false, false, false>; - "email": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "user_handle": $.PropertyDesc<_std.$bytes, $.Cardinality.One, false, false, false, false>; -}>; -type $WebAuthnRegistrationChallenge = $.ObjectType<"ext::auth::WebAuthnRegistrationChallenge", $WebAuthnRegistrationChallengeλShape, null, [ - ...$Auditable['__exclusives__'], - {user_handle: {__element__: _std.$bytes, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },email: {__element__: _std.$str, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },challenge: {__element__: _std.$bytes, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, - {challenge: {__element__: _std.$bytes, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $WebAuthnRegistrationChallenge = $.makeType<$WebAuthnRegistrationChallenge>(_.spec, "e6627c40-57e9-5dc8-9612-7d983ec18e2a", _.syntax.literal); - -const WebAuthnRegistrationChallenge: $.$expr_PathNode<$.TypeSet<$WebAuthnRegistrationChallenge, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($WebAuthnRegistrationChallenge, $.Cardinality.Many), null); + PlainText: $.$expr_Literal<$SMTPSecurity>; + TLS: $.$expr_Literal<$SMTPSecurity>; + STARTTLS: $.$expr_Literal<$SMTPSecurity>; + STARTTLSOrPlainText: $.$expr_Literal<$SMTPSecurity>; +} & $.EnumType< + "ext::auth::SMTPSecurity", + ["PlainText", "TLS", "STARTTLS", "STARTTLSOrPlainText"] +>; +const SMTPSecurity: $SMTPSecurity = $.makeType<$SMTPSecurity>( + _.spec, + "8a5e3474-0330-56ed-982c-48a4c4921b09", + _.syntax.literal +); + +export type $ProviderConfigλShape = $.typeutil.flatten< + _cfg.$ConfigObjectλShape & { + name: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + true, + false, + true, + false + >; + "; + "; + } +>; +type $ProviderConfig = $.ObjectType< + "ext::auth::ProviderConfig", + $ProviderConfigλShape, + null, + [ + ..._cfg.$ConfigObject["__exclusives__"], + { + name: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $ProviderConfig = $.makeType<$ProviderConfig>( + _.spec, + "594f22fc-bbb1-5588-b7d1-ed498df6ccec", + _.syntax.literal +); + +const ProviderConfig: $.$expr_PathNode< + $.TypeSet<$ProviderConfig, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($ProviderConfig, $.Cardinality.Many), null); + +export type $OAuthProviderConfigλShape = $.typeutil.flatten< + Omit<$ProviderConfigλShape, "name"> & { + name: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + true, + false, + true, + false + >; + secret: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + true, + false + >; + client_id: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + true, + false + >; + display_name: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + true, + false + >; + additional_scope: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + true, + false + >; + } +>; +type $OAuthProviderConfig = $.ObjectType< + "ext::auth::OAuthProviderConfig", + $OAuthProviderConfigλShape, + null, + [ + ...$ProviderConfig["__exclusives__"], + { + name: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $OAuthProviderConfig = $.makeType<$OAuthProviderConfig>( + _.spec, + "848d522a-6d9c-5317-b807-7e9b926f0a66", + _.syntax.literal +); + +const OAuthProviderConfig: $.$expr_PathNode< + $.TypeSet<$OAuthProviderConfig, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($OAuthProviderConfig, $.Cardinality.Many), + null +); + +export type $AppleOAuthProviderλShape = $.typeutil.flatten< + Omit<$OAuthProviderConfigλShape, "name" | "display_name"> & { + name: $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; + display_name: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + true, + true + >; + } +>; +type $AppleOAuthProvider = $.ObjectType< + "ext::auth::AppleOAuthProvider", + $AppleOAuthProviderλShape, + null, + [ + ...$OAuthProviderConfig["__exclusives__"], + { + name: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $AppleOAuthProvider = $.makeType<$AppleOAuthProvider>( + _.spec, + "2059ae30-cb44-51d0-b016-920ef0a691b4", + _.syntax.literal +); + +const AppleOAuthProvider: $.$expr_PathNode< + $.TypeSet<$AppleOAuthProvider, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($AppleOAuthProvider, $.Cardinality.Many), null); + +export type $AuditableλShape = $.typeutil.flatten< + _std.$Object_8ce8c71ee4fa5f73840c22d7eaa58588λShape & { + created_at: $.PropertyDesc< + _std.$datetime, + $.Cardinality.One, + false, + false, + true, + true + >; + modified_at: $.PropertyDesc< + _std.$datetime, + $.Cardinality.One, + false, + false, + false, + false + >; + } +>; +type $Auditable = $.ObjectType< + "ext::auth::Auditable", + $AuditableλShape, + null, + [..._std.$Object_8ce8c71ee4fa5f73840c22d7eaa58588["__exclusives__"]] +>; +const $Auditable = $.makeType<$Auditable>( + _.spec, + "4315a540-bc94-58fa-8e95-a5816e134135", + _.syntax.literal +); + +const Auditable: $.$expr_PathNode< + $.TypeSet<$Auditable, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Auditable, $.Cardinality.Many), null); + +export type $AuthConfigλShape = $.typeutil.flatten< + _cfg.$ExtensionConfigλShape & { + providers: $.LinkDesc< + $ProviderConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + ui: $.LinkDesc< + $UIConfig, + $.Cardinality.AtMostOne, + {}, + false, + false, + false, + false + >; + app_name: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + logo_url: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + dark_logo_url: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + brand_color: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + auth_signing_key: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + token_time_to_live: $.PropertyDesc< + _std.$duration, + $.Cardinality.AtMostOne, + false, + false, + false, + true + >; + allowed_redirect_urls: $.PropertyDesc< + _std.$str, + $.Cardinality.Many, + false, + false, + false, + false + >; + } +>; +type $AuthConfig = $.ObjectType< + "ext::auth::AuthConfig", + $AuthConfigλShape, + null, + [..._cfg.$ExtensionConfig["__exclusives__"]] +>; +const $AuthConfig = $.makeType<$AuthConfig>( + _.spec, + "3e1bc003-0fc3-5ff8-9064-26627924dca5", + _.syntax.literal +); + +const AuthConfig: $.$expr_PathNode< + $.TypeSet<$AuthConfig, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($AuthConfig, $.Cardinality.Many), null); + +export type $AzureOAuthProviderλShape = $.typeutil.flatten< + Omit<$OAuthProviderConfigλShape, "name" | "display_name"> & { + name: $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; + display_name: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + true, + true + >; + } +>; +type $AzureOAuthProvider = $.ObjectType< + "ext::auth::AzureOAuthProvider", + $AzureOAuthProviderλShape, + null, + [ + ...$OAuthProviderConfig["__exclusives__"], + { + name: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $AzureOAuthProvider = $.makeType<$AzureOAuthProvider>( + _.spec, + "8e5252c0-063b-5112-8228-ec339ac035a7", + _.syntax.literal +); + +const AzureOAuthProvider: $.$expr_PathNode< + $.TypeSet<$AzureOAuthProvider, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($AzureOAuthProvider, $.Cardinality.Many), null); + +export type $IdentityλShape = $.typeutil.flatten< + $AuditableλShape & { + issuer: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + subject: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + "; + "; + "; + "; + "; + } +>; +type $Identity = $.ObjectType< + "ext::auth::Identity", + $IdentityλShape, + null, + [ + ...$Auditable["__exclusives__"], + { + issuer: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + subject: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $Identity = $.makeType<$Identity>( + _.spec, + "6801b916-bb3e-57eb-a156-c53c7623c210", + _.syntax.literal +); + +const Identity: $.$expr_PathNode< + $.TypeSet<$Identity, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Identity, $.Cardinality.Many), null); + +export type $ClientTokenIdentityλShape = $.typeutil.flatten< + $IdentityλShape & {} +>; +type $ClientTokenIdentity = $.ObjectType< + "ext::auth::ClientTokenIdentity", + $ClientTokenIdentityλShape, + null, + [...$Identity["__exclusives__"]] +>; +const $ClientTokenIdentity = $.makeType<$ClientTokenIdentity>( + _.spec, + "00f11fb6-7aba-5a64-8e54-a0500877b6c7", + _.syntax.literal +); + +const ClientTokenIdentity: $.$expr_PathNode< + $.TypeSet<$ClientTokenIdentity, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($ClientTokenIdentity, $.Cardinality.Many), + null +); + +export type $DiscordOAuthProviderλShape = $.typeutil.flatten< + Omit<$OAuthProviderConfigλShape, "name" | "display_name"> & { + name: $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; + display_name: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + true, + true + >; + } +>; +type $DiscordOAuthProvider = $.ObjectType< + "ext::auth::DiscordOAuthProvider", + $DiscordOAuthProviderλShape, + null, + [ + ...$OAuthProviderConfig["__exclusives__"], + { + name: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $DiscordOAuthProvider = $.makeType<$DiscordOAuthProvider>( + _.spec, + "1211be9e-fb63-560a-be54-e82f7520fc35", + _.syntax.literal +); + +const DiscordOAuthProvider: $.$expr_PathNode< + $.TypeSet<$DiscordOAuthProvider, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($DiscordOAuthProvider, $.Cardinality.Many), + null +); + +export type $FactorλShape = $.typeutil.flatten< + $AuditableλShape & { + identity: $.LinkDesc< + $LocalIdentity, + $.Cardinality.One, + {}, + true, + false, + false, + false + >; + } +>; +type $Factor = $.ObjectType< + "ext::auth::Factor", + $FactorλShape, + null, + [ + ...$Auditable["__exclusives__"], + { + identity: { + __element__: $LocalIdentity; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $Factor = $.makeType<$Factor>( + _.spec, + "5a4c113f-3892-5708-bf83-696857e64305", + _.syntax.literal +); + +const Factor: $.$expr_PathNode< + $.TypeSet<$Factor, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Factor, $.Cardinality.Many), null); + +export type $EmailFactorλShape = $.typeutil.flatten< + $FactorλShape & { + email: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + verified_at: $.PropertyDesc< + _std.$datetime, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + } +>; +type $EmailFactor = $.ObjectType< + "ext::auth::EmailFactor", + $EmailFactorλShape, + null, + [...$Factor["__exclusives__"]] +>; +const $EmailFactor = $.makeType<$EmailFactor>( + _.spec, + "c8e5d5f3-fced-5e92-a040-af0ef7991888", + _.syntax.literal +); + +const EmailFactor: $.$expr_PathNode< + $.TypeSet<$EmailFactor, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($EmailFactor, $.Cardinality.Many), null); + +export type $EmailPasswordFactorλShape = $.typeutil.flatten< + Omit<$EmailFactorλShape, "email"> & { + email: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + true, + false, + false, + false + >; + password_hash: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + } +>; +type $EmailPasswordFactor = $.ObjectType< + "ext::auth::EmailPasswordFactor", + $EmailPasswordFactorλShape, + null, + [ + ...$EmailFactor["__exclusives__"], + { + email: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $EmailPasswordFactor = $.makeType<$EmailPasswordFactor>( + _.spec, + "177397b5-4749-5b76-8062-813313551a8f", + _.syntax.literal +); + +const EmailPasswordFactor: $.$expr_PathNode< + $.TypeSet<$EmailPasswordFactor, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($EmailPasswordFactor, $.Cardinality.Many), + null +); + +export type $EmailPasswordProviderConfigλShape = $.typeutil.flatten< + Omit<$ProviderConfigλShape, "name"> & { + name: $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; + require_verification: $.PropertyDesc< + _std.$bool, + $.Cardinality.One, + false, + false, + false, + true + >; + } +>; +type $EmailPasswordProviderConfig = $.ObjectType< + "ext::auth::EmailPasswordProviderConfig", + $EmailPasswordProviderConfigλShape, + null, + [ + ...$ProviderConfig["__exclusives__"], + { + name: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $EmailPasswordProviderConfig = $.makeType<$EmailPasswordProviderConfig>( + _.spec, + "f58a65af-0293-5623-87f9-3e79d77665b7", + _.syntax.literal +); + +const EmailPasswordProviderConfig: $.$expr_PathNode< + $.TypeSet<$EmailPasswordProviderConfig, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($EmailPasswordProviderConfig, $.Cardinality.Many), + null +); + +export type $GitHubOAuthProviderλShape = $.typeutil.flatten< + Omit<$OAuthProviderConfigλShape, "name" | "display_name"> & { + name: $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; + display_name: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + true, + true + >; + } +>; +type $GitHubOAuthProvider = $.ObjectType< + "ext::auth::GitHubOAuthProvider", + $GitHubOAuthProviderλShape, + null, + [ + ...$OAuthProviderConfig["__exclusives__"], + { + name: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $GitHubOAuthProvider = $.makeType<$GitHubOAuthProvider>( + _.spec, + "65ca9461-dbf9-5c42-8dd8-8e13e6bad184", + _.syntax.literal +); + +const GitHubOAuthProvider: $.$expr_PathNode< + $.TypeSet<$GitHubOAuthProvider, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($GitHubOAuthProvider, $.Cardinality.Many), + null +); + +export type $GoogleOAuthProviderλShape = $.typeutil.flatten< + Omit<$OAuthProviderConfigλShape, "name" | "display_name"> & { + name: $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; + display_name: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + true, + true + >; + } +>; +type $GoogleOAuthProvider = $.ObjectType< + "ext::auth::GoogleOAuthProvider", + $GoogleOAuthProviderλShape, + null, + [ + ...$OAuthProviderConfig["__exclusives__"], + { + name: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $GoogleOAuthProvider = $.makeType<$GoogleOAuthProvider>( + _.spec, + "ec577bc3-ecb3-5446-96ca-3842d9183f2f", + _.syntax.literal +); + +const GoogleOAuthProvider: $.$expr_PathNode< + $.TypeSet<$GoogleOAuthProvider, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($GoogleOAuthProvider, $.Cardinality.Many), + null +); + +export type $LocalIdentityλShape = $.typeutil.flatten< + Omit<$IdentityλShape, "subject" | " & { + subject: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + "; + "; + "; + "; + "; + "; + } +>; +type $LocalIdentity = $.ObjectType< + "ext::auth::LocalIdentity", + $LocalIdentityλShape, + null, + [...$Identity["__exclusives__"]] +>; +const $LocalIdentity = $.makeType<$LocalIdentity>( + _.spec, + "78ff164d-0c30-56a8-8baa-73824f6d68c6", + _.syntax.literal +); + +const LocalIdentity: $.$expr_PathNode< + $.TypeSet<$LocalIdentity, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($LocalIdentity, $.Cardinality.Many), null); + +export type $MagicLinkFactorλShape = $.typeutil.flatten< + Omit<$EmailFactorλShape, "email"> & { + email: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + true, + false, + false, + false + >; + } +>; +type $MagicLinkFactor = $.ObjectType< + "ext::auth::MagicLinkFactor", + $MagicLinkFactorλShape, + null, + [ + ...$EmailFactor["__exclusives__"], + { + email: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $MagicLinkFactor = $.makeType<$MagicLinkFactor>( + _.spec, + "2e73616f-1385-54a2-9105-0381fedd24c6", + _.syntax.literal +); + +const MagicLinkFactor: $.$expr_PathNode< + $.TypeSet<$MagicLinkFactor, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($MagicLinkFactor, $.Cardinality.Many), null); + +export type $MagicLinkProviderConfigλShape = $.typeutil.flatten< + Omit<$ProviderConfigλShape, "name"> & { + name: $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; + token_time_to_live: $.PropertyDesc< + _std.$duration, + $.Cardinality.One, + false, + false, + false, + true + >; + } +>; +type $MagicLinkProviderConfig = $.ObjectType< + "ext::auth::MagicLinkProviderConfig", + $MagicLinkProviderConfigλShape, + null, + [ + ...$ProviderConfig["__exclusives__"], + { + name: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $MagicLinkProviderConfig = $.makeType<$MagicLinkProviderConfig>( + _.spec, + "94669beb-b17f-5923-b1ce-42cdbaba861b", + _.syntax.literal +); + +const MagicLinkProviderConfig: $.$expr_PathNode< + $.TypeSet<$MagicLinkProviderConfig, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($MagicLinkProviderConfig, $.Cardinality.Many), + null +); + +export type $PKCEChallengeλShape = $.typeutil.flatten< + $AuditableλShape & { + challenge: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + true, + false, + false, + false + >; + auth_token: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + refresh_token: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + identity: $.LinkDesc< + $Identity, + $.Cardinality.AtMostOne, + {}, + false, + false, + false, + false + >; + } +>; +type $PKCEChallenge = $.ObjectType< + "ext::auth::PKCEChallenge", + $PKCEChallengeλShape, + null, + [ + ...$Auditable["__exclusives__"], + { + challenge: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $PKCEChallenge = $.makeType<$PKCEChallenge>( + _.spec, + "559cb828-957b-5cfc-bddb-f74adc5c71be", + _.syntax.literal +); + +const PKCEChallenge: $.$expr_PathNode< + $.TypeSet<$PKCEChallenge, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($PKCEChallenge, $.Cardinality.Many), null); + +export type $SMTPConfigλShape = $.typeutil.flatten< + _cfg.$ExtensionConfigλShape & { + sender: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + host: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + port: $.PropertyDesc< + _std.$int32, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + username: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + password: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + security: $.PropertyDesc< + $SMTPSecurity, + $.Cardinality.One, + false, + false, + false, + true + >; + validate_certs: $.PropertyDesc< + _std.$bool, + $.Cardinality.One, + false, + false, + false, + true + >; + timeout_per_email: $.PropertyDesc< + _std.$duration, + $.Cardinality.One, + false, + false, + false, + true + >; + timeout_per_attempt: $.PropertyDesc< + _std.$duration, + $.Cardinality.One, + false, + false, + false, + true + >; + } +>; +type $SMTPConfig = $.ObjectType< + "ext::auth::SMTPConfig", + $SMTPConfigλShape, + null, + [..._cfg.$ExtensionConfig["__exclusives__"]] +>; +const $SMTPConfig = $.makeType<$SMTPConfig>( + _.spec, + "ac309d52-5057-5d9f-8d0a-1a4b202a320e", + _.syntax.literal +); + +const SMTPConfig: $.$expr_PathNode< + $.TypeSet<$SMTPConfig, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($SMTPConfig, $.Cardinality.Many), null); + +export type $SlackOAuthProviderλShape = $.typeutil.flatten< + Omit<$OAuthProviderConfigλShape, "name" | "display_name"> & { + name: $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; + display_name: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + true, + true + >; + } +>; +type $SlackOAuthProvider = $.ObjectType< + "ext::auth::SlackOAuthProvider", + $SlackOAuthProviderλShape, + null, + [ + ...$OAuthProviderConfig["__exclusives__"], + { + name: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $SlackOAuthProvider = $.makeType<$SlackOAuthProvider>( + _.spec, + "9952c73b-751a-59ae-b367-753d9e9ee215", + _.syntax.literal +); + +const SlackOAuthProvider: $.$expr_PathNode< + $.TypeSet<$SlackOAuthProvider, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($SlackOAuthProvider, $.Cardinality.Many), null); + +export type $UIConfigλShape = $.typeutil.flatten< + _cfg.$ConfigObjectλShape & { + redirect_to: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + redirect_to_on_signup: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + flow_type: $.PropertyDesc< + $FlowType, + $.Cardinality.One, + false, + false, + false, + true + >; + app_name: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + logo_url: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + dark_logo_url: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + brand_color: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + "; + "; + } +>; +type $UIConfig = $.ObjectType< + "ext::auth::UIConfig", + $UIConfigλShape, + null, + [..._cfg.$ConfigObject["__exclusives__"]] +>; +const $UIConfig = $.makeType<$UIConfig>( + _.spec, + "594c2313-d943-51c0-a6bb-d9d367926838", + _.syntax.literal +); + +const UIConfig: $.$expr_PathNode< + $.TypeSet<$UIConfig, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($UIConfig, $.Cardinality.Many), null); + +export type $WebAuthnAuthenticationChallengeλShape = $.typeutil.flatten< + $AuditableλShape & { + challenge: $.PropertyDesc< + _std.$bytes, + $.Cardinality.One, + true, + false, + false, + false + >; + factors: $.LinkDesc< + $WebAuthnFactor, + $.Cardinality.AtLeastOne, + {}, + true, + false, + false, + false + >; + } +>; +type $WebAuthnAuthenticationChallenge = $.ObjectType< + "ext::auth::WebAuthnAuthenticationChallenge", + $WebAuthnAuthenticationChallengeλShape, + null, + [ + ...$Auditable["__exclusives__"], + { + challenge: { + __element__: _std.$bytes; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + }, + { + factors: { + __element__: $WebAuthnFactor; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $WebAuthnAuthenticationChallenge = + $.makeType<$WebAuthnAuthenticationChallenge>( + _.spec, + "ffb4afce-f9e9-5494-83e4-d9ab262ad48e", + _.syntax.literal + ); + +const WebAuthnAuthenticationChallenge: $.$expr_PathNode< + $.TypeSet<$WebAuthnAuthenticationChallenge, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($WebAuthnAuthenticationChallenge, $.Cardinality.Many), + null +); + +export type $WebAuthnFactorλShape = $.typeutil.flatten< + $EmailFactorλShape & { + user_handle: $.PropertyDesc< + _std.$bytes, + $.Cardinality.One, + false, + false, + false, + false + >; + credential_id: $.PropertyDesc< + _std.$bytes, + $.Cardinality.One, + true, + false, + false, + false + >; + public_key: $.PropertyDesc< + _std.$bytes, + $.Cardinality.One, + true, + false, + false, + false + >; + "; + "; + } +>; +type $WebAuthnFactor = $.ObjectType< + "ext::auth::WebAuthnFactor", + $WebAuthnFactorλShape, + null, + [ + ...$EmailFactor["__exclusives__"], + { + public_key: { + __element__: _std.$bytes; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + }, + { + credential_id: { + __element__: _std.$bytes; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $WebAuthnFactor = $.makeType<$WebAuthnFactor>( + _.spec, + "565eca61-74f2-562e-ab89-733402d7ed0f", + _.syntax.literal +); + +const WebAuthnFactor: $.$expr_PathNode< + $.TypeSet<$WebAuthnFactor, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($WebAuthnFactor, $.Cardinality.Many), null); + +export type $WebAuthnProviderConfigλShape = $.typeutil.flatten< + Omit<$ProviderConfigλShape, "name"> & { + name: $.PropertyDesc<_std.$str, $.Cardinality.One, true, false, true, true>; + relying_party_origin: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + require_verification: $.PropertyDesc< + _std.$bool, + $.Cardinality.One, + false, + false, + false, + true + >; + } +>; +type $WebAuthnProviderConfig = $.ObjectType< + "ext::auth::WebAuthnProviderConfig", + $WebAuthnProviderConfigλShape, + null, + [ + ...$ProviderConfig["__exclusives__"], + { + name: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $WebAuthnProviderConfig = $.makeType<$WebAuthnProviderConfig>( + _.spec, + "0e105468-3e50-5c03-881d-4c2446b93ee1", + _.syntax.literal +); + +const WebAuthnProviderConfig: $.$expr_PathNode< + $.TypeSet<$WebAuthnProviderConfig, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($WebAuthnProviderConfig, $.Cardinality.Many), + null +); + +export type $WebAuthnRegistrationChallengeλShape = $.typeutil.flatten< + $AuditableλShape & { + challenge: $.PropertyDesc< + _std.$bytes, + $.Cardinality.One, + true, + false, + false, + false + >; + email: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + user_handle: $.PropertyDesc< + _std.$bytes, + $.Cardinality.One, + false, + false, + false, + false + >; + } +>; +type $WebAuthnRegistrationChallenge = $.ObjectType< + "ext::auth::WebAuthnRegistrationChallenge", + $WebAuthnRegistrationChallengeλShape, + null, + [ + ...$Auditable["__exclusives__"], + { + user_handle: { + __element__: _std.$bytes; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + email: { + __element__: _std.$str; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + challenge: { + __element__: _std.$bytes; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + }, + { + challenge: { + __element__: _std.$bytes; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $WebAuthnRegistrationChallenge = + $.makeType<$WebAuthnRegistrationChallenge>( + _.spec, + "e6627c40-57e9-5dc8-9612-7d983ec18e2a", + _.syntax.literal + ); + +const WebAuthnRegistrationChallenge: $.$expr_PathNode< + $.TypeSet<$WebAuthnRegistrationChallenge, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($WebAuthnRegistrationChallenge, $.Cardinality.Many), + null +); type signing_key_existsλFuncExpr = $.$expr_Function< - _std.$bool, $.Cardinality.One + _std.$bool, + $.Cardinality.One >; function signing_key_exists(): signing_key_existsλFuncExpr; function signing_key_exists(...args: any[]) { - const {returnType, cardinality, args: positionalArgs, namedArgs} = _.syntax.$resolveOverload('ext::auth::signing_key_exists', args, _.spec, [ - {args: [], returnTypeId: "00000000-0000-0000-0000-000000000109"}, + const { + returnType, + cardinality, + args: positionalArgs, + namedArgs, + } = _.syntax.$resolveOverload("ext::auth::signing_key_exists", args, _.spec, [ + { args: [], returnTypeId: "00000000-0000-0000-0000-000000000109" }, ]); return _.syntax.$expressionify({ __kind__: $.ExpressionKind.Function, @@ -388,28 +1504,79 @@ function signing_key_exists(...args: any[]) { __args__: positionalArgs, __namedargs__: namedArgs, }) as any; -}; +} type jwt_check_signature_afb44ddf133051a39d0871812371dd10λFuncExpr< - P1 extends $.TypeSet<$.NamedTupleType<{header: _std.$str, payload: _std.$str, signature: _std.$str}>>, + P1 extends $.TypeSet< + $.NamedTupleType<{ + header: _std.$str; + payload: _std.$str; + signature: _std.$str; + }> + >, P2 extends _.castMaps.orScalarLiteral<$.TypeSet<_std.$str>>, - P3 extends _.castMaps.orScalarLiteral<$.TypeSet<$JWTAlgo>> | undefined, + P3 extends _.castMaps.orScalarLiteral<$.TypeSet<$JWTAlgo>> | undefined > = $.$expr_Function< - _std.$json, $.cardutil.multiplyCardinalities<$.cardutil.multiplyCardinalities<$.cardutil.paramCardinality, $.cardutil.paramCardinality>, $.cardutil.optionalParamCardinality> + _std.$json, + $.cardutil.multiplyCardinalities< + $.cardutil.multiplyCardinalities< + $.cardutil.paramCardinality, + $.cardutil.paramCardinality + >, + $.cardutil.optionalParamCardinality + > >; function jwt_check_signature_afb44ddf133051a39d0871812371dd10< - P1 extends $.TypeSet<$.NamedTupleType<{header: _std.$str, payload: _std.$str, signature: _std.$str}>>, + P1 extends $.TypeSet< + $.NamedTupleType<{ + header: _std.$str; + payload: _std.$str; + signature: _std.$str; + }> + >, P2 extends _.castMaps.orScalarLiteral<$.TypeSet<_std.$str>>, - P3 extends _.castMaps.orScalarLiteral<$.TypeSet<$JWTAlgo>> | undefined, + P3 extends _.castMaps.orScalarLiteral<$.TypeSet<$JWTAlgo>> | undefined >( jwt: P1, key: P2, - algo?: P3, + algo?: P3 ): jwt_check_signature_afb44ddf133051a39d0871812371dd10λFuncExpr; function jwt_check_signature_afb44ddf133051a39d0871812371dd10(...args: any[]) { - const {returnType, cardinality, args: positionalArgs, namedArgs} = _.syntax.$resolveOverload('ext::auth::_jwt_check_signature', args, _.spec, [ - {args: [{typeId: "7bfb0106-9442-58d3-9fe3-3c204e331351", optional: false, setoftype: false, variadic: false}, {typeId: "00000000-0000-0000-0000-000000000101", optional: false, setoftype: false, variadic: false}, {typeId: "14113b4e-86a8-5b08-8ee9-9cfc1c7dc1e8", optional: true, setoftype: false, variadic: false}], returnTypeId: "00000000-0000-0000-0000-00000000010f"}, - ]); + const { + returnType, + cardinality, + args: positionalArgs, + namedArgs, + } = _.syntax.$resolveOverload( + "ext::auth::_jwt_check_signature", + args, + _.spec, + [ + { + args: [ + { + typeId: "7bfb0106-9442-58d3-9fe3-3c204e331351", + optional: false, + setoftype: false, + variadic: false, + }, + { + typeId: "00000000-0000-0000-0000-000000000101", + optional: false, + setoftype: false, + variadic: false, + }, + { + typeId: "14113b4e-86a8-5b08-8ee9-9cfc1c7dc1e8", + optional: true, + setoftype: false, + variadic: false, + }, + ], + returnTypeId: "00000000-0000-0000-0000-00000000010f", + }, + ] + ); return _.syntax.$expressionify({ __kind__: $.ExpressionKind.Function, __element__: returnType, @@ -418,21 +1585,39 @@ function jwt_check_signature_afb44ddf133051a39d0871812371dd10(...args: any[]) { __args__: positionalArgs, __namedargs__: namedArgs, }) as any; -}; +} type jwt_parse_08a86a788cea56a9b555b4a881b5e569λFuncExpr< - P1 extends _.castMaps.orScalarLiteral<$.TypeSet<_std.$str>>, + P1 extends _.castMaps.orScalarLiteral<$.TypeSet<_std.$str>> > = $.$expr_Function< - $.NamedTupleType<{header: _std.$str, payload: _std.$str, signature: _std.$str}>, $.cardutil.paramCardinality + $.NamedTupleType<{ + header: _std.$str; + payload: _std.$str; + signature: _std.$str; + }>, + $.cardutil.paramCardinality >; function jwt_parse_08a86a788cea56a9b555b4a881b5e569< - P1 extends _.castMaps.orScalarLiteral<$.TypeSet<_std.$str>>, ->( - token: P1, -): jwt_parse_08a86a788cea56a9b555b4a881b5e569λFuncExpr; + P1 extends _.castMaps.orScalarLiteral<$.TypeSet<_std.$str>> +>(token: P1): jwt_parse_08a86a788cea56a9b555b4a881b5e569λFuncExpr; function jwt_parse_08a86a788cea56a9b555b4a881b5e569(...args: any[]) { - const {returnType, cardinality, args: positionalArgs, namedArgs} = _.syntax.$resolveOverload('ext::auth::_jwt_parse', args, _.spec, [ - {args: [{typeId: "00000000-0000-0000-0000-000000000101", optional: false, setoftype: false, variadic: false}], returnTypeId: "7bfb0106-9442-58d3-9fe3-3c204e331351"}, + const { + returnType, + cardinality, + args: positionalArgs, + namedArgs, + } = _.syntax.$resolveOverload("ext::auth::_jwt_parse", args, _.spec, [ + { + args: [ + { + typeId: "00000000-0000-0000-0000-000000000101", + optional: false, + setoftype: false, + variadic: false, + }, + ], + returnTypeId: "7bfb0106-9442-58d3-9fe3-3c204e331351", + }, ]); return _.syntax.$expressionify({ __kind__: $.ExpressionKind.Function, @@ -442,27 +1627,61 @@ function jwt_parse_08a86a788cea56a9b555b4a881b5e569(...args: any[]) { __args__: positionalArgs, __namedargs__: namedArgs, }) as any; -}; +} type jwt_verify_75faa5ad758d5502bb04da9b92b99f58λFuncExpr< P1 extends _.castMaps.orScalarLiteral<$.TypeSet<_std.$str>>, P2 extends _.castMaps.orScalarLiteral<$.TypeSet<_std.$str>>, - P3 extends _.castMaps.orScalarLiteral<$.TypeSet<$JWTAlgo>> | undefined, + P3 extends _.castMaps.orScalarLiteral<$.TypeSet<$JWTAlgo>> | undefined > = $.$expr_Function< - _std.$json, $.cardutil.multiplyCardinalities<$.cardutil.multiplyCardinalities<$.cardutil.paramCardinality, $.cardutil.paramCardinality>, $.cardutil.optionalParamCardinality> + _std.$json, + $.cardutil.multiplyCardinalities< + $.cardutil.multiplyCardinalities< + $.cardutil.paramCardinality, + $.cardutil.paramCardinality + >, + $.cardutil.optionalParamCardinality + > >; function jwt_verify_75faa5ad758d5502bb04da9b92b99f58< P1 extends _.castMaps.orScalarLiteral<$.TypeSet<_std.$str>>, P2 extends _.castMaps.orScalarLiteral<$.TypeSet<_std.$str>>, - P3 extends _.castMaps.orScalarLiteral<$.TypeSet<$JWTAlgo>> | undefined, + P3 extends _.castMaps.orScalarLiteral<$.TypeSet<$JWTAlgo>> | undefined >( token: P1, key: P2, - algo?: P3, + algo?: P3 ): jwt_verify_75faa5ad758d5502bb04da9b92b99f58λFuncExpr; function jwt_verify_75faa5ad758d5502bb04da9b92b99f58(...args: any[]) { - const {returnType, cardinality, args: positionalArgs, namedArgs} = _.syntax.$resolveOverload('ext::auth::_jwt_verify', args, _.spec, [ - {args: [{typeId: "00000000-0000-0000-0000-000000000101", optional: false, setoftype: false, variadic: false}, {typeId: "00000000-0000-0000-0000-000000000101", optional: false, setoftype: false, variadic: false}, {typeId: "14113b4e-86a8-5b08-8ee9-9cfc1c7dc1e8", optional: true, setoftype: false, variadic: false}], returnTypeId: "00000000-0000-0000-0000-00000000010f"}, + const { + returnType, + cardinality, + args: positionalArgs, + namedArgs, + } = _.syntax.$resolveOverload("ext::auth::_jwt_verify", args, _.spec, [ + { + args: [ + { + typeId: "00000000-0000-0000-0000-000000000101", + optional: false, + setoftype: false, + variadic: false, + }, + { + typeId: "00000000-0000-0000-0000-000000000101", + optional: false, + setoftype: false, + variadic: false, + }, + { + typeId: "14113b4e-86a8-5b08-8ee9-9cfc1c7dc1e8", + optional: true, + setoftype: false, + variadic: false, + }, + ], + returnTypeId: "00000000-0000-0000-0000-00000000010f", + }, ]); return _.syntax.$expressionify({ __kind__: $.ExpressionKind.Function, @@ -472,98 +1691,168 @@ function jwt_verify_75faa5ad758d5502bb04da9b92b99f58(...args: any[]) { __args__: positionalArgs, __namedargs__: namedArgs, }) as any; +} + +const $ext_auth__globals: { + ClientTokenIdentity: _.syntax.$expr_Global< + // "ext::auth::ClientTokenIdentity", + $ClientTokenIdentity, + $.Cardinality.AtMostOne + >; + client_token: _.syntax.$expr_Global< + // "ext::auth::client_token", + _std.$str, + $.Cardinality.AtMostOne + >; +} = { + ClientTokenIdentity: _.syntax.makeGlobal( + "ext::auth::ClientTokenIdentity", + $.makeType( + _.spec, + "00f11fb6-7aba-5a64-8e54-a0500877b6c7", + _.syntax.literal + ), + $.Cardinality.AtMostOne + ) as any, + client_token: _.syntax.makeGlobal( + "ext::auth::client_token", + $.makeType( + _.spec, + "00000000-0000-0000-0000-000000000101", + _.syntax.literal + ), + $.Cardinality.AtMostOne + ) as any, }; -const $ext_auth__globals: { ClientTokenIdentity: _.syntax.$expr_Global< - // "ext::auth::ClientTokenIdentity", - $ClientTokenIdentity, - $.Cardinality.AtMostOne - >, client_token: _.syntax.$expr_Global< - // "ext::auth::client_token", - _std.$str, - $.Cardinality.AtMostOne - >} = { ClientTokenIdentity: _.syntax.makeGlobal( - "ext::auth::ClientTokenIdentity", - $.makeType(_.spec, "00f11fb6-7aba-5a64-8e54-a0500877b6c7", _.syntax.literal), - $.Cardinality.AtMostOne) as any, client_token: _.syntax.makeGlobal( - "ext::auth::client_token", - $.makeType(_.spec, "00000000-0000-0000-0000-000000000101", _.syntax.literal), - $.Cardinality.AtMostOne) as any}; - - - -export { FlowType, JWTAlgo, SMTPSecurity, $ProviderConfig, ProviderConfig, $OAuthProviderConfig, OAuthProviderConfig, $AppleOAuthProvider, AppleOAuthProvider, $Auditable, Auditable, $AuthConfig, AuthConfig, $AzureOAuthProvider, AzureOAuthProvider, $Identity, Identity, $ClientTokenIdentity, ClientTokenIdentity, $DiscordOAuthProvider, DiscordOAuthProvider, $Factor, Factor, $EmailFactor, EmailFactor, $EmailPasswordFactor, EmailPasswordFactor, $EmailPasswordProviderConfig, EmailPasswordProviderConfig, $GitHubOAuthProvider, GitHubOAuthProvider, $GoogleOAuthProvider, GoogleOAuthProvider, $LocalIdentity, LocalIdentity, $MagicLinkFactor, MagicLinkFactor, $MagicLinkProviderConfig, MagicLinkProviderConfig, $PKCEChallenge, PKCEChallenge, $SMTPConfig, SMTPConfig, $SlackOAuthProvider, SlackOAuthProvider, $UIConfig, UIConfig, $WebAuthnAuthenticationChallenge, WebAuthnAuthenticationChallenge, $WebAuthnFactor, WebAuthnFactor, $WebAuthnProviderConfig, WebAuthnProviderConfig, $WebAuthnRegistrationChallenge, WebAuthnRegistrationChallenge }; +export { + FlowType, + JWTAlgo, + SMTPSecurity, + $ProviderConfig, + ProviderConfig, + $OAuthProviderConfig, + OAuthProviderConfig, + $AppleOAuthProvider, + AppleOAuthProvider, + $Auditable, + Auditable, + $AuthConfig, + AuthConfig, + $AzureOAuthProvider, + AzureOAuthProvider, + $Identity, + Identity, + $ClientTokenIdentity, + ClientTokenIdentity, + $DiscordOAuthProvider, + DiscordOAuthProvider, + $Factor, + Factor, + $EmailFactor, + EmailFactor, + $EmailPasswordFactor, + EmailPasswordFactor, + $EmailPasswordProviderConfig, + EmailPasswordProviderConfig, + $GitHubOAuthProvider, + GitHubOAuthProvider, + $GoogleOAuthProvider, + GoogleOAuthProvider, + $LocalIdentity, + LocalIdentity, + $MagicLinkFactor, + MagicLinkFactor, + $MagicLinkProviderConfig, + MagicLinkProviderConfig, + $PKCEChallenge, + PKCEChallenge, + $SMTPConfig, + SMTPConfig, + $SlackOAuthProvider, + SlackOAuthProvider, + $UIConfig, + UIConfig, + $WebAuthnAuthenticationChallenge, + WebAuthnAuthenticationChallenge, + $WebAuthnFactor, + WebAuthnFactor, + $WebAuthnProviderConfig, + WebAuthnProviderConfig, + $WebAuthnRegistrationChallenge, + WebAuthnRegistrationChallenge, +}; type __defaultExports = { - "FlowType": typeof FlowType; - "JWTAlgo": typeof JWTAlgo; - "SMTPSecurity": typeof SMTPSecurity; - "ProviderConfig": typeof ProviderConfig; - "OAuthProviderConfig": typeof OAuthProviderConfig; - "AppleOAuthProvider": typeof AppleOAuthProvider; - "Auditable": typeof Auditable; - "AuthConfig": typeof AuthConfig; - "AzureOAuthProvider": typeof AzureOAuthProvider; - "Identity": typeof Identity; - "ClientTokenIdentity": typeof ClientTokenIdentity; - "DiscordOAuthProvider": typeof DiscordOAuthProvider; - "Factor": typeof Factor; - "EmailFactor": typeof EmailFactor; - "EmailPasswordFactor": typeof EmailPasswordFactor; - "EmailPasswordProviderConfig": typeof EmailPasswordProviderConfig; - "GitHubOAuthProvider": typeof GitHubOAuthProvider; - "GoogleOAuthProvider": typeof GoogleOAuthProvider; - "LocalIdentity": typeof LocalIdentity; - "MagicLinkFactor": typeof MagicLinkFactor; - "MagicLinkProviderConfig": typeof MagicLinkProviderConfig; - "PKCEChallenge": typeof PKCEChallenge; - "SMTPConfig": typeof SMTPConfig; - "SlackOAuthProvider": typeof SlackOAuthProvider; - "UIConfig": typeof UIConfig; - "WebAuthnAuthenticationChallenge": typeof WebAuthnAuthenticationChallenge; - "WebAuthnFactor": typeof WebAuthnFactor; - "WebAuthnProviderConfig": typeof WebAuthnProviderConfig; - "WebAuthnRegistrationChallenge": typeof WebAuthnRegistrationChallenge; - "signing_key_exists": typeof signing_key_exists; - "_jwt_check_signature": typeof jwt_check_signature_afb44ddf133051a39d0871812371dd10; - "_jwt_parse": typeof jwt_parse_08a86a788cea56a9b555b4a881b5e569; - "_jwt_verify": typeof jwt_verify_75faa5ad758d5502bb04da9b92b99f58; - "global": typeof $ext_auth__globals + FlowType: typeof FlowType; + JWTAlgo: typeof JWTAlgo; + SMTPSecurity: typeof SMTPSecurity; + ProviderConfig: typeof ProviderConfig; + OAuthProviderConfig: typeof OAuthProviderConfig; + AppleOAuthProvider: typeof AppleOAuthProvider; + Auditable: typeof Auditable; + AuthConfig: typeof AuthConfig; + AzureOAuthProvider: typeof AzureOAuthProvider; + Identity: typeof Identity; + ClientTokenIdentity: typeof ClientTokenIdentity; + DiscordOAuthProvider: typeof DiscordOAuthProvider; + Factor: typeof Factor; + EmailFactor: typeof EmailFactor; + EmailPasswordFactor: typeof EmailPasswordFactor; + EmailPasswordProviderConfig: typeof EmailPasswordProviderConfig; + GitHubOAuthProvider: typeof GitHubOAuthProvider; + GoogleOAuthProvider: typeof GoogleOAuthProvider; + LocalIdentity: typeof LocalIdentity; + MagicLinkFactor: typeof MagicLinkFactor; + MagicLinkProviderConfig: typeof MagicLinkProviderConfig; + PKCEChallenge: typeof PKCEChallenge; + SMTPConfig: typeof SMTPConfig; + SlackOAuthProvider: typeof SlackOAuthProvider; + UIConfig: typeof UIConfig; + WebAuthnAuthenticationChallenge: typeof WebAuthnAuthenticationChallenge; + WebAuthnFactor: typeof WebAuthnFactor; + WebAuthnProviderConfig: typeof WebAuthnProviderConfig; + WebAuthnRegistrationChallenge: typeof WebAuthnRegistrationChallenge; + signing_key_exists: typeof signing_key_exists; + _jwt_check_signature: typeof jwt_check_signature_afb44ddf133051a39d0871812371dd10; + _jwt_parse: typeof jwt_parse_08a86a788cea56a9b555b4a881b5e569; + _jwt_verify: typeof jwt_verify_75faa5ad758d5502bb04da9b92b99f58; + global: typeof $ext_auth__globals; }; const __defaultExports: __defaultExports = { - "FlowType": FlowType, - "JWTAlgo": JWTAlgo, - "SMTPSecurity": SMTPSecurity, - "ProviderConfig": ProviderConfig, - "OAuthProviderConfig": OAuthProviderConfig, - "AppleOAuthProvider": AppleOAuthProvider, - "Auditable": Auditable, - "AuthConfig": AuthConfig, - "AzureOAuthProvider": AzureOAuthProvider, - "Identity": Identity, - "ClientTokenIdentity": ClientTokenIdentity, - "DiscordOAuthProvider": DiscordOAuthProvider, - "Factor": Factor, - "EmailFactor": EmailFactor, - "EmailPasswordFactor": EmailPasswordFactor, - "EmailPasswordProviderConfig": EmailPasswordProviderConfig, - "GitHubOAuthProvider": GitHubOAuthProvider, - "GoogleOAuthProvider": GoogleOAuthProvider, - "LocalIdentity": LocalIdentity, - "MagicLinkFactor": MagicLinkFactor, - "MagicLinkProviderConfig": MagicLinkProviderConfig, - "PKCEChallenge": PKCEChallenge, - "SMTPConfig": SMTPConfig, - "SlackOAuthProvider": SlackOAuthProvider, - "UIConfig": UIConfig, - "WebAuthnAuthenticationChallenge": WebAuthnAuthenticationChallenge, - "WebAuthnFactor": WebAuthnFactor, - "WebAuthnProviderConfig": WebAuthnProviderConfig, - "WebAuthnRegistrationChallenge": WebAuthnRegistrationChallenge, - "signing_key_exists": signing_key_exists, - "_jwt_check_signature": jwt_check_signature_afb44ddf133051a39d0871812371dd10, - "_jwt_parse": jwt_parse_08a86a788cea56a9b555b4a881b5e569, - "_jwt_verify": jwt_verify_75faa5ad758d5502bb04da9b92b99f58, - "global": $ext_auth__globals + FlowType: FlowType, + JWTAlgo: JWTAlgo, + SMTPSecurity: SMTPSecurity, + ProviderConfig: ProviderConfig, + OAuthProviderConfig: OAuthProviderConfig, + AppleOAuthProvider: AppleOAuthProvider, + Auditable: Auditable, + AuthConfig: AuthConfig, + AzureOAuthProvider: AzureOAuthProvider, + Identity: Identity, + ClientTokenIdentity: ClientTokenIdentity, + DiscordOAuthProvider: DiscordOAuthProvider, + Factor: Factor, + EmailFactor: EmailFactor, + EmailPasswordFactor: EmailPasswordFactor, + EmailPasswordProviderConfig: EmailPasswordProviderConfig, + GitHubOAuthProvider: GitHubOAuthProvider, + GoogleOAuthProvider: GoogleOAuthProvider, + LocalIdentity: LocalIdentity, + MagicLinkFactor: MagicLinkFactor, + MagicLinkProviderConfig: MagicLinkProviderConfig, + PKCEChallenge: PKCEChallenge, + SMTPConfig: SMTPConfig, + SlackOAuthProvider: SlackOAuthProvider, + UIConfig: UIConfig, + WebAuthnAuthenticationChallenge: WebAuthnAuthenticationChallenge, + WebAuthnFactor: WebAuthnFactor, + WebAuthnProviderConfig: WebAuthnProviderConfig, + WebAuthnRegistrationChallenge: WebAuthnRegistrationChallenge, + signing_key_exists: signing_key_exists, + _jwt_check_signature: jwt_check_signature_afb44ddf133051a39d0871812371dd10, + _jwt_parse: jwt_parse_08a86a788cea56a9b555b4a881b5e569, + _jwt_verify: jwt_verify_75faa5ad758d5502bb04da9b92b99f58, + global: $ext_auth__globals, }; export default __defaultExports; diff --git a/dbschema/edgeql-js/modules/schema.ts b/dbschema/edgeql-js/modules/schema.ts index 540540b..2884a52 100644 --- a/dbschema/edgeql-js/modules/schema.ts +++ b/dbschema/edgeql-js/modules/schema.ts @@ -7,1034 +7,4560 @@ import type * as _sys from "./sys"; import type * as _cfg from "./cfg"; import type * as _extauth from "./ext/auth"; import type * as _default from "./default"; -import type * as ___default from "./__default"; +import type * as ___default from "./__default_10"; import type * as _discord from "./discord"; export type $AccessKind = { - "Select": $.$expr_Literal<$AccessKind>; - "UpdateRead": $.$expr_Literal<$AccessKind>; - "UpdateWrite": $.$expr_Literal<$AccessKind>; - "Delete": $.$expr_Literal<$AccessKind>; - "Insert": $.$expr_Literal<$AccessKind>; -} & $.EnumType<"schema::AccessKind", ["Select", "UpdateRead", "UpdateWrite", "Delete", "Insert"]>; -const AccessKind: $AccessKind = $.makeType<$AccessKind>(_.spec, "998b88fc-083a-584b-85bb-372ade248f66", _.syntax.literal); + Select: $.$expr_Literal<$AccessKind>; + UpdateRead: $.$expr_Literal<$AccessKind>; + UpdateWrite: $.$expr_Literal<$AccessKind>; + Delete: $.$expr_Literal<$AccessKind>; + Insert: $.$expr_Literal<$AccessKind>; +} & $.EnumType< + "schema::AccessKind", + ["Select", "UpdateRead", "UpdateWrite", "Delete", "Insert"] +>; +const AccessKind: $AccessKind = $.makeType<$AccessKind>( + _.spec, + "998b88fc-083a-584b-85bb-372ade248f66", + _.syntax.literal +); export type $AccessPolicyAction = { - "Allow": $.$expr_Literal<$AccessPolicyAction>; - "Deny": $.$expr_Literal<$AccessPolicyAction>; + Allow: $.$expr_Literal<$AccessPolicyAction>; + Deny: $.$expr_Literal<$AccessPolicyAction>; } & $.EnumType<"schema::AccessPolicyAction", ["Allow", "Deny"]>; -const AccessPolicyAction: $AccessPolicyAction = $.makeType<$AccessPolicyAction>(_.spec, "d8c466cc-109e-587c-aff8-42e50705b5b0", _.syntax.literal); +const AccessPolicyAction: $AccessPolicyAction = $.makeType<$AccessPolicyAction>( + _.spec, + "d8c466cc-109e-587c-aff8-42e50705b5b0", + _.syntax.literal +); export type $Cardinality = { - "One": $.$expr_Literal<$Cardinality>; - "Many": $.$expr_Literal<$Cardinality>; + One: $.$expr_Literal<$Cardinality>; + Many: $.$expr_Literal<$Cardinality>; } & $.EnumType<"schema::Cardinality", ["One", "Many"]>; -const Cardinality: $Cardinality = $.makeType<$Cardinality>(_.spec, "94abc2f6-2e3e-55fc-8e97-b44ba70a3950", _.syntax.literal); +const Cardinality: $Cardinality = $.makeType<$Cardinality>( + _.spec, + "94abc2f6-2e3e-55fc-8e97-b44ba70a3950", + _.syntax.literal +); export type $MigrationGeneratedBy = { - "DevMode": $.$expr_Literal<$MigrationGeneratedBy>; - "DDLStatement": $.$expr_Literal<$MigrationGeneratedBy>; + DevMode: $.$expr_Literal<$MigrationGeneratedBy>; + DDLStatement: $.$expr_Literal<$MigrationGeneratedBy>; } & $.EnumType<"schema::MigrationGeneratedBy", ["DevMode", "DDLStatement"]>; -const MigrationGeneratedBy: $MigrationGeneratedBy = $.makeType<$MigrationGeneratedBy>(_.spec, "8fcfde20-139b-5c17-93b9-9a49512b83dc", _.syntax.literal); +const MigrationGeneratedBy: $MigrationGeneratedBy = + $.makeType<$MigrationGeneratedBy>( + _.spec, + "8fcfde20-139b-5c17-93b9-9a49512b83dc", + _.syntax.literal + ); export type $OperatorKind = { - "Infix": $.$expr_Literal<$OperatorKind>; - "Postfix": $.$expr_Literal<$OperatorKind>; - "Prefix": $.$expr_Literal<$OperatorKind>; - "Ternary": $.$expr_Literal<$OperatorKind>; -} & $.EnumType<"schema::OperatorKind", ["Infix", "Postfix", "Prefix", "Ternary"]>; -const OperatorKind: $OperatorKind = $.makeType<$OperatorKind>(_.spec, "e48403f0-7017-5bf5-ab92-22825d9f1090", _.syntax.literal); + Infix: $.$expr_Literal<$OperatorKind>; + Postfix: $.$expr_Literal<$OperatorKind>; + Prefix: $.$expr_Literal<$OperatorKind>; + Ternary: $.$expr_Literal<$OperatorKind>; +} & $.EnumType< + "schema::OperatorKind", + ["Infix", "Postfix", "Prefix", "Ternary"] +>; +const OperatorKind: $OperatorKind = $.makeType<$OperatorKind>( + _.spec, + "e48403f0-7017-5bf5-ab92-22825d9f1090", + _.syntax.literal +); export type $ParameterKind = { - "VariadicParam": $.$expr_Literal<$ParameterKind>; - "NamedOnlyParam": $.$expr_Literal<$ParameterKind>; - "PositionalParam": $.$expr_Literal<$ParameterKind>; -} & $.EnumType<"schema::ParameterKind", ["VariadicParam", "NamedOnlyParam", "PositionalParam"]>; -const ParameterKind: $ParameterKind = $.makeType<$ParameterKind>(_.spec, "8037d84a-de95-5e63-ab76-727112419261", _.syntax.literal); + VariadicParam: $.$expr_Literal<$ParameterKind>; + NamedOnlyParam: $.$expr_Literal<$ParameterKind>; + PositionalParam: $.$expr_Literal<$ParameterKind>; +} & $.EnumType< + "schema::ParameterKind", + ["VariadicParam", "NamedOnlyParam", "PositionalParam"] +>; +const ParameterKind: $ParameterKind = $.makeType<$ParameterKind>( + _.spec, + "8037d84a-de95-5e63-ab76-727112419261", + _.syntax.literal +); export type $RewriteKind = { - "Update": $.$expr_Literal<$RewriteKind>; - "Insert": $.$expr_Literal<$RewriteKind>; + Update: $.$expr_Literal<$RewriteKind>; + Insert: $.$expr_Literal<$RewriteKind>; } & $.EnumType<"schema::RewriteKind", ["Update", "Insert"]>; -const RewriteKind: $RewriteKind = $.makeType<$RewriteKind>(_.spec, "a06f04aa-88b7-5d9a-b520-b8139fd64d0c", _.syntax.literal); +const RewriteKind: $RewriteKind = $.makeType<$RewriteKind>( + _.spec, + "a06f04aa-88b7-5d9a-b520-b8139fd64d0c", + _.syntax.literal +); export type $SourceDeleteAction = { - "DeleteTarget": $.$expr_Literal<$SourceDeleteAction>; - "Allow": $.$expr_Literal<$SourceDeleteAction>; - "DeleteTargetIfOrphan": $.$expr_Literal<$SourceDeleteAction>; -} & $.EnumType<"schema::SourceDeleteAction", ["DeleteTarget", "Allow", "DeleteTargetIfOrphan"]>; -const SourceDeleteAction: $SourceDeleteAction = $.makeType<$SourceDeleteAction>(_.spec, "1c938388-8739-57a7-8095-cc173226ad8e", _.syntax.literal); + DeleteTarget: $.$expr_Literal<$SourceDeleteAction>; + Allow: $.$expr_Literal<$SourceDeleteAction>; + DeleteTargetIfOrphan: $.$expr_Literal<$SourceDeleteAction>; +} & $.EnumType< + "schema::SourceDeleteAction", + ["DeleteTarget", "Allow", "DeleteTargetIfOrphan"] +>; +const SourceDeleteAction: $SourceDeleteAction = $.makeType<$SourceDeleteAction>( + _.spec, + "1c938388-8739-57a7-8095-cc173226ad8e", + _.syntax.literal +); export type $TargetDeleteAction = { - "Restrict": $.$expr_Literal<$TargetDeleteAction>; - "DeleteSource": $.$expr_Literal<$TargetDeleteAction>; - "Allow": $.$expr_Literal<$TargetDeleteAction>; - "DeferredRestrict": $.$expr_Literal<$TargetDeleteAction>; -} & $.EnumType<"schema::TargetDeleteAction", ["Restrict", "DeleteSource", "Allow", "DeferredRestrict"]>; -const TargetDeleteAction: $TargetDeleteAction = $.makeType<$TargetDeleteAction>(_.spec, "6b925c92-5e48-5e6d-96f2-4125d9119b66", _.syntax.literal); + Restrict: $.$expr_Literal<$TargetDeleteAction>; + DeleteSource: $.$expr_Literal<$TargetDeleteAction>; + Allow: $.$expr_Literal<$TargetDeleteAction>; + DeferredRestrict: $.$expr_Literal<$TargetDeleteAction>; +} & $.EnumType< + "schema::TargetDeleteAction", + ["Restrict", "DeleteSource", "Allow", "DeferredRestrict"] +>; +const TargetDeleteAction: $TargetDeleteAction = $.makeType<$TargetDeleteAction>( + _.spec, + "6b925c92-5e48-5e6d-96f2-4125d9119b66", + _.syntax.literal +); export type $TriggerKind = { - "Update": $.$expr_Literal<$TriggerKind>; - "Delete": $.$expr_Literal<$TriggerKind>; - "Insert": $.$expr_Literal<$TriggerKind>; + Update: $.$expr_Literal<$TriggerKind>; + Delete: $.$expr_Literal<$TriggerKind>; + Insert: $.$expr_Literal<$TriggerKind>; } & $.EnumType<"schema::TriggerKind", ["Update", "Delete", "Insert"]>; -const TriggerKind: $TriggerKind = $.makeType<$TriggerKind>(_.spec, "3c6fa29f-8481-59c9-a9bf-ac30ab50be32", _.syntax.literal); +const TriggerKind: $TriggerKind = $.makeType<$TriggerKind>( + _.spec, + "3c6fa29f-8481-59c9-a9bf-ac30ab50be32", + _.syntax.literal +); export type $TriggerScope = { - "All": $.$expr_Literal<$TriggerScope>; - "Each": $.$expr_Literal<$TriggerScope>; + All: $.$expr_Literal<$TriggerScope>; + Each: $.$expr_Literal<$TriggerScope>; } & $.EnumType<"schema::TriggerScope", ["All", "Each"]>; -const TriggerScope: $TriggerScope = $.makeType<$TriggerScope>(_.spec, "20998fe7-4392-5673-96b5-5f1cd736b5df", _.syntax.literal); +const TriggerScope: $TriggerScope = $.makeType<$TriggerScope>( + _.spec, + "20998fe7-4392-5673-96b5-5f1cd736b5df", + _.syntax.literal +); export type $TriggerTiming = { - "After": $.$expr_Literal<$TriggerTiming>; - "AfterCommitOf": $.$expr_Literal<$TriggerTiming>; + After: $.$expr_Literal<$TriggerTiming>; + AfterCommitOf: $.$expr_Literal<$TriggerTiming>; } & $.EnumType<"schema::TriggerTiming", ["After", "AfterCommitOf"]>; -const TriggerTiming: $TriggerTiming = $.makeType<$TriggerTiming>(_.spec, "a2c7e6ae-370c-53a7-842c-21e238faf3ee", _.syntax.literal); +const TriggerTiming: $TriggerTiming = $.makeType<$TriggerTiming>( + _.spec, + "a2c7e6ae-370c-53a7-842c-21e238faf3ee", + _.syntax.literal +); export type $TypeModifier = { - "SetOfType": $.$expr_Literal<$TypeModifier>; - "OptionalType": $.$expr_Literal<$TypeModifier>; - "SingletonType": $.$expr_Literal<$TypeModifier>; -} & $.EnumType<"schema::TypeModifier", ["SetOfType", "OptionalType", "SingletonType"]>; -const TypeModifier: $TypeModifier = $.makeType<$TypeModifier>(_.spec, "67722d75-1145-54b6-af26-94602de09d51", _.syntax.literal); + SetOfType: $.$expr_Literal<$TypeModifier>; + OptionalType: $.$expr_Literal<$TypeModifier>; + SingletonType: $.$expr_Literal<$TypeModifier>; +} & $.EnumType< + "schema::TypeModifier", + ["SetOfType", "OptionalType", "SingletonType"] +>; +const TypeModifier: $TypeModifier = $.makeType<$TypeModifier>( + _.spec, + "67722d75-1145-54b6-af26-94602de09d51", + _.syntax.literal +); export type $Volatility = { - "Immutable": $.$expr_Literal<$Volatility>; - "Stable": $.$expr_Literal<$Volatility>; - "Volatile": $.$expr_Literal<$Volatility>; + Immutable: $.$expr_Literal<$Volatility>; + Stable: $.$expr_Literal<$Volatility>; + Volatile: $.$expr_Literal<$Volatility>; } & $.EnumType<"schema::Volatility", ["Immutable", "Stable", "Volatile"]>; -const Volatility: $Volatility = $.makeType<$Volatility>(_.spec, "de5b90f2-6e49-5543-991b-28a156c7867f", _.syntax.literal); - -export type $Object_32faaa35947553cf88fce68ecf1be4d9λShape = $.typeutil.flatten<_std.$BaseObjectλShape & { - "name": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "internal": $.PropertyDesc<_std.$bool, $.Cardinality.One, false, false, false, true>; - "builtin": $.PropertyDesc<_std.$bool, $.Cardinality.One, false, false, false, true>; - "computed_fields": $.PropertyDesc<$.ArrayType<_std.$str>, $.Cardinality.AtMostOne, false, false, false, false>; -}>; -type $Object_32faaa35947553cf88fce68ecf1be4d9 = $.ObjectType<"schema::Object", $Object_32faaa35947553cf88fce68ecf1be4d9λShape, null, [ - ..._std.$BaseObject['__exclusives__'], -]>; -const $Object_32faaa35947553cf88fce68ecf1be4d9 = $.makeType<$Object_32faaa35947553cf88fce68ecf1be4d9>(_.spec, "32faaa35-9475-53cf-88fc-e68ecf1be4d9", _.syntax.literal); - -const Object_32faaa35947553cf88fce68ecf1be4d9: $.$expr_PathNode<$.TypeSet<$Object_32faaa35947553cf88fce68ecf1be4d9, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Object_32faaa35947553cf88fce68ecf1be4d9, $.Cardinality.Many), null); - -export type $SubclassableObjectλShape = $.typeutil.flatten<$Object_32faaa35947553cf88fce68ecf1be4d9λShape & { - "abstract": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, true>; - "is_abstract": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, true, false, false>; - "final": $.PropertyDesc<_std.$bool, $.Cardinality.One, false, true, false, false>; - "is_final": $.PropertyDesc<_std.$bool, $.Cardinality.One, false, true, false, false>; -}>; -type $SubclassableObject = $.ObjectType<"schema::SubclassableObject", $SubclassableObjectλShape, null, [ - ...$Object_32faaa35947553cf88fce68ecf1be4d9['__exclusives__'], -]>; -const $SubclassableObject = $.makeType<$SubclassableObject>(_.spec, "145b7b6f-8fa4-5b14-bcd3-5d6d10dc25da", _.syntax.literal); - -const SubclassableObject: $.$expr_PathNode<$.TypeSet<$SubclassableObject, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($SubclassableObject, $.Cardinality.Many), null); - -export type $InheritingObjectλShape = $.typeutil.flatten<$SubclassableObjectλShape & { - "bases": $.LinkDesc<$InheritingObject, $.Cardinality.Many, { - "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; - }, false, false, false, false>; - "ancestors": $.LinkDesc<$InheritingObject, $.Cardinality.Many, { - "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; - }, false, false, false, false>; - "inherited_fields": $.PropertyDesc<$.ArrayType<_std.$str>, $.Cardinality.AtMostOne, false, false, false, false>; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; -}>; -type $InheritingObject = $.ObjectType<"schema::InheritingObject", $InheritingObjectλShape, null, [ - ...$SubclassableObject['__exclusives__'], -]>; -const $InheritingObject = $.makeType<$InheritingObject>(_.spec, "825a1378-6b30-5f15-82f1-1c92e57691f2", _.syntax.literal); - -const InheritingObject: $.$expr_PathNode<$.TypeSet<$InheritingObject, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($InheritingObject, $.Cardinality.Many), null); - -export type $AnnotationSubjectλShape = $.typeutil.flatten<$Object_32faaa35947553cf88fce68ecf1be4d9λShape & { - "annotations": $.LinkDesc<$Annotation, $.Cardinality.Many, { - "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - "@value": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne>; - }, false, false, false, false>; -}>; -type $AnnotationSubject = $.ObjectType<"schema::AnnotationSubject", $AnnotationSubjectλShape, null, [ - ...$Object_32faaa35947553cf88fce68ecf1be4d9['__exclusives__'], -]>; -const $AnnotationSubject = $.makeType<$AnnotationSubject>(_.spec, "970b2d83-85d8-5a46-a4e8-337d28abc12e", _.syntax.literal); - -const AnnotationSubject: $.$expr_PathNode<$.TypeSet<$AnnotationSubject, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($AnnotationSubject, $.Cardinality.Many), null); - -export type $AccessPolicyλShape = $.typeutil.flatten<$InheritingObjectλShape & $AnnotationSubjectλShape & { - "subject": $.LinkDesc<$ObjectType, $.Cardinality.One, {}, false, false, false, false>; - "access_kinds": $.PropertyDesc<$AccessKind, $.Cardinality.Many, false, false, false, false>; - "condition": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "action": $.PropertyDesc<$AccessPolicyAction, $.Cardinality.One, false, false, false, false>; - "expr": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "errmessage": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "; - "; -}>; -type $AccessPolicy = $.ObjectType<"schema::AccessPolicy", $AccessPolicyλShape, null, [ - ...$InheritingObject['__exclusives__'], - ...$AnnotationSubject['__exclusives__'], -]>; -const $AccessPolicy = $.makeType<$AccessPolicy>(_.spec, "a8462073-0539-5640-9d9d-2db251c0b350", _.syntax.literal); - -const AccessPolicy: $.$expr_PathNode<$.TypeSet<$AccessPolicy, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($AccessPolicy, $.Cardinality.Many), null); - -export type $AliasλShape = $.typeutil.flatten<$AnnotationSubjectλShape & { - "expr": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "type": $.LinkDesc<$Type, $.Cardinality.AtMostOne, {}, false, false, false, false>; -}>; -type $Alias = $.ObjectType<"schema::Alias", $AliasλShape, null, [ - ...$AnnotationSubject['__exclusives__'], -]>; -const $Alias = $.makeType<$Alias>(_.spec, "4388400b-e01d-582c-b1da-8161814835a6", _.syntax.literal); - -const Alias: $.$expr_PathNode<$.TypeSet<$Alias, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Alias, $.Cardinality.Many), null); - -export type $AnnotationλShape = $.typeutil.flatten<$InheritingObjectλShape & $AnnotationSubjectλShape & { - "inheritable": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, false>; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; -}>; -type $Annotation = $.ObjectType<"schema::Annotation", $AnnotationλShape, null, [ - ...$InheritingObject['__exclusives__'], - ...$AnnotationSubject['__exclusives__'], -]>; -const $Annotation = $.makeType<$Annotation>(_.spec, "273b8735-318f-53f6-9297-6f20162c9105", _.syntax.literal); - -const Annotation: $.$expr_PathNode<$.TypeSet<$Annotation, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Annotation, $.Cardinality.Many), null); - -export type $TypeλShape = $.typeutil.flatten<$SubclassableObjectλShape & $AnnotationSubjectλShape & { - "expr": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "from_alias": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, false>; - "is_from_alias": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, true, false, false>; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; - "; -}>; -type $Type = $.ObjectType<"schema::Type", $TypeλShape, null, [ - ...$SubclassableObject['__exclusives__'], - ...$AnnotationSubject['__exclusives__'], -]>; -const $Type = $.makeType<$Type>(_.spec, "8e652319-e551-5b5c-a7bd-9591f0ef5303", _.syntax.literal); - -const Type: $.$expr_PathNode<$.TypeSet<$Type, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Type, $.Cardinality.Many), null); - -export type $PrimitiveTypeλShape = $.typeutil.flatten<$TypeλShape & { -}>; -type $PrimitiveType = $.ObjectType<"schema::PrimitiveType", $PrimitiveTypeλShape, null, [ - ...$Type['__exclusives__'], -]>; -const $PrimitiveType = $.makeType<$PrimitiveType>(_.spec, "da26fa09-3541-5cba-b93f-d5ba58d25589", _.syntax.literal); - -const PrimitiveType: $.$expr_PathNode<$.TypeSet<$PrimitiveType, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($PrimitiveType, $.Cardinality.Many), null); - -export type $CollectionTypeλShape = $.typeutil.flatten<$PrimitiveTypeλShape & { -}>; -type $CollectionType = $.ObjectType<"schema::CollectionType", $CollectionTypeλShape, null, [ - ...$PrimitiveType['__exclusives__'], -]>; -const $CollectionType = $.makeType<$CollectionType>(_.spec, "e3a7ccf7-4a20-5151-80b3-5156c9373889", _.syntax.literal); - -const CollectionType: $.$expr_PathNode<$.TypeSet<$CollectionType, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($CollectionType, $.Cardinality.Many), null); - -export type $ArrayλShape = $.typeutil.flatten<$CollectionTypeλShape & { - "element_type": $.LinkDesc<$Type, $.Cardinality.One, {}, false, false, false, false>; - "dimensions": $.PropertyDesc<$.ArrayType<_std.$int16>, $.Cardinality.AtMostOne, false, false, false, false>; -}>; -type $Array = $.ObjectType<"schema::Array", $ArrayλShape, null, [ - ...$CollectionType['__exclusives__'], -]>; -const $Array = $.makeType<$Array>(_.spec, "283cc7a9-7bf6-5eda-a323-b4e5173f2927", _.syntax.literal); - -const Array: $.$expr_PathNode<$.TypeSet<$Array, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Array, $.Cardinality.Many), null); - -export type $ArrayExprAliasλShape = $.typeutil.flatten<$ArrayλShape & { -}>; -type $ArrayExprAlias = $.ObjectType<"schema::ArrayExprAlias", $ArrayExprAliasλShape, null, [ - ...$Array['__exclusives__'], -]>; -const $ArrayExprAlias = $.makeType<$ArrayExprAlias>(_.spec, "2e55d7f5-18ed-54b4-ade0-ba404dd482d3", _.syntax.literal); - -const ArrayExprAlias: $.$expr_PathNode<$.TypeSet<$ArrayExprAlias, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($ArrayExprAlias, $.Cardinality.Many), null); - -export type $CallableObjectλShape = $.typeutil.flatten<$AnnotationSubjectλShape & { - "params": $.LinkDesc<$Parameter, $.Cardinality.Many, { - "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; - }, false, false, false, false>; - "return_type": $.LinkDesc<$Type, $.Cardinality.AtMostOne, {}, false, false, false, false>; - "return_typemod": $.PropertyDesc<$TypeModifier, $.Cardinality.AtMostOne, false, false, false, false>; -}>; -type $CallableObject = $.ObjectType<"schema::CallableObject", $CallableObjectλShape, null, [ - ...$AnnotationSubject['__exclusives__'], -]>; -const $CallableObject = $.makeType<$CallableObject>(_.spec, "800f2df9-dd86-5681-9e3c-b529af481a9d", _.syntax.literal); - -const CallableObject: $.$expr_PathNode<$.TypeSet<$CallableObject, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($CallableObject, $.Cardinality.Many), null); - -export type $VolatilitySubjectλShape = $.typeutil.flatten<$Object_32faaa35947553cf88fce68ecf1be4d9λShape & { - "volatility": $.PropertyDesc<$Volatility, $.Cardinality.AtMostOne, false, false, false, true>; -}>; -type $VolatilitySubject = $.ObjectType<"schema::VolatilitySubject", $VolatilitySubjectλShape, null, [ - ...$Object_32faaa35947553cf88fce68ecf1be4d9['__exclusives__'], -]>; -const $VolatilitySubject = $.makeType<$VolatilitySubject>(_.spec, "ed8e20ca-f2dc-5626-bccb-05ef9ed65791", _.syntax.literal); - -const VolatilitySubject: $.$expr_PathNode<$.TypeSet<$VolatilitySubject, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($VolatilitySubject, $.Cardinality.Many), null); - -export type $CastλShape = $.typeutil.flatten<$AnnotationSubjectλShape & $VolatilitySubjectλShape & { - "from_type": $.LinkDesc<$Type, $.Cardinality.AtMostOne, {}, false, false, false, false>; - "to_type": $.LinkDesc<$Type, $.Cardinality.AtMostOne, {}, false, false, false, false>; - "allow_implicit": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, false>; - "allow_assignment": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, false>; -}>; -type $Cast = $.ObjectType<"schema::Cast", $CastλShape, null, [ - ...$AnnotationSubject['__exclusives__'], - ...$VolatilitySubject['__exclusives__'], -]>; -const $Cast = $.makeType<$Cast>(_.spec, "2b25c5a4-5ad4-5c4b-b545-574ccac3fd7f", _.syntax.literal); - -const Cast: $.$expr_PathNode<$.TypeSet<$Cast, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Cast, $.Cardinality.Many), null); - -export type $ConsistencySubjectλShape = $.typeutil.flatten<$InheritingObjectλShape & $AnnotationSubjectλShape & { - "constraints": $.LinkDesc<$Constraint, $.Cardinality.Many, { - "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - }, true, false, false, false>; - "; - "; -}>; -type $ConsistencySubject = $.ObjectType<"schema::ConsistencySubject", $ConsistencySubjectλShape, null, [ - ...$InheritingObject['__exclusives__'], - ...$AnnotationSubject['__exclusives__'], - {constraints: {__element__: $Constraint, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $ConsistencySubject = $.makeType<$ConsistencySubject>(_.spec, "883ec593-7428-5707-af16-d446e5d8ed28", _.syntax.literal); - -const ConsistencySubject: $.$expr_PathNode<$.TypeSet<$ConsistencySubject, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($ConsistencySubject, $.Cardinality.Many), null); - -export type $ConstraintλShape = $.typeutil.flatten & $InheritingObjectλShape & { - "params": $.LinkDesc<$Parameter, $.Cardinality.Many, { - "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; - "@value": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne>; - }, false, false, false, false>; - "expr": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "subjectexpr": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "finalexpr": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "errmessage": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "delegated": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, false>; - "except_expr": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "subject": $.LinkDesc<$ConsistencySubject, $.Cardinality.AtMostOne, {}, false, false, false, false>; - "; - "; - "; - "; - "; - "; - "; -}>; -type $Constraint = $.ObjectType<"schema::Constraint", $ConstraintλShape, null, [ - ...$CallableObject['__exclusives__'], - ...$InheritingObject['__exclusives__'], -]>; -const $Constraint = $.makeType<$Constraint>(_.spec, "9346c403-6ee6-50b6-81b2-a35551cfab2f", _.syntax.literal); - -const Constraint: $.$expr_PathNode<$.TypeSet<$Constraint, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Constraint, $.Cardinality.Many), null); - -export type $DeltaλShape = $.typeutil.flatten<$Object_32faaa35947553cf88fce68ecf1be4d9λShape & { - "parents": $.LinkDesc<$Delta, $.Cardinality.Many, {}, false, false, false, false>; - "; - "; -}>; -type $Delta = $.ObjectType<"schema::Delta", $DeltaλShape, null, [ - ...$Object_32faaa35947553cf88fce68ecf1be4d9['__exclusives__'], -]>; -const $Delta = $.makeType<$Delta>(_.spec, "c974be74-46d8-5848-b2a9-be5eda14f73e", _.syntax.literal); - -const Delta: $.$expr_PathNode<$.TypeSet<$Delta, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Delta, $.Cardinality.Many), null); - -export type $ExtensionλShape = $.typeutil.flatten<$AnnotationSubjectλShape & $Object_32faaa35947553cf88fce68ecf1be4d9λShape & { - "package": $.LinkDesc<_sys.$ExtensionPackage, $.Cardinality.One, {}, true, false, false, false>; -}>; -type $Extension = $.ObjectType<"schema::Extension", $ExtensionλShape, null, [ - ...$AnnotationSubject['__exclusives__'], - ...$Object_32faaa35947553cf88fce68ecf1be4d9['__exclusives__'], - {package: {__element__: _sys.$ExtensionPackage, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $Extension = $.makeType<$Extension>(_.spec, "b9c53751-8d28-5077-b1db-a03ea59557ed", _.syntax.literal); - -const Extension: $.$expr_PathNode<$.TypeSet<$Extension, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Extension, $.Cardinality.Many), null); - -export type $FunctionλShape = $.typeutil.flatten<$CallableObjectλShape & $VolatilitySubjectλShape & { - "preserves_optionality": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, true>; - "body": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "language": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "used_globals": $.LinkDesc<$Global, $.Cardinality.Many, { - "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; - }, false, false, false, false>; -}>; -type $Function = $.ObjectType<"schema::Function", $FunctionλShape, null, [ - ...$CallableObject['__exclusives__'], - ...$VolatilitySubject['__exclusives__'], -]>; -const $Function = $.makeType<$Function>(_.spec, "3a60f555-7c03-5287-b4c9-f078692a89ef", _.syntax.literal); - -const Function: $.$expr_PathNode<$.TypeSet<$Function, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Function, $.Cardinality.Many), null); - -export type $FutureBehaviorλShape = $.typeutil.flatten<$Object_32faaa35947553cf88fce68ecf1be4d9λShape & { -}>; -type $FutureBehavior = $.ObjectType<"schema::FutureBehavior", $FutureBehaviorλShape, null, [ - ...$Object_32faaa35947553cf88fce68ecf1be4d9['__exclusives__'], -]>; -const $FutureBehavior = $.makeType<$FutureBehavior>(_.spec, "003feed0-dc7d-564e-abb5-93a42ba99d64", _.syntax.literal); - -const FutureBehavior: $.$expr_PathNode<$.TypeSet<$FutureBehavior, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($FutureBehavior, $.Cardinality.Many), null); - -export type $GlobalλShape = $.typeutil.flatten<$AnnotationSubjectλShape & { - "target": $.LinkDesc<$Type, $.Cardinality.AtMostOne, {}, false, false, false, false>; - "required": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, false>; - "cardinality": $.PropertyDesc<$Cardinality, $.Cardinality.AtMostOne, false, false, false, false>; - "expr": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "default": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "; - "; -}>; -type $Global = $.ObjectType<"schema::Global", $GlobalλShape, null, [ - ...$AnnotationSubject['__exclusives__'], -]>; -const $Global = $.makeType<$Global>(_.spec, "e1294378-bb3d-57e0-81d2-6a19ea088231", _.syntax.literal); - -const Global: $.$expr_PathNode<$.TypeSet<$Global, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Global, $.Cardinality.Many), null); - -export type $IndexλShape = $.typeutil.flatten<$InheritingObjectλShape & $AnnotationSubjectλShape & { - "expr": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "except_expr": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "params": $.LinkDesc<$Parameter, $.Cardinality.Many, { - "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; - }, false, false, false, false>; - "kwargs": $.PropertyDesc<$.ArrayType<$.NamedTupleType<{name: _std.$str, expr: _std.$str}>>, $.Cardinality.AtMostOne, false, false, false, false>; - "; - "; - "; - "; -}>; -type $Index = $.ObjectType<"schema::Index", $IndexλShape, null, [ - ...$InheritingObject['__exclusives__'], - ...$AnnotationSubject['__exclusives__'], -]>; -const $Index = $.makeType<$Index>(_.spec, "decfa7fb-1f66-5986-be86-fc9b6c268a97", _.syntax.literal); - -const Index: $.$expr_PathNode<$.TypeSet<$Index, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Index, $.Cardinality.Many), null); - -export type $PointerλShape = $.typeutil.flatten & $AnnotationSubjectλShape & { - "cardinality": $.PropertyDesc<$Cardinality, $.Cardinality.AtMostOne, false, false, false, false>; - "required": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, false>; - "readonly": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, false>; - "default": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "expr": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "secret": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, false>; - "source": $.LinkDesc<$Source, $.Cardinality.AtMostOne, {}, false, false, false, false>; - "target": $.LinkDesc<$Type, $.Cardinality.AtMostOne, {}, false, false, false, false>; - "rewrites": $.LinkDesc<$Rewrite, $.Cardinality.Many, { - "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - }, true, false, false, false>; - "; - "; - "; - "; - "; - "; -}>; -type $Pointer = $.ObjectType<"schema::Pointer", $PointerλShape, null, [ - ...$ConsistencySubject['__exclusives__'], - ...$AnnotationSubject['__exclusives__'], - {rewrites: {__element__: $Rewrite, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $Pointer = $.makeType<$Pointer>(_.spec, "57e1c6b1-ce76-5b5b-943f-f01f1e6a16a3", _.syntax.literal); - -const Pointer: $.$expr_PathNode<$.TypeSet<$Pointer, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Pointer, $.Cardinality.Many), null); - -export type $SourceλShape = $.typeutil.flatten<$Object_32faaa35947553cf88fce68ecf1be4d9λShape & { - "indexes": $.LinkDesc<$Index, $.Cardinality.Many, { - "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - }, true, false, false, false>; - "pointers": $.LinkDesc<$Pointer, $.Cardinality.Many, { - "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - }, true, false, false, false>; - "; - "; - "; - "; -}>; -type $Source = $.ObjectType<"schema::Source", $SourceλShape, null, [ - ...$Object_32faaa35947553cf88fce68ecf1be4d9['__exclusives__'], - {indexes: {__element__: $Index, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, - {pointers: {__element__: $Pointer, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $Source = $.makeType<$Source>(_.spec, "0368bb5e-ae06-5c00-9316-15095185b828", _.syntax.literal); - -const Source: $.$expr_PathNode<$.TypeSet<$Source, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Source, $.Cardinality.Many), null); - -export type $LinkλShape = $.typeutil.flatten & $SourceλShape & { - "target": $.LinkDesc<$ObjectType, $.Cardinality.AtMostOne, {}, false, false, false, false>; - "properties": $.LinkDesc<$Property, $.Cardinality.Many, {}, false, true, false, false>; - "on_target_delete": $.PropertyDesc<$TargetDeleteAction, $.Cardinality.AtMostOne, false, false, false, false>; - "on_source_delete": $.PropertyDesc<$SourceDeleteAction, $.Cardinality.AtMostOne, false, false, false, false>; - "; - "; -}>; -type $Link = $.ObjectType<"schema::Link", $LinkλShape, null, [ - ...$Pointer['__exclusives__'], - ...$Source['__exclusives__'], -]>; -const $Link = $.makeType<$Link>(_.spec, "98fe77cc-128e-58fe-b87a-1251c3288548", _.syntax.literal); - -const Link: $.$expr_PathNode<$.TypeSet<$Link, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Link, $.Cardinality.Many), null); - -export type $MigrationλShape = $.typeutil.flatten<$AnnotationSubjectλShape & $Object_32faaa35947553cf88fce68ecf1be4d9λShape & { - "parents": $.LinkDesc<$Migration, $.Cardinality.Many, {}, false, false, false, false>; - "script": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "message": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "generated_by": $.PropertyDesc<$MigrationGeneratedBy, $.Cardinality.AtMostOne, false, false, false, false>; - "; - "; -}>; -type $Migration = $.ObjectType<"schema::Migration", $MigrationλShape, null, [ - ...$AnnotationSubject['__exclusives__'], - ...$Object_32faaa35947553cf88fce68ecf1be4d9['__exclusives__'], -]>; -const $Migration = $.makeType<$Migration>(_.spec, "31f74b3a-d9b1-5e35-a746-057f44c58e76", _.syntax.literal); - -const Migration: $.$expr_PathNode<$.TypeSet<$Migration, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Migration, $.Cardinality.Many), null); - -export type $ModuleλShape = $.typeutil.flatten<$AnnotationSubjectλShape & $Object_32faaa35947553cf88fce68ecf1be4d9λShape & { -}>; -type $Module = $.ObjectType<"schema::Module", $ModuleλShape, null, [ - ...$AnnotationSubject['__exclusives__'], - ...$Object_32faaa35947553cf88fce68ecf1be4d9['__exclusives__'], -]>; -const $Module = $.makeType<$Module>(_.spec, "7106039a-ed86-5868-8227-3e2fc5e3e5ec", _.syntax.literal); - -const Module: $.$expr_PathNode<$.TypeSet<$Module, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Module, $.Cardinality.Many), null); - -export type $MultiRangeλShape = $.typeutil.flatten<$CollectionTypeλShape & { - "element_type": $.LinkDesc<$Type, $.Cardinality.One, {}, false, false, false, false>; -}>; -type $MultiRange = $.ObjectType<"schema::MultiRange", $MultiRangeλShape, null, [ - ...$CollectionType['__exclusives__'], -]>; -const $MultiRange = $.makeType<$MultiRange>(_.spec, "800c4a49-db9d-5a39-9cf2-aa213b858616", _.syntax.literal); - -const MultiRange: $.$expr_PathNode<$.TypeSet<$MultiRange, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($MultiRange, $.Cardinality.Many), null); - -export type $MultiRangeExprAliasλShape = $.typeutil.flatten<$MultiRangeλShape & { -}>; -type $MultiRangeExprAlias = $.ObjectType<"schema::MultiRangeExprAlias", $MultiRangeExprAliasλShape, null, [ - ...$MultiRange['__exclusives__'], -]>; -const $MultiRangeExprAlias = $.makeType<$MultiRangeExprAlias>(_.spec, "a92ef6fd-611e-5b00-8115-cc0ebb5f0be5", _.syntax.literal); - -const MultiRangeExprAlias: $.$expr_PathNode<$.TypeSet<$MultiRangeExprAlias, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($MultiRangeExprAlias, $.Cardinality.Many), null); - -export type $ObjectTypeλShape = $.typeutil.flatten<$SourceλShape & Omit<$ConsistencySubjectλShape, " & $InheritingObjectλShape & Omit<$TypeλShape, " & $AnnotationSubjectλShape & { - "union_of": $.LinkDesc<$ObjectType, $.Cardinality.Many, {}, false, false, false, false>; - "intersection_of": $.LinkDesc<$ObjectType, $.Cardinality.Many, {}, false, false, false, false>; - "access_policies": $.LinkDesc<$AccessPolicy, $.Cardinality.Many, { - "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - }, true, false, false, false>; - "triggers": $.LinkDesc<$Trigger, $.Cardinality.Many, { - "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; - }, true, false, false, false>; - "compound_type": $.PropertyDesc<_std.$bool, $.Cardinality.One, false, true, false, false>; - "is_compound_type": $.PropertyDesc<_std.$bool, $.Cardinality.One, false, true, false, false>; - "links": $.LinkDesc<$Link, $.Cardinality.Many, {}, false, true, false, false>; - "properties": $.LinkDesc<$Property, $.Cardinality.Many, {}, false, true, false, false>; - "<__type__[is std::BaseObject]": $.LinkDesc<$.ObjectType, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::TupleElement]": $.LinkDesc<$TupleElement, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Object]": $.LinkDesc<$Object_32faaa35947553cf88fce68ecf1be4d9, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::VolatilitySubject]": $.LinkDesc<$VolatilitySubject, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::SubclassableObject]": $.LinkDesc<$SubclassableObject, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::InheritingObject]": $.LinkDesc<$InheritingObject, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Delta]": $.LinkDesc<$Delta, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::AnnotationSubject]": $.LinkDesc<$AnnotationSubject, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is std::FreeObject]": $.LinkDesc<_std.$FreeObject, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is std::Object]": $.LinkDesc<_std.$Object_8ce8c71ee4fa5f73840c22d7eaa58588, $.Cardinality.Many, {}, false, false, false, false>; - "; - "; - "; - "; - "<__type__[is schema::FutureBehavior]": $.LinkDesc<$FutureBehavior, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is sys::SystemObject]": $.LinkDesc<_sys.$SystemObject, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is sys::ExternalObject]": $.LinkDesc<_sys.$ExternalObject, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is sys::Database]": $.LinkDesc<_sys.$Database, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is sys::ExtensionPackage]": $.LinkDesc<_sys.$ExtensionPackage, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is sys::Role]": $.LinkDesc<_sys.$Role, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::ConfigObject]": $.LinkDesc<_cfg.$ConfigObject, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::AuthMethod]": $.LinkDesc<_cfg.$AuthMethod, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::Trust]": $.LinkDesc<_cfg.$Trust, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::SCRAM]": $.LinkDesc<_cfg.$SCRAM, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::JWT]": $.LinkDesc<_cfg.$JWT, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::Password]": $.LinkDesc<_cfg.$Password, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::mTLS]": $.LinkDesc<_cfg.$mTLS, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::Auth]": $.LinkDesc<_cfg.$Auth, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::AbstractConfig]": $.LinkDesc<_cfg.$AbstractConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::ExtensionConfig]": $.LinkDesc<_cfg.$ExtensionConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::Config]": $.LinkDesc<_cfg.$Config, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::InstanceConfig]": $.LinkDesc<_cfg.$InstanceConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::DatabaseConfig]": $.LinkDesc<_cfg.$DatabaseConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is cfg::BranchConfig]": $.LinkDesc<_cfg.$BranchConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Annotation]": $.LinkDesc<$Annotation, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Type]": $.LinkDesc<$Type, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::PrimitiveType]": $.LinkDesc<$PrimitiveType, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::CollectionType]": $.LinkDesc<$CollectionType, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Array]": $.LinkDesc<$Array, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::ArrayExprAlias]": $.LinkDesc<$ArrayExprAlias, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Tuple]": $.LinkDesc<$Tuple, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::TupleExprAlias]": $.LinkDesc<$TupleExprAlias, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Range]": $.LinkDesc<$Range, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::RangeExprAlias]": $.LinkDesc<$RangeExprAlias, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::MultiRange]": $.LinkDesc<$MultiRange, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::MultiRangeExprAlias]": $.LinkDesc<$MultiRangeExprAlias, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Alias]": $.LinkDesc<$Alias, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Global]": $.LinkDesc<$Global, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Parameter]": $.LinkDesc<$Parameter, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::CallableObject]": $.LinkDesc<$CallableObject, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Function]": $.LinkDesc<$Function, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Operator]": $.LinkDesc<$Operator, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Cast]": $.LinkDesc<$Cast, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Migration]": $.LinkDesc<$Migration, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Module]": $.LinkDesc<$Module, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::PseudoType]": $.LinkDesc<$PseudoType, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Constraint]": $.LinkDesc<$Constraint, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::ConsistencySubject]": $.LinkDesc<$ConsistencySubject, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Rewrite]": $.LinkDesc<$Rewrite, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Pointer]": $.LinkDesc<$Pointer, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Property]": $.LinkDesc<$Property, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::ScalarType]": $.LinkDesc<$ScalarType, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Index]": $.LinkDesc<$Index, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Source]": $.LinkDesc<$Source, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Link]": $.LinkDesc<$Link, $.Cardinality.Many, {}, false, false, false, false>; - "; - "<__type__[is schema::AccessPolicy]": $.LinkDesc<$AccessPolicy, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Trigger]": $.LinkDesc<$Trigger, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::ObjectType]": $.LinkDesc<$ObjectType, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is schema::Extension]": $.LinkDesc<$Extension, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::Auditable]": $.LinkDesc<_extauth.$Auditable, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::Identity]": $.LinkDesc<_extauth.$Identity, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::LocalIdentity]": $.LinkDesc<_extauth.$LocalIdentity, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::Factor]": $.LinkDesc<_extauth.$Factor, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::EmailFactor]": $.LinkDesc<_extauth.$EmailFactor, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::EmailPasswordFactor]": $.LinkDesc<_extauth.$EmailPasswordFactor, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::MagicLinkFactor]": $.LinkDesc<_extauth.$MagicLinkFactor, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::WebAuthnFactor]": $.LinkDesc<_extauth.$WebAuthnFactor, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::WebAuthnRegistrationChallenge]": $.LinkDesc<_extauth.$WebAuthnRegistrationChallenge, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::WebAuthnAuthenticationChallenge]": $.LinkDesc<_extauth.$WebAuthnAuthenticationChallenge, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::PKCEChallenge]": $.LinkDesc<_extauth.$PKCEChallenge, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::ProviderConfig]": $.LinkDesc<_extauth.$ProviderConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::OAuthProviderConfig]": $.LinkDesc<_extauth.$OAuthProviderConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::AppleOAuthProvider]": $.LinkDesc<_extauth.$AppleOAuthProvider, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::AzureOAuthProvider]": $.LinkDesc<_extauth.$AzureOAuthProvider, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::DiscordOAuthProvider]": $.LinkDesc<_extauth.$DiscordOAuthProvider, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::SlackOAuthProvider]": $.LinkDesc<_extauth.$SlackOAuthProvider, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::GitHubOAuthProvider]": $.LinkDesc<_extauth.$GitHubOAuthProvider, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::GoogleOAuthProvider]": $.LinkDesc<_extauth.$GoogleOAuthProvider, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::EmailPasswordProviderConfig]": $.LinkDesc<_extauth.$EmailPasswordProviderConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::WebAuthnProviderConfig]": $.LinkDesc<_extauth.$WebAuthnProviderConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::MagicLinkProviderConfig]": $.LinkDesc<_extauth.$MagicLinkProviderConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::UIConfig]": $.LinkDesc<_extauth.$UIConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::AuthConfig]": $.LinkDesc<_extauth.$AuthConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::SMTPConfig]": $.LinkDesc<_extauth.$SMTPConfig, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is ext::auth::ClientTokenIdentity]": $.LinkDesc<_extauth.$ClientTokenIdentity, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is User]": $.LinkDesc<_default.$User, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is Moderator]": $.LinkDesc<_default.$Moderator, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is __default::current_moderator]": $.LinkDesc<___default.$current_moderator, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is current_moderator]": $.LinkDesc<_default.$current_moderator, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is Message]": $.LinkDesc<_default.$Message, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is discord::Message]": $.LinkDesc<_discord.$Message, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is Thread]": $.LinkDesc<_default.$Thread, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is discord::ReviewCard]": $.LinkDesc<_discord.$ReviewCard, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is discord::User]": $.LinkDesc<_discord.$User, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is discord::Thread]": $.LinkDesc<_discord.$Thread, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is QNA]": $.LinkDesc<_default.$QNA, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is Tag]": $.LinkDesc<_default.$Tag, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is QNADraft]": $.LinkDesc<_default.$QNADraft, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is discord::HelpChannel]": $.LinkDesc<_discord.$HelpChannel, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is Singleton]": $.LinkDesc<_default.$Singleton, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__[is Prompt]": $.LinkDesc<_default.$Prompt, $.Cardinality.Many, {}, false, false, false, false>; - "<__type__": $.LinkDesc<$.ObjectType, $.Cardinality.Many, {}, false, false, false, false>; - "; - "; - "; - "; -}>; -type $ObjectType = $.ObjectType<"schema::ObjectType", $ObjectTypeλShape, null, [ - ...$Source['__exclusives__'], - ...$ConsistencySubject['__exclusives__'], - ...$InheritingObject['__exclusives__'], - ...$Type['__exclusives__'], - ...$AnnotationSubject['__exclusives__'], - {access_policies: {__element__: $AccessPolicy, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, - {triggers: {__element__: $Trigger, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $ObjectType = $.makeType<$ObjectType>(_.spec, "2662a1b4-4f3f-5875-b6eb-ce52101a90a3", _.syntax.literal); - -const ObjectType: $.$expr_PathNode<$.TypeSet<$ObjectType, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($ObjectType, $.Cardinality.Many), null); - -export type $OperatorλShape = $.typeutil.flatten<$CallableObjectλShape & $VolatilitySubjectλShape & { - "operator_kind": $.PropertyDesc<$OperatorKind, $.Cardinality.AtMostOne, false, false, false, false>; - "abstract": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, false, false, true>; - "is_abstract": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne, false, true, false, false>; -}>; -type $Operator = $.ObjectType<"schema::Operator", $OperatorλShape, null, [ - ...$CallableObject['__exclusives__'], - ...$VolatilitySubject['__exclusives__'], -]>; -const $Operator = $.makeType<$Operator>(_.spec, "e37bd85e-5e2f-5daa-9dd9-d21d419032be", _.syntax.literal); - -const Operator: $.$expr_PathNode<$.TypeSet<$Operator, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Operator, $.Cardinality.Many), null); - -export type $ParameterλShape = $.typeutil.flatten<$Object_32faaa35947553cf88fce68ecf1be4d9λShape & { - "type": $.LinkDesc<$Type, $.Cardinality.One, {}, false, false, false, false>; - "typemod": $.PropertyDesc<$TypeModifier, $.Cardinality.One, false, false, false, false>; - "kind": $.PropertyDesc<$ParameterKind, $.Cardinality.One, false, false, false, false>; - "num": $.PropertyDesc<_std.$int64, $.Cardinality.One, false, false, false, false>; - "default": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "; - "; - "; - "; - "; - "; -}>; -type $Parameter = $.ObjectType<"schema::Parameter", $ParameterλShape, null, [ - ...$Object_32faaa35947553cf88fce68ecf1be4d9['__exclusives__'], -]>; -const $Parameter = $.makeType<$Parameter>(_.spec, "87f7d583-3e3c-507e-9fbb-4bf3b9e5aa24", _.syntax.literal); - -const Parameter: $.$expr_PathNode<$.TypeSet<$Parameter, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Parameter, $.Cardinality.Many), null); - -export type $PropertyλShape = $.typeutil.flatten<$PointerλShape & { - "; - "; - "; -}>; -type $Property = $.ObjectType<"schema::Property", $PropertyλShape, null, [ - ...$Pointer['__exclusives__'], -]>; -const $Property = $.makeType<$Property>(_.spec, "a57f48ff-3bb9-5693-a2e1-bf328a2ddbfc", _.syntax.literal); - -const Property: $.$expr_PathNode<$.TypeSet<$Property, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Property, $.Cardinality.Many), null); - -export type $PseudoTypeλShape = $.typeutil.flatten<$InheritingObjectλShape & $TypeλShape & { -}>; -type $PseudoType = $.ObjectType<"schema::PseudoType", $PseudoTypeλShape, null, [ - ...$InheritingObject['__exclusives__'], - ...$Type['__exclusives__'], -]>; -const $PseudoType = $.makeType<$PseudoType>(_.spec, "0875f8c3-7033-5cc4-af04-2b6d80e289e0", _.syntax.literal); - -const PseudoType: $.$expr_PathNode<$.TypeSet<$PseudoType, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($PseudoType, $.Cardinality.Many), null); - -export type $RangeλShape = $.typeutil.flatten<$CollectionTypeλShape & { - "element_type": $.LinkDesc<$Type, $.Cardinality.One, {}, false, false, false, false>; -}>; -type $Range = $.ObjectType<"schema::Range", $RangeλShape, null, [ - ...$CollectionType['__exclusives__'], -]>; -const $Range = $.makeType<$Range>(_.spec, "cced31f8-8167-59d7-b269-c49ae88a0ac1", _.syntax.literal); - -const Range: $.$expr_PathNode<$.TypeSet<$Range, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Range, $.Cardinality.Many), null); - -export type $RangeExprAliasλShape = $.typeutil.flatten<$RangeλShape & { -}>; -type $RangeExprAlias = $.ObjectType<"schema::RangeExprAlias", $RangeExprAliasλShape, null, [ - ...$Range['__exclusives__'], -]>; -const $RangeExprAlias = $.makeType<$RangeExprAlias>(_.spec, "bc63491c-2a88-5353-b5f0-6f2188a4f65d", _.syntax.literal); - -const RangeExprAlias: $.$expr_PathNode<$.TypeSet<$RangeExprAlias, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($RangeExprAlias, $.Cardinality.Many), null); - -export type $RewriteλShape = $.typeutil.flatten<$InheritingObjectλShape & $AnnotationSubjectλShape & { - "subject": $.LinkDesc<$Pointer, $.Cardinality.One, {}, false, false, false, false>; - "kind": $.PropertyDesc<$TriggerKind, $.Cardinality.One, false, false, false, false>; - "expr": $.PropertyDesc<_std.$str, $.Cardinality.One, false, false, false, false>; - "; - "; - "; - "; -}>; -type $Rewrite = $.ObjectType<"schema::Rewrite", $RewriteλShape, null, [ - ...$InheritingObject['__exclusives__'], - ...$AnnotationSubject['__exclusives__'], -]>; -const $Rewrite = $.makeType<$Rewrite>(_.spec, "d60198c8-ad58-5c4c-b3b6-d520c19f5cef", _.syntax.literal); - -const Rewrite: $.$expr_PathNode<$.TypeSet<$Rewrite, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Rewrite, $.Cardinality.Many), null); - -export type $ScalarTypeλShape = $.typeutil.flatten<$PrimitiveTypeλShape & $ConsistencySubjectλShape & $AnnotationSubjectλShape & { - "default": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "enum_values": $.PropertyDesc<$.ArrayType<_std.$str>, $.Cardinality.AtMostOne, false, false, false, false>; - "arg_values": $.PropertyDesc<$.ArrayType<_std.$str>, $.Cardinality.AtMostOne, false, false, false, false>; -}>; -type $ScalarType = $.ObjectType<"schema::ScalarType", $ScalarTypeλShape, null, [ - ...$PrimitiveType['__exclusives__'], - ...$ConsistencySubject['__exclusives__'], - ...$AnnotationSubject['__exclusives__'], -]>; -const $ScalarType = $.makeType<$ScalarType>(_.spec, "d055dd47-3eb9-5a31-9d8f-5e7053bbe11e", _.syntax.literal); - -const ScalarType: $.$expr_PathNode<$.TypeSet<$ScalarType, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($ScalarType, $.Cardinality.Many), null); - -export type $TriggerλShape = $.typeutil.flatten<$InheritingObjectλShape & $AnnotationSubjectλShape & { - "subject": $.LinkDesc<$ObjectType, $.Cardinality.One, {}, false, false, false, false>; - "timing": $.PropertyDesc<$TriggerTiming, $.Cardinality.One, false, false, false, false>; - "kinds": $.PropertyDesc<$TriggerKind, $.Cardinality.Many, false, false, false, false>; - "scope": $.PropertyDesc<$TriggerScope, $.Cardinality.One, false, false, false, false>; - "expr": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "condition": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "; - "; -}>; -type $Trigger = $.ObjectType<"schema::Trigger", $TriggerλShape, null, [ - ...$InheritingObject['__exclusives__'], - ...$AnnotationSubject['__exclusives__'], -]>; -const $Trigger = $.makeType<$Trigger>(_.spec, "2b738231-1ef7-59d0-a04c-dae012181a02", _.syntax.literal); - -const Trigger: $.$expr_PathNode<$.TypeSet<$Trigger, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Trigger, $.Cardinality.Many), null); - -export type $TupleλShape = $.typeutil.flatten<$CollectionTypeλShape & { - "named": $.PropertyDesc<_std.$bool, $.Cardinality.One, false, false, false, false>; - "element_types": $.LinkDesc<$TupleElement, $.Cardinality.Many, { - "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; - }, true, false, false, false>; -}>; -type $Tuple = $.ObjectType<"schema::Tuple", $TupleλShape, null, [ - ...$CollectionType['__exclusives__'], - {element_types: {__element__: $TupleElement, __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne },}, -]>; -const $Tuple = $.makeType<$Tuple>(_.spec, "d88b4a0c-9561-56f4-b0a9-7b24027b4de8", _.syntax.literal); - -const Tuple: $.$expr_PathNode<$.TypeSet<$Tuple, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($Tuple, $.Cardinality.Many), null); - -export type $TupleElementλShape = $.typeutil.flatten<_std.$BaseObjectλShape & { - "type": $.LinkDesc<$Type, $.Cardinality.One, {}, false, false, false, false>; - "name": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne, false, false, false, false>; - "; - "; - "; -}>; -type $TupleElement = $.ObjectType<"schema::TupleElement", $TupleElementλShape, null, [ - ..._std.$BaseObject['__exclusives__'], -]>; -const $TupleElement = $.makeType<$TupleElement>(_.spec, "9cc04b0b-11e0-5670-a8a1-441a323e12fb", _.syntax.literal); - -const TupleElement: $.$expr_PathNode<$.TypeSet<$TupleElement, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($TupleElement, $.Cardinality.Many), null); - -export type $TupleExprAliasλShape = $.typeutil.flatten<$TupleλShape & { -}>; -type $TupleExprAlias = $.ObjectType<"schema::TupleExprAlias", $TupleExprAliasλShape, null, [ - ...$Tuple['__exclusives__'], -]>; -const $TupleExprAlias = $.makeType<$TupleExprAlias>(_.spec, "b7744aa3-50fc-54e0-ae51-20d78737e25b", _.syntax.literal); - -const TupleExprAlias: $.$expr_PathNode<$.TypeSet<$TupleExprAlias, $.Cardinality.Many>, null> = _.syntax.$PathNode($.$toSet($TupleExprAlias, $.Cardinality.Many), null); - - - -export { AccessKind, AccessPolicyAction, Cardinality, MigrationGeneratedBy, OperatorKind, ParameterKind, RewriteKind, SourceDeleteAction, TargetDeleteAction, TriggerKind, TriggerScope, TriggerTiming, TypeModifier, Volatility, $Object_32faaa35947553cf88fce68ecf1be4d9, Object_32faaa35947553cf88fce68ecf1be4d9, $SubclassableObject, SubclassableObject, $InheritingObject, InheritingObject, $AnnotationSubject, AnnotationSubject, $AccessPolicy, AccessPolicy, $Alias, Alias, $Annotation, Annotation, $Type, Type, $PrimitiveType, PrimitiveType, $CollectionType, CollectionType, $Array, Array, $ArrayExprAlias, ArrayExprAlias, $CallableObject, CallableObject, $VolatilitySubject, VolatilitySubject, $Cast, Cast, $ConsistencySubject, ConsistencySubject, $Constraint, Constraint, $Delta, Delta, $Extension, Extension, $Function, Function, $FutureBehavior, FutureBehavior, $Global, Global, $Index, Index, $Pointer, Pointer, $Source, Source, $Link, Link, $Migration, Migration, $Module, Module, $MultiRange, MultiRange, $MultiRangeExprAlias, MultiRangeExprAlias, $ObjectType, ObjectType, $Operator, Operator, $Parameter, Parameter, $Property, Property, $PseudoType, PseudoType, $Range, Range, $RangeExprAlias, RangeExprAlias, $Rewrite, Rewrite, $ScalarType, ScalarType, $Trigger, Trigger, $Tuple, Tuple, $TupleElement, TupleElement, $TupleExprAlias, TupleExprAlias }; +const Volatility: $Volatility = $.makeType<$Volatility>( + _.spec, + "de5b90f2-6e49-5543-991b-28a156c7867f", + _.syntax.literal +); + +export type $Object_32faaa35947553cf88fce68ecf1be4d9λShape = $.typeutil.flatten< + _std.$BaseObjectλShape & { + name: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + internal: $.PropertyDesc< + _std.$bool, + $.Cardinality.One, + false, + false, + false, + true + >; + builtin: $.PropertyDesc< + _std.$bool, + $.Cardinality.One, + false, + false, + false, + true + >; + computed_fields: $.PropertyDesc< + $.ArrayType<_std.$str>, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + } +>; +type $Object_32faaa35947553cf88fce68ecf1be4d9 = $.ObjectType< + "schema::Object", + $Object_32faaa35947553cf88fce68ecf1be4d9λShape, + null, + [..._std.$BaseObject["__exclusives__"]] +>; +const $Object_32faaa35947553cf88fce68ecf1be4d9 = + $.makeType<$Object_32faaa35947553cf88fce68ecf1be4d9>( + _.spec, + "32faaa35-9475-53cf-88fc-e68ecf1be4d9", + _.syntax.literal + ); + +const Object_32faaa35947553cf88fce68ecf1be4d9: $.$expr_PathNode< + $.TypeSet<$Object_32faaa35947553cf88fce68ecf1be4d9, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($Object_32faaa35947553cf88fce68ecf1be4d9, $.Cardinality.Many), + null +); + +export type $SubclassableObjectλShape = $.typeutil.flatten< + $Object_32faaa35947553cf88fce68ecf1be4d9λShape & { + abstract: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + true + >; + is_abstract: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + true, + false, + false + >; + final: $.PropertyDesc< + _std.$bool, + $.Cardinality.One, + false, + true, + false, + false + >; + is_final: $.PropertyDesc< + _std.$bool, + $.Cardinality.One, + false, + true, + false, + false + >; + } +>; +type $SubclassableObject = $.ObjectType< + "schema::SubclassableObject", + $SubclassableObjectλShape, + null, + [...$Object_32faaa35947553cf88fce68ecf1be4d9["__exclusives__"]] +>; +const $SubclassableObject = $.makeType<$SubclassableObject>( + _.spec, + "145b7b6f-8fa4-5b14-bcd3-5d6d10dc25da", + _.syntax.literal +); + +const SubclassableObject: $.$expr_PathNode< + $.TypeSet<$SubclassableObject, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($SubclassableObject, $.Cardinality.Many), null); + +export type $InheritingObjectλShape = $.typeutil.flatten< + $SubclassableObjectλShape & { + bases: $.LinkDesc< + $InheritingObject, + $.Cardinality.Many, + { + "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; + }, + false, + false, + false, + false + >; + ancestors: $.LinkDesc< + $InheritingObject, + $.Cardinality.Many, + { + "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; + }, + false, + false, + false, + false + >; + inherited_fields: $.PropertyDesc< + $.ArrayType<_std.$str>, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + } +>; +type $InheritingObject = $.ObjectType< + "schema::InheritingObject", + $InheritingObjectλShape, + null, + [...$SubclassableObject["__exclusives__"]] +>; +const $InheritingObject = $.makeType<$InheritingObject>( + _.spec, + "825a1378-6b30-5f15-82f1-1c92e57691f2", + _.syntax.literal +); + +const InheritingObject: $.$expr_PathNode< + $.TypeSet<$InheritingObject, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($InheritingObject, $.Cardinality.Many), null); + +export type $AnnotationSubjectλShape = $.typeutil.flatten< + $Object_32faaa35947553cf88fce68ecf1be4d9λShape & { + annotations: $.LinkDesc< + $Annotation, + $.Cardinality.Many, + { + "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + "@value": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne>; + }, + false, + false, + false, + false + >; + } +>; +type $AnnotationSubject = $.ObjectType< + "schema::AnnotationSubject", + $AnnotationSubjectλShape, + null, + [...$Object_32faaa35947553cf88fce68ecf1be4d9["__exclusives__"]] +>; +const $AnnotationSubject = $.makeType<$AnnotationSubject>( + _.spec, + "970b2d83-85d8-5a46-a4e8-337d28abc12e", + _.syntax.literal +); + +const AnnotationSubject: $.$expr_PathNode< + $.TypeSet<$AnnotationSubject, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($AnnotationSubject, $.Cardinality.Many), null); + +export type $AccessPolicyλShape = $.typeutil.flatten< + $InheritingObjectλShape & + $AnnotationSubjectλShape & { + subject: $.LinkDesc< + $ObjectType, + $.Cardinality.One, + {}, + false, + false, + false, + false + >; + access_kinds: $.PropertyDesc< + $AccessKind, + $.Cardinality.Many, + false, + false, + false, + false + >; + condition: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + action: $.PropertyDesc< + $AccessPolicyAction, + $.Cardinality.One, + false, + false, + false, + false + >; + expr: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + errmessage: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + "; + "; + } +>; +type $AccessPolicy = $.ObjectType< + "schema::AccessPolicy", + $AccessPolicyλShape, + null, + [ + ...$InheritingObject["__exclusives__"], + ...$AnnotationSubject["__exclusives__"] + ] +>; +const $AccessPolicy = $.makeType<$AccessPolicy>( + _.spec, + "a8462073-0539-5640-9d9d-2db251c0b350", + _.syntax.literal +); + +const AccessPolicy: $.$expr_PathNode< + $.TypeSet<$AccessPolicy, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($AccessPolicy, $.Cardinality.Many), null); + +export type $AliasλShape = $.typeutil.flatten< + $AnnotationSubjectλShape & { + expr: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + type: $.LinkDesc< + $Type, + $.Cardinality.AtMostOne, + {}, + false, + false, + false, + false + >; + } +>; +type $Alias = $.ObjectType< + "schema::Alias", + $AliasλShape, + null, + [...$AnnotationSubject["__exclusives__"]] +>; +const $Alias = $.makeType<$Alias>( + _.spec, + "4388400b-e01d-582c-b1da-8161814835a6", + _.syntax.literal +); + +const Alias: $.$expr_PathNode< + $.TypeSet<$Alias, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Alias, $.Cardinality.Many), null); + +export type $AnnotationλShape = $.typeutil.flatten< + $InheritingObjectλShape & + $AnnotationSubjectλShape & { + inheritable: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + } +>; +type $Annotation = $.ObjectType< + "schema::Annotation", + $AnnotationλShape, + null, + [ + ...$InheritingObject["__exclusives__"], + ...$AnnotationSubject["__exclusives__"] + ] +>; +const $Annotation = $.makeType<$Annotation>( + _.spec, + "273b8735-318f-53f6-9297-6f20162c9105", + _.syntax.literal +); + +const Annotation: $.$expr_PathNode< + $.TypeSet<$Annotation, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Annotation, $.Cardinality.Many), null); + +export type $TypeλShape = $.typeutil.flatten< + $SubclassableObjectλShape & + $AnnotationSubjectλShape & { + expr: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + from_alias: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + is_from_alias: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + true, + false, + false + >; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + "; + } +>; +type $Type = $.ObjectType< + "schema::Type", + $TypeλShape, + null, + [ + ...$SubclassableObject["__exclusives__"], + ...$AnnotationSubject["__exclusives__"] + ] +>; +const $Type = $.makeType<$Type>( + _.spec, + "8e652319-e551-5b5c-a7bd-9591f0ef5303", + _.syntax.literal +); + +const Type: $.$expr_PathNode< + $.TypeSet<$Type, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Type, $.Cardinality.Many), null); + +export type $PrimitiveTypeλShape = $.typeutil.flatten<$TypeλShape & {}>; +type $PrimitiveType = $.ObjectType< + "schema::PrimitiveType", + $PrimitiveTypeλShape, + null, + [...$Type["__exclusives__"]] +>; +const $PrimitiveType = $.makeType<$PrimitiveType>( + _.spec, + "da26fa09-3541-5cba-b93f-d5ba58d25589", + _.syntax.literal +); + +const PrimitiveType: $.$expr_PathNode< + $.TypeSet<$PrimitiveType, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($PrimitiveType, $.Cardinality.Many), null); + +export type $CollectionTypeλShape = $.typeutil.flatten< + $PrimitiveTypeλShape & {} +>; +type $CollectionType = $.ObjectType< + "schema::CollectionType", + $CollectionTypeλShape, + null, + [...$PrimitiveType["__exclusives__"]] +>; +const $CollectionType = $.makeType<$CollectionType>( + _.spec, + "e3a7ccf7-4a20-5151-80b3-5156c9373889", + _.syntax.literal +); + +const CollectionType: $.$expr_PathNode< + $.TypeSet<$CollectionType, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($CollectionType, $.Cardinality.Many), null); + +export type $ArrayλShape = $.typeutil.flatten< + $CollectionTypeλShape & { + element_type: $.LinkDesc< + $Type, + $.Cardinality.One, + {}, + false, + false, + false, + false + >; + dimensions: $.PropertyDesc< + $.ArrayType<_std.$int16>, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + } +>; +type $Array = $.ObjectType< + "schema::Array", + $ArrayλShape, + null, + [...$CollectionType["__exclusives__"]] +>; +const $Array = $.makeType<$Array>( + _.spec, + "283cc7a9-7bf6-5eda-a323-b4e5173f2927", + _.syntax.literal +); + +const Array: $.$expr_PathNode< + $.TypeSet<$Array, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Array, $.Cardinality.Many), null); + +export type $ArrayExprAliasλShape = $.typeutil.flatten<$ArrayλShape & {}>; +type $ArrayExprAlias = $.ObjectType< + "schema::ArrayExprAlias", + $ArrayExprAliasλShape, + null, + [...$Array["__exclusives__"]] +>; +const $ArrayExprAlias = $.makeType<$ArrayExprAlias>( + _.spec, + "2e55d7f5-18ed-54b4-ade0-ba404dd482d3", + _.syntax.literal +); + +const ArrayExprAlias: $.$expr_PathNode< + $.TypeSet<$ArrayExprAlias, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($ArrayExprAlias, $.Cardinality.Many), null); + +export type $CallableObjectλShape = $.typeutil.flatten< + $AnnotationSubjectλShape & { + params: $.LinkDesc< + $Parameter, + $.Cardinality.Many, + { + "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; + }, + false, + false, + false, + false + >; + return_type: $.LinkDesc< + $Type, + $.Cardinality.AtMostOne, + {}, + false, + false, + false, + false + >; + return_typemod: $.PropertyDesc< + $TypeModifier, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + } +>; +type $CallableObject = $.ObjectType< + "schema::CallableObject", + $CallableObjectλShape, + null, + [...$AnnotationSubject["__exclusives__"]] +>; +const $CallableObject = $.makeType<$CallableObject>( + _.spec, + "800f2df9-dd86-5681-9e3c-b529af481a9d", + _.syntax.literal +); + +const CallableObject: $.$expr_PathNode< + $.TypeSet<$CallableObject, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($CallableObject, $.Cardinality.Many), null); + +export type $VolatilitySubjectλShape = $.typeutil.flatten< + $Object_32faaa35947553cf88fce68ecf1be4d9λShape & { + volatility: $.PropertyDesc< + $Volatility, + $.Cardinality.AtMostOne, + false, + false, + false, + true + >; + } +>; +type $VolatilitySubject = $.ObjectType< + "schema::VolatilitySubject", + $VolatilitySubjectλShape, + null, + [...$Object_32faaa35947553cf88fce68ecf1be4d9["__exclusives__"]] +>; +const $VolatilitySubject = $.makeType<$VolatilitySubject>( + _.spec, + "ed8e20ca-f2dc-5626-bccb-05ef9ed65791", + _.syntax.literal +); + +const VolatilitySubject: $.$expr_PathNode< + $.TypeSet<$VolatilitySubject, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($VolatilitySubject, $.Cardinality.Many), null); + +export type $CastλShape = $.typeutil.flatten< + $AnnotationSubjectλShape & + $VolatilitySubjectλShape & { + from_type: $.LinkDesc< + $Type, + $.Cardinality.AtMostOne, + {}, + false, + false, + false, + false + >; + to_type: $.LinkDesc< + $Type, + $.Cardinality.AtMostOne, + {}, + false, + false, + false, + false + >; + allow_implicit: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + allow_assignment: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + } +>; +type $Cast = $.ObjectType< + "schema::Cast", + $CastλShape, + null, + [ + ...$AnnotationSubject["__exclusives__"], + ...$VolatilitySubject["__exclusives__"] + ] +>; +const $Cast = $.makeType<$Cast>( + _.spec, + "2b25c5a4-5ad4-5c4b-b545-574ccac3fd7f", + _.syntax.literal +); + +const Cast: $.$expr_PathNode< + $.TypeSet<$Cast, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Cast, $.Cardinality.Many), null); + +export type $ConsistencySubjectλShape = $.typeutil.flatten< + $InheritingObjectλShape & + $AnnotationSubjectλShape & { + constraints: $.LinkDesc< + $Constraint, + $.Cardinality.Many, + { + "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + }, + true, + false, + false, + false + >; + "; + "; + } +>; +type $ConsistencySubject = $.ObjectType< + "schema::ConsistencySubject", + $ConsistencySubjectλShape, + null, + [ + ...$InheritingObject["__exclusives__"], + ...$AnnotationSubject["__exclusives__"], + { + constraints: { + __element__: $Constraint; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $ConsistencySubject = $.makeType<$ConsistencySubject>( + _.spec, + "883ec593-7428-5707-af16-d446e5d8ed28", + _.syntax.literal +); + +const ConsistencySubject: $.$expr_PathNode< + $.TypeSet<$ConsistencySubject, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($ConsistencySubject, $.Cardinality.Many), null); + +export type $ConstraintλShape = $.typeutil.flatten< + Omit<$CallableObjectλShape, "params"> & + $InheritingObjectλShape & { + params: $.LinkDesc< + $Parameter, + $.Cardinality.Many, + { + "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; + "@value": $.PropertyDesc<_std.$str, $.Cardinality.AtMostOne>; + }, + false, + false, + false, + false + >; + expr: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + subjectexpr: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + finalexpr: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + errmessage: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + delegated: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + except_expr: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + subject: $.LinkDesc< + $ConsistencySubject, + $.Cardinality.AtMostOne, + {}, + false, + false, + false, + false + >; + "; + "; + "; + "; + "; + "; + "; + } +>; +type $Constraint = $.ObjectType< + "schema::Constraint", + $ConstraintλShape, + null, + [...$CallableObject["__exclusives__"], ...$InheritingObject["__exclusives__"]] +>; +const $Constraint = $.makeType<$Constraint>( + _.spec, + "9346c403-6ee6-50b6-81b2-a35551cfab2f", + _.syntax.literal +); + +const Constraint: $.$expr_PathNode< + $.TypeSet<$Constraint, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Constraint, $.Cardinality.Many), null); + +export type $DeltaλShape = $.typeutil.flatten< + $Object_32faaa35947553cf88fce68ecf1be4d9λShape & { + parents: $.LinkDesc< + $Delta, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "; + "; + } +>; +type $Delta = $.ObjectType< + "schema::Delta", + $DeltaλShape, + null, + [...$Object_32faaa35947553cf88fce68ecf1be4d9["__exclusives__"]] +>; +const $Delta = $.makeType<$Delta>( + _.spec, + "c974be74-46d8-5848-b2a9-be5eda14f73e", + _.syntax.literal +); + +const Delta: $.$expr_PathNode< + $.TypeSet<$Delta, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Delta, $.Cardinality.Many), null); + +export type $ExtensionλShape = $.typeutil.flatten< + $AnnotationSubjectλShape & + $Object_32faaa35947553cf88fce68ecf1be4d9λShape & { + package: $.LinkDesc< + _sys.$ExtensionPackage, + $.Cardinality.One, + {}, + true, + false, + false, + false + >; + } +>; +type $Extension = $.ObjectType< + "schema::Extension", + $ExtensionλShape, + null, + [ + ...$AnnotationSubject["__exclusives__"], + ...$Object_32faaa35947553cf88fce68ecf1be4d9["__exclusives__"], + { + package: { + __element__: _sys.$ExtensionPackage; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $Extension = $.makeType<$Extension>( + _.spec, + "b9c53751-8d28-5077-b1db-a03ea59557ed", + _.syntax.literal +); + +const Extension: $.$expr_PathNode< + $.TypeSet<$Extension, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Extension, $.Cardinality.Many), null); + +export type $FunctionλShape = $.typeutil.flatten< + $CallableObjectλShape & + $VolatilitySubjectλShape & { + preserves_optionality: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + true + >; + body: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + language: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + used_globals: $.LinkDesc< + $Global, + $.Cardinality.Many, + { + "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; + }, + false, + false, + false, + false + >; + } +>; +type $Function = $.ObjectType< + "schema::Function", + $FunctionλShape, + null, + [ + ...$CallableObject["__exclusives__"], + ...$VolatilitySubject["__exclusives__"] + ] +>; +const $Function = $.makeType<$Function>( + _.spec, + "3a60f555-7c03-5287-b4c9-f078692a89ef", + _.syntax.literal +); + +const Function: $.$expr_PathNode< + $.TypeSet<$Function, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Function, $.Cardinality.Many), null); + +export type $FutureBehaviorλShape = $.typeutil.flatten< + $Object_32faaa35947553cf88fce68ecf1be4d9λShape & {} +>; +type $FutureBehavior = $.ObjectType< + "schema::FutureBehavior", + $FutureBehaviorλShape, + null, + [...$Object_32faaa35947553cf88fce68ecf1be4d9["__exclusives__"]] +>; +const $FutureBehavior = $.makeType<$FutureBehavior>( + _.spec, + "003feed0-dc7d-564e-abb5-93a42ba99d64", + _.syntax.literal +); + +const FutureBehavior: $.$expr_PathNode< + $.TypeSet<$FutureBehavior, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($FutureBehavior, $.Cardinality.Many), null); + +export type $GlobalλShape = $.typeutil.flatten< + $AnnotationSubjectλShape & { + target: $.LinkDesc< + $Type, + $.Cardinality.AtMostOne, + {}, + false, + false, + false, + false + >; + required: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + cardinality: $.PropertyDesc< + $Cardinality, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + expr: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + default: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + "; + "; + } +>; +type $Global = $.ObjectType< + "schema::Global", + $GlobalλShape, + null, + [...$AnnotationSubject["__exclusives__"]] +>; +const $Global = $.makeType<$Global>( + _.spec, + "e1294378-bb3d-57e0-81d2-6a19ea088231", + _.syntax.literal +); + +const Global: $.$expr_PathNode< + $.TypeSet<$Global, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Global, $.Cardinality.Many), null); + +export type $IndexλShape = $.typeutil.flatten< + $InheritingObjectλShape & + $AnnotationSubjectλShape & { + expr: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + except_expr: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + params: $.LinkDesc< + $Parameter, + $.Cardinality.Many, + { + "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; + }, + false, + false, + false, + false + >; + kwargs: $.PropertyDesc< + $.ArrayType<$.NamedTupleType<{ name: _std.$str; expr: _std.$str }>>, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + "; + "; + "; + "; + } +>; +type $Index = $.ObjectType< + "schema::Index", + $IndexλShape, + null, + [ + ...$InheritingObject["__exclusives__"], + ...$AnnotationSubject["__exclusives__"] + ] +>; +const $Index = $.makeType<$Index>( + _.spec, + "decfa7fb-1f66-5986-be86-fc9b6c268a97", + _.syntax.literal +); + +const Index: $.$expr_PathNode< + $.TypeSet<$Index, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Index, $.Cardinality.Many), null); + +export type $PointerλShape = $.typeutil.flatten< + Omit<$ConsistencySubjectλShape, " & + $AnnotationSubjectλShape & { + cardinality: $.PropertyDesc< + $Cardinality, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + required: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + readonly: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + default: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + expr: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + secret: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + source: $.LinkDesc< + $Source, + $.Cardinality.AtMostOne, + {}, + false, + false, + false, + false + >; + target: $.LinkDesc< + $Type, + $.Cardinality.AtMostOne, + {}, + false, + false, + false, + false + >; + rewrites: $.LinkDesc< + $Rewrite, + $.Cardinality.Many, + { + "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + }, + true, + false, + false, + false + >; + "; + "; + "; + "; + "; + "; + } +>; +type $Pointer = $.ObjectType< + "schema::Pointer", + $PointerλShape, + null, + [ + ...$ConsistencySubject["__exclusives__"], + ...$AnnotationSubject["__exclusives__"], + { + rewrites: { + __element__: $Rewrite; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $Pointer = $.makeType<$Pointer>( + _.spec, + "57e1c6b1-ce76-5b5b-943f-f01f1e6a16a3", + _.syntax.literal +); + +const Pointer: $.$expr_PathNode< + $.TypeSet<$Pointer, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Pointer, $.Cardinality.Many), null); + +export type $SourceλShape = $.typeutil.flatten< + $Object_32faaa35947553cf88fce68ecf1be4d9λShape & { + indexes: $.LinkDesc< + $Index, + $.Cardinality.Many, + { + "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + }, + true, + false, + false, + false + >; + pointers: $.LinkDesc< + $Pointer, + $.Cardinality.Many, + { + "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + }, + true, + false, + false, + false + >; + "; + "; + "; + "; + } +>; +type $Source = $.ObjectType< + "schema::Source", + $SourceλShape, + null, + [ + ...$Object_32faaa35947553cf88fce68ecf1be4d9["__exclusives__"], + { + indexes: { + __element__: $Index; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + }, + { + pointers: { + __element__: $Pointer; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $Source = $.makeType<$Source>( + _.spec, + "0368bb5e-ae06-5c00-9316-15095185b828", + _.syntax.literal +); + +const Source: $.$expr_PathNode< + $.TypeSet<$Source, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Source, $.Cardinality.Many), null); + +export type $LinkλShape = $.typeutil.flatten< + Omit<$PointerλShape, "target"> & + $SourceλShape & { + target: $.LinkDesc< + $ObjectType, + $.Cardinality.AtMostOne, + {}, + false, + false, + false, + false + >; + properties: $.LinkDesc< + $Property, + $.Cardinality.Many, + {}, + false, + true, + false, + false + >; + on_target_delete: $.PropertyDesc< + $TargetDeleteAction, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + on_source_delete: $.PropertyDesc< + $SourceDeleteAction, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + "; + "; + } +>; +type $Link = $.ObjectType< + "schema::Link", + $LinkλShape, + null, + [...$Pointer["__exclusives__"], ...$Source["__exclusives__"]] +>; +const $Link = $.makeType<$Link>( + _.spec, + "98fe77cc-128e-58fe-b87a-1251c3288548", + _.syntax.literal +); + +const Link: $.$expr_PathNode< + $.TypeSet<$Link, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Link, $.Cardinality.Many), null); + +export type $MigrationλShape = $.typeutil.flatten< + $AnnotationSubjectλShape & + $Object_32faaa35947553cf88fce68ecf1be4d9λShape & { + parents: $.LinkDesc< + $Migration, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + script: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + message: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + generated_by: $.PropertyDesc< + $MigrationGeneratedBy, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + "; + "; + } +>; +type $Migration = $.ObjectType< + "schema::Migration", + $MigrationλShape, + null, + [ + ...$AnnotationSubject["__exclusives__"], + ...$Object_32faaa35947553cf88fce68ecf1be4d9["__exclusives__"] + ] +>; +const $Migration = $.makeType<$Migration>( + _.spec, + "31f74b3a-d9b1-5e35-a746-057f44c58e76", + _.syntax.literal +); + +const Migration: $.$expr_PathNode< + $.TypeSet<$Migration, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Migration, $.Cardinality.Many), null); + +export type $ModuleλShape = $.typeutil.flatten< + $AnnotationSubjectλShape & $Object_32faaa35947553cf88fce68ecf1be4d9λShape & {} +>; +type $Module = $.ObjectType< + "schema::Module", + $ModuleλShape, + null, + [ + ...$AnnotationSubject["__exclusives__"], + ...$Object_32faaa35947553cf88fce68ecf1be4d9["__exclusives__"] + ] +>; +const $Module = $.makeType<$Module>( + _.spec, + "7106039a-ed86-5868-8227-3e2fc5e3e5ec", + _.syntax.literal +); + +const Module: $.$expr_PathNode< + $.TypeSet<$Module, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Module, $.Cardinality.Many), null); + +export type $MultiRangeλShape = $.typeutil.flatten< + $CollectionTypeλShape & { + element_type: $.LinkDesc< + $Type, + $.Cardinality.One, + {}, + false, + false, + false, + false + >; + } +>; +type $MultiRange = $.ObjectType< + "schema::MultiRange", + $MultiRangeλShape, + null, + [...$CollectionType["__exclusives__"]] +>; +const $MultiRange = $.makeType<$MultiRange>( + _.spec, + "800c4a49-db9d-5a39-9cf2-aa213b858616", + _.syntax.literal +); + +const MultiRange: $.$expr_PathNode< + $.TypeSet<$MultiRange, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($MultiRange, $.Cardinality.Many), null); + +export type $MultiRangeExprAliasλShape = $.typeutil.flatten< + $MultiRangeλShape & {} +>; +type $MultiRangeExprAlias = $.ObjectType< + "schema::MultiRangeExprAlias", + $MultiRangeExprAliasλShape, + null, + [...$MultiRange["__exclusives__"]] +>; +const $MultiRangeExprAlias = $.makeType<$MultiRangeExprAlias>( + _.spec, + "a92ef6fd-611e-5b00-8115-cc0ebb5f0be5", + _.syntax.literal +); + +const MultiRangeExprAlias: $.$expr_PathNode< + $.TypeSet<$MultiRangeExprAlias, $.Cardinality.Many>, + null +> = _.syntax.$PathNode( + $.$toSet($MultiRangeExprAlias, $.Cardinality.Many), + null +); + +export type $ObjectTypeλShape = $.typeutil.flatten< + $SourceλShape & + Omit<$ConsistencySubjectλShape, " & + $InheritingObjectλShape & + Omit<$TypeλShape, " & + $AnnotationSubjectλShape & { + union_of: $.LinkDesc< + $ObjectType, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + intersection_of: $.LinkDesc< + $ObjectType, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + access_policies: $.LinkDesc< + $AccessPolicy, + $.Cardinality.Many, + { + "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + }, + true, + false, + false, + false + >; + triggers: $.LinkDesc< + $Trigger, + $.Cardinality.Many, + { + "@owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + "@is_owned": $.PropertyDesc<_std.$bool, $.Cardinality.AtMostOne>; + }, + true, + false, + false, + false + >; + compound_type: $.PropertyDesc< + _std.$bool, + $.Cardinality.One, + false, + true, + false, + false + >; + is_compound_type: $.PropertyDesc< + _std.$bool, + $.Cardinality.One, + false, + true, + false, + false + >; + links: $.LinkDesc< + $Link, + $.Cardinality.Many, + {}, + false, + true, + false, + false + >; + properties: $.LinkDesc< + $Property, + $.Cardinality.Many, + {}, + false, + true, + false, + false + >; + "<__type__[is std::BaseObject]": $.LinkDesc< + $.ObjectType, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::TupleElement]": $.LinkDesc< + $TupleElement, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Object]": $.LinkDesc< + $Object_32faaa35947553cf88fce68ecf1be4d9, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::VolatilitySubject]": $.LinkDesc< + $VolatilitySubject, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::SubclassableObject]": $.LinkDesc< + $SubclassableObject, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::InheritingObject]": $.LinkDesc< + $InheritingObject, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Delta]": $.LinkDesc< + $Delta, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::AnnotationSubject]": $.LinkDesc< + $AnnotationSubject, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is std::FreeObject]": $.LinkDesc< + _std.$FreeObject, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is std::Object]": $.LinkDesc< + _std.$Object_8ce8c71ee4fa5f73840c22d7eaa58588, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "; + "; + "; + "; + "<__type__[is schema::FutureBehavior]": $.LinkDesc< + $FutureBehavior, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is sys::SystemObject]": $.LinkDesc< + _sys.$SystemObject, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is sys::ExternalObject]": $.LinkDesc< + _sys.$ExternalObject, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is sys::Database]": $.LinkDesc< + _sys.$Database, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is sys::ExtensionPackage]": $.LinkDesc< + _sys.$ExtensionPackage, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is sys::Role]": $.LinkDesc< + _sys.$Role, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::ConfigObject]": $.LinkDesc< + _cfg.$ConfigObject, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::AuthMethod]": $.LinkDesc< + _cfg.$AuthMethod, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::Trust]": $.LinkDesc< + _cfg.$Trust, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::SCRAM]": $.LinkDesc< + _cfg.$SCRAM, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::JWT]": $.LinkDesc< + _cfg.$JWT, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::Password]": $.LinkDesc< + _cfg.$Password, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::mTLS]": $.LinkDesc< + _cfg.$mTLS, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::Auth]": $.LinkDesc< + _cfg.$Auth, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::AbstractConfig]": $.LinkDesc< + _cfg.$AbstractConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::ExtensionConfig]": $.LinkDesc< + _cfg.$ExtensionConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::Config]": $.LinkDesc< + _cfg.$Config, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::InstanceConfig]": $.LinkDesc< + _cfg.$InstanceConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::DatabaseConfig]": $.LinkDesc< + _cfg.$DatabaseConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is cfg::BranchConfig]": $.LinkDesc< + _cfg.$BranchConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Annotation]": $.LinkDesc< + $Annotation, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Type]": $.LinkDesc< + $Type, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::PrimitiveType]": $.LinkDesc< + $PrimitiveType, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::CollectionType]": $.LinkDesc< + $CollectionType, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Array]": $.LinkDesc< + $Array, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::ArrayExprAlias]": $.LinkDesc< + $ArrayExprAlias, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Tuple]": $.LinkDesc< + $Tuple, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::TupleExprAlias]": $.LinkDesc< + $TupleExprAlias, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Range]": $.LinkDesc< + $Range, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::RangeExprAlias]": $.LinkDesc< + $RangeExprAlias, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::MultiRange]": $.LinkDesc< + $MultiRange, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::MultiRangeExprAlias]": $.LinkDesc< + $MultiRangeExprAlias, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Alias]": $.LinkDesc< + $Alias, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Global]": $.LinkDesc< + $Global, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Parameter]": $.LinkDesc< + $Parameter, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::CallableObject]": $.LinkDesc< + $CallableObject, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Function]": $.LinkDesc< + $Function, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Operator]": $.LinkDesc< + $Operator, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Cast]": $.LinkDesc< + $Cast, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Migration]": $.LinkDesc< + $Migration, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Module]": $.LinkDesc< + $Module, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::PseudoType]": $.LinkDesc< + $PseudoType, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Constraint]": $.LinkDesc< + $Constraint, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::ConsistencySubject]": $.LinkDesc< + $ConsistencySubject, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Rewrite]": $.LinkDesc< + $Rewrite, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Pointer]": $.LinkDesc< + $Pointer, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Property]": $.LinkDesc< + $Property, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::ScalarType]": $.LinkDesc< + $ScalarType, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Index]": $.LinkDesc< + $Index, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Source]": $.LinkDesc< + $Source, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Link]": $.LinkDesc< + $Link, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "; + "<__type__[is schema::AccessPolicy]": $.LinkDesc< + $AccessPolicy, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Trigger]": $.LinkDesc< + $Trigger, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::ObjectType]": $.LinkDesc< + $ObjectType, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is schema::Extension]": $.LinkDesc< + $Extension, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::Auditable]": $.LinkDesc< + _extauth.$Auditable, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::Identity]": $.LinkDesc< + _extauth.$Identity, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::LocalIdentity]": $.LinkDesc< + _extauth.$LocalIdentity, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::Factor]": $.LinkDesc< + _extauth.$Factor, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::EmailFactor]": $.LinkDesc< + _extauth.$EmailFactor, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::EmailPasswordFactor]": $.LinkDesc< + _extauth.$EmailPasswordFactor, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::MagicLinkFactor]": $.LinkDesc< + _extauth.$MagicLinkFactor, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::WebAuthnFactor]": $.LinkDesc< + _extauth.$WebAuthnFactor, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::WebAuthnRegistrationChallenge]": $.LinkDesc< + _extauth.$WebAuthnRegistrationChallenge, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::WebAuthnAuthenticationChallenge]": $.LinkDesc< + _extauth.$WebAuthnAuthenticationChallenge, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::PKCEChallenge]": $.LinkDesc< + _extauth.$PKCEChallenge, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::ProviderConfig]": $.LinkDesc< + _extauth.$ProviderConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::OAuthProviderConfig]": $.LinkDesc< + _extauth.$OAuthProviderConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::AppleOAuthProvider]": $.LinkDesc< + _extauth.$AppleOAuthProvider, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::AzureOAuthProvider]": $.LinkDesc< + _extauth.$AzureOAuthProvider, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::DiscordOAuthProvider]": $.LinkDesc< + _extauth.$DiscordOAuthProvider, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::SlackOAuthProvider]": $.LinkDesc< + _extauth.$SlackOAuthProvider, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::GitHubOAuthProvider]": $.LinkDesc< + _extauth.$GitHubOAuthProvider, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::GoogleOAuthProvider]": $.LinkDesc< + _extauth.$GoogleOAuthProvider, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::EmailPasswordProviderConfig]": $.LinkDesc< + _extauth.$EmailPasswordProviderConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::WebAuthnProviderConfig]": $.LinkDesc< + _extauth.$WebAuthnProviderConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::MagicLinkProviderConfig]": $.LinkDesc< + _extauth.$MagicLinkProviderConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::UIConfig]": $.LinkDesc< + _extauth.$UIConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::AuthConfig]": $.LinkDesc< + _extauth.$AuthConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::SMTPConfig]": $.LinkDesc< + _extauth.$SMTPConfig, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is ext::auth::ClientTokenIdentity]": $.LinkDesc< + _extauth.$ClientTokenIdentity, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is User]": $.LinkDesc< + _default.$User, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is Moderator]": $.LinkDesc< + _default.$Moderator, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is __default::current_moderator]": $.LinkDesc< + ___default.$current_moderator, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is current_moderator]": $.LinkDesc< + _default.$current_moderator, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is Message]": $.LinkDesc< + _default.$Message, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is discord::Message]": $.LinkDesc< + _discord.$Message, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is Thread]": $.LinkDesc< + _default.$Thread, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is discord::ReviewCard]": $.LinkDesc< + _discord.$ReviewCard, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is discord::User]": $.LinkDesc< + _discord.$User, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is discord::Thread]": $.LinkDesc< + _discord.$Thread, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is QNA]": $.LinkDesc< + _default.$QNA, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is Tag]": $.LinkDesc< + _default.$Tag, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is QNADraft]": $.LinkDesc< + _default.$QNADraft, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is discord::HelpChannel]": $.LinkDesc< + _discord.$HelpChannel, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is Singleton]": $.LinkDesc< + _default.$Singleton, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__[is Prompt]": $.LinkDesc< + _default.$Prompt, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "<__type__": $.LinkDesc< + $.ObjectType, + $.Cardinality.Many, + {}, + false, + false, + false, + false + >; + "; + "; + "; + "; + } +>; +type $ObjectType = $.ObjectType< + "schema::ObjectType", + $ObjectTypeλShape, + null, + [ + ...$Source["__exclusives__"], + ...$ConsistencySubject["__exclusives__"], + ...$InheritingObject["__exclusives__"], + ...$Type["__exclusives__"], + ...$AnnotationSubject["__exclusives__"], + { + access_policies: { + __element__: $AccessPolicy; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + }, + { + triggers: { + __element__: $Trigger; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $ObjectType = $.makeType<$ObjectType>( + _.spec, + "2662a1b4-4f3f-5875-b6eb-ce52101a90a3", + _.syntax.literal +); + +const ObjectType: $.$expr_PathNode< + $.TypeSet<$ObjectType, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($ObjectType, $.Cardinality.Many), null); + +export type $OperatorλShape = $.typeutil.flatten< + $CallableObjectλShape & + $VolatilitySubjectλShape & { + operator_kind: $.PropertyDesc< + $OperatorKind, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + abstract: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + false, + false, + true + >; + is_abstract: $.PropertyDesc< + _std.$bool, + $.Cardinality.AtMostOne, + false, + true, + false, + false + >; + } +>; +type $Operator = $.ObjectType< + "schema::Operator", + $OperatorλShape, + null, + [ + ...$CallableObject["__exclusives__"], + ...$VolatilitySubject["__exclusives__"] + ] +>; +const $Operator = $.makeType<$Operator>( + _.spec, + "e37bd85e-5e2f-5daa-9dd9-d21d419032be", + _.syntax.literal +); + +const Operator: $.$expr_PathNode< + $.TypeSet<$Operator, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Operator, $.Cardinality.Many), null); + +export type $ParameterλShape = $.typeutil.flatten< + $Object_32faaa35947553cf88fce68ecf1be4d9λShape & { + type: $.LinkDesc<$Type, $.Cardinality.One, {}, false, false, false, false>; + typemod: $.PropertyDesc< + $TypeModifier, + $.Cardinality.One, + false, + false, + false, + false + >; + kind: $.PropertyDesc< + $ParameterKind, + $.Cardinality.One, + false, + false, + false, + false + >; + num: $.PropertyDesc< + _std.$int64, + $.Cardinality.One, + false, + false, + false, + false + >; + default: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + "; + "; + "; + "; + "; + "; + } +>; +type $Parameter = $.ObjectType< + "schema::Parameter", + $ParameterλShape, + null, + [...$Object_32faaa35947553cf88fce68ecf1be4d9["__exclusives__"]] +>; +const $Parameter = $.makeType<$Parameter>( + _.spec, + "87f7d583-3e3c-507e-9fbb-4bf3b9e5aa24", + _.syntax.literal +); + +const Parameter: $.$expr_PathNode< + $.TypeSet<$Parameter, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Parameter, $.Cardinality.Many), null); + +export type $PropertyλShape = $.typeutil.flatten< + $PointerλShape & { + "; + "; + "; + } +>; +type $Property = $.ObjectType< + "schema::Property", + $PropertyλShape, + null, + [...$Pointer["__exclusives__"]] +>; +const $Property = $.makeType<$Property>( + _.spec, + "a57f48ff-3bb9-5693-a2e1-bf328a2ddbfc", + _.syntax.literal +); + +const Property: $.$expr_PathNode< + $.TypeSet<$Property, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Property, $.Cardinality.Many), null); + +export type $PseudoTypeλShape = $.typeutil.flatten< + $InheritingObjectλShape & $TypeλShape & {} +>; +type $PseudoType = $.ObjectType< + "schema::PseudoType", + $PseudoTypeλShape, + null, + [...$InheritingObject["__exclusives__"], ...$Type["__exclusives__"]] +>; +const $PseudoType = $.makeType<$PseudoType>( + _.spec, + "0875f8c3-7033-5cc4-af04-2b6d80e289e0", + _.syntax.literal +); + +const PseudoType: $.$expr_PathNode< + $.TypeSet<$PseudoType, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($PseudoType, $.Cardinality.Many), null); + +export type $RangeλShape = $.typeutil.flatten< + $CollectionTypeλShape & { + element_type: $.LinkDesc< + $Type, + $.Cardinality.One, + {}, + false, + false, + false, + false + >; + } +>; +type $Range = $.ObjectType< + "schema::Range", + $RangeλShape, + null, + [...$CollectionType["__exclusives__"]] +>; +const $Range = $.makeType<$Range>( + _.spec, + "cced31f8-8167-59d7-b269-c49ae88a0ac1", + _.syntax.literal +); + +const Range: $.$expr_PathNode< + $.TypeSet<$Range, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Range, $.Cardinality.Many), null); + +export type $RangeExprAliasλShape = $.typeutil.flatten<$RangeλShape & {}>; +type $RangeExprAlias = $.ObjectType< + "schema::RangeExprAlias", + $RangeExprAliasλShape, + null, + [...$Range["__exclusives__"]] +>; +const $RangeExprAlias = $.makeType<$RangeExprAlias>( + _.spec, + "bc63491c-2a88-5353-b5f0-6f2188a4f65d", + _.syntax.literal +); + +const RangeExprAlias: $.$expr_PathNode< + $.TypeSet<$RangeExprAlias, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($RangeExprAlias, $.Cardinality.Many), null); + +export type $RewriteλShape = $.typeutil.flatten< + $InheritingObjectλShape & + $AnnotationSubjectλShape & { + subject: $.LinkDesc< + $Pointer, + $.Cardinality.One, + {}, + false, + false, + false, + false + >; + kind: $.PropertyDesc< + $TriggerKind, + $.Cardinality.One, + false, + false, + false, + false + >; + expr: $.PropertyDesc< + _std.$str, + $.Cardinality.One, + false, + false, + false, + false + >; + "; + "; + "; + "; + } +>; +type $Rewrite = $.ObjectType< + "schema::Rewrite", + $RewriteλShape, + null, + [ + ...$InheritingObject["__exclusives__"], + ...$AnnotationSubject["__exclusives__"] + ] +>; +const $Rewrite = $.makeType<$Rewrite>( + _.spec, + "d60198c8-ad58-5c4c-b3b6-d520c19f5cef", + _.syntax.literal +); + +const Rewrite: $.$expr_PathNode< + $.TypeSet<$Rewrite, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Rewrite, $.Cardinality.Many), null); + +export type $ScalarTypeλShape = $.typeutil.flatten< + $PrimitiveTypeλShape & + $ConsistencySubjectλShape & + $AnnotationSubjectλShape & { + default: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + enum_values: $.PropertyDesc< + $.ArrayType<_std.$str>, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + arg_values: $.PropertyDesc< + $.ArrayType<_std.$str>, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + } +>; +type $ScalarType = $.ObjectType< + "schema::ScalarType", + $ScalarTypeλShape, + null, + [ + ...$PrimitiveType["__exclusives__"], + ...$ConsistencySubject["__exclusives__"], + ...$AnnotationSubject["__exclusives__"] + ] +>; +const $ScalarType = $.makeType<$ScalarType>( + _.spec, + "d055dd47-3eb9-5a31-9d8f-5e7053bbe11e", + _.syntax.literal +); + +const ScalarType: $.$expr_PathNode< + $.TypeSet<$ScalarType, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($ScalarType, $.Cardinality.Many), null); + +export type $TriggerλShape = $.typeutil.flatten< + $InheritingObjectλShape & + $AnnotationSubjectλShape & { + subject: $.LinkDesc< + $ObjectType, + $.Cardinality.One, + {}, + false, + false, + false, + false + >; + timing: $.PropertyDesc< + $TriggerTiming, + $.Cardinality.One, + false, + false, + false, + false + >; + kinds: $.PropertyDesc< + $TriggerKind, + $.Cardinality.Many, + false, + false, + false, + false + >; + scope: $.PropertyDesc< + $TriggerScope, + $.Cardinality.One, + false, + false, + false, + false + >; + expr: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + condition: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + "; + "; + } +>; +type $Trigger = $.ObjectType< + "schema::Trigger", + $TriggerλShape, + null, + [ + ...$InheritingObject["__exclusives__"], + ...$AnnotationSubject["__exclusives__"] + ] +>; +const $Trigger = $.makeType<$Trigger>( + _.spec, + "2b738231-1ef7-59d0-a04c-dae012181a02", + _.syntax.literal +); + +const Trigger: $.$expr_PathNode< + $.TypeSet<$Trigger, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Trigger, $.Cardinality.Many), null); + +export type $TupleλShape = $.typeutil.flatten< + $CollectionTypeλShape & { + named: $.PropertyDesc< + _std.$bool, + $.Cardinality.One, + false, + false, + false, + false + >; + element_types: $.LinkDesc< + $TupleElement, + $.Cardinality.Many, + { + "@index": $.PropertyDesc<_std.$int64, $.Cardinality.AtMostOne>; + }, + true, + false, + false, + false + >; + } +>; +type $Tuple = $.ObjectType< + "schema::Tuple", + $TupleλShape, + null, + [ + ...$CollectionType["__exclusives__"], + { + element_types: { + __element__: $TupleElement; + __cardinality__: $.Cardinality.One | $.Cardinality.AtMostOne; + }; + } + ] +>; +const $Tuple = $.makeType<$Tuple>( + _.spec, + "d88b4a0c-9561-56f4-b0a9-7b24027b4de8", + _.syntax.literal +); + +const Tuple: $.$expr_PathNode< + $.TypeSet<$Tuple, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($Tuple, $.Cardinality.Many), null); + +export type $TupleElementλShape = $.typeutil.flatten< + _std.$BaseObjectλShape & { + type: $.LinkDesc<$Type, $.Cardinality.One, {}, false, false, false, false>; + name: $.PropertyDesc< + _std.$str, + $.Cardinality.AtMostOne, + false, + false, + false, + false + >; + "; + "; + "; + } +>; +type $TupleElement = $.ObjectType< + "schema::TupleElement", + $TupleElementλShape, + null, + [..._std.$BaseObject["__exclusives__"]] +>; +const $TupleElement = $.makeType<$TupleElement>( + _.spec, + "9cc04b0b-11e0-5670-a8a1-441a323e12fb", + _.syntax.literal +); + +const TupleElement: $.$expr_PathNode< + $.TypeSet<$TupleElement, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($TupleElement, $.Cardinality.Many), null); + +export type $TupleExprAliasλShape = $.typeutil.flatten<$TupleλShape & {}>; +type $TupleExprAlias = $.ObjectType< + "schema::TupleExprAlias", + $TupleExprAliasλShape, + null, + [...$Tuple["__exclusives__"]] +>; +const $TupleExprAlias = $.makeType<$TupleExprAlias>( + _.spec, + "b7744aa3-50fc-54e0-ae51-20d78737e25b", + _.syntax.literal +); + +const TupleExprAlias: $.$expr_PathNode< + $.TypeSet<$TupleExprAlias, $.Cardinality.Many>, + null +> = _.syntax.$PathNode($.$toSet($TupleExprAlias, $.Cardinality.Many), null); + +export { + AccessKind, + AccessPolicyAction, + Cardinality, + MigrationGeneratedBy, + OperatorKind, + ParameterKind, + RewriteKind, + SourceDeleteAction, + TargetDeleteAction, + TriggerKind, + TriggerScope, + TriggerTiming, + TypeModifier, + Volatility, + $Object_32faaa35947553cf88fce68ecf1be4d9, + Object_32faaa35947553cf88fce68ecf1be4d9, + $SubclassableObject, + SubclassableObject, + $InheritingObject, + InheritingObject, + $AnnotationSubject, + AnnotationSubject, + $AccessPolicy, + AccessPolicy, + $Alias, + Alias, + $Annotation, + Annotation, + $Type, + Type, + $PrimitiveType, + PrimitiveType, + $CollectionType, + CollectionType, + $Array, + Array, + $ArrayExprAlias, + ArrayExprAlias, + $CallableObject, + CallableObject, + $VolatilitySubject, + VolatilitySubject, + $Cast, + Cast, + $ConsistencySubject, + ConsistencySubject, + $Constraint, + Constraint, + $Delta, + Delta, + $Extension, + Extension, + $Function, + Function, + $FutureBehavior, + FutureBehavior, + $Global, + Global, + $Index, + Index, + $Pointer, + Pointer, + $Source, + Source, + $Link, + Link, + $Migration, + Migration, + $Module, + Module, + $MultiRange, + MultiRange, + $MultiRangeExprAlias, + MultiRangeExprAlias, + $ObjectType, + ObjectType, + $Operator, + Operator, + $Parameter, + Parameter, + $Property, + Property, + $PseudoType, + PseudoType, + $Range, + Range, + $RangeExprAlias, + RangeExprAlias, + $Rewrite, + Rewrite, + $ScalarType, + ScalarType, + $Trigger, + Trigger, + $Tuple, + Tuple, + $TupleElement, + TupleElement, + $TupleExprAlias, + TupleExprAlias, +}; type __defaultExports = { - "AccessKind": typeof AccessKind; - "AccessPolicyAction": typeof AccessPolicyAction; - "Cardinality": typeof Cardinality; - "MigrationGeneratedBy": typeof MigrationGeneratedBy; - "OperatorKind": typeof OperatorKind; - "ParameterKind": typeof ParameterKind; - "RewriteKind": typeof RewriteKind; - "SourceDeleteAction": typeof SourceDeleteAction; - "TargetDeleteAction": typeof TargetDeleteAction; - "TriggerKind": typeof TriggerKind; - "TriggerScope": typeof TriggerScope; - "TriggerTiming": typeof TriggerTiming; - "TypeModifier": typeof TypeModifier; - "Volatility": typeof Volatility; - "Object": typeof Object_32faaa35947553cf88fce68ecf1be4d9; - "SubclassableObject": typeof SubclassableObject; - "InheritingObject": typeof InheritingObject; - "AnnotationSubject": typeof AnnotationSubject; - "AccessPolicy": typeof AccessPolicy; - "Alias": typeof Alias; - "Annotation": typeof Annotation; - "Type": typeof Type; - "PrimitiveType": typeof PrimitiveType; - "CollectionType": typeof CollectionType; - "Array": typeof Array; - "ArrayExprAlias": typeof ArrayExprAlias; - "CallableObject": typeof CallableObject; - "VolatilitySubject": typeof VolatilitySubject; - "Cast": typeof Cast; - "ConsistencySubject": typeof ConsistencySubject; - "Constraint": typeof Constraint; - "Delta": typeof Delta; - "Extension": typeof Extension; - "Function": typeof Function; - "FutureBehavior": typeof FutureBehavior; - "Global": typeof Global; - "Index": typeof Index; - "Pointer": typeof Pointer; - "Source": typeof Source; - "Link": typeof Link; - "Migration": typeof Migration; - "Module": typeof Module; - "MultiRange": typeof MultiRange; - "MultiRangeExprAlias": typeof MultiRangeExprAlias; - "ObjectType": typeof ObjectType; - "Operator": typeof Operator; - "Parameter": typeof Parameter; - "Property": typeof Property; - "PseudoType": typeof PseudoType; - "Range": typeof Range; - "RangeExprAlias": typeof RangeExprAlias; - "Rewrite": typeof Rewrite; - "ScalarType": typeof ScalarType; - "Trigger": typeof Trigger; - "Tuple": typeof Tuple; - "TupleElement": typeof TupleElement; - "TupleExprAlias": typeof TupleExprAlias + AccessKind: typeof AccessKind; + AccessPolicyAction: typeof AccessPolicyAction; + Cardinality: typeof Cardinality; + MigrationGeneratedBy: typeof MigrationGeneratedBy; + OperatorKind: typeof OperatorKind; + ParameterKind: typeof ParameterKind; + RewriteKind: typeof RewriteKind; + SourceDeleteAction: typeof SourceDeleteAction; + TargetDeleteAction: typeof TargetDeleteAction; + TriggerKind: typeof TriggerKind; + TriggerScope: typeof TriggerScope; + TriggerTiming: typeof TriggerTiming; + TypeModifier: typeof TypeModifier; + Volatility: typeof Volatility; + Object: typeof Object_32faaa35947553cf88fce68ecf1be4d9; + SubclassableObject: typeof SubclassableObject; + InheritingObject: typeof InheritingObject; + AnnotationSubject: typeof AnnotationSubject; + AccessPolicy: typeof AccessPolicy; + Alias: typeof Alias; + Annotation: typeof Annotation; + Type: typeof Type; + PrimitiveType: typeof PrimitiveType; + CollectionType: typeof CollectionType; + Array: typeof Array; + ArrayExprAlias: typeof ArrayExprAlias; + CallableObject: typeof CallableObject; + VolatilitySubject: typeof VolatilitySubject; + Cast: typeof Cast; + ConsistencySubject: typeof ConsistencySubject; + Constraint: typeof Constraint; + Delta: typeof Delta; + Extension: typeof Extension; + Function: typeof Function; + FutureBehavior: typeof FutureBehavior; + Global: typeof Global; + Index: typeof Index; + Pointer: typeof Pointer; + Source: typeof Source; + Link: typeof Link; + Migration: typeof Migration; + Module: typeof Module; + MultiRange: typeof MultiRange; + MultiRangeExprAlias: typeof MultiRangeExprAlias; + ObjectType: typeof ObjectType; + Operator: typeof Operator; + Parameter: typeof Parameter; + Property: typeof Property; + PseudoType: typeof PseudoType; + Range: typeof Range; + RangeExprAlias: typeof RangeExprAlias; + Rewrite: typeof Rewrite; + ScalarType: typeof ScalarType; + Trigger: typeof Trigger; + Tuple: typeof Tuple; + TupleElement: typeof TupleElement; + TupleExprAlias: typeof TupleExprAlias; }; const __defaultExports: __defaultExports = { - "AccessKind": AccessKind, - "AccessPolicyAction": AccessPolicyAction, - "Cardinality": Cardinality, - "MigrationGeneratedBy": MigrationGeneratedBy, - "OperatorKind": OperatorKind, - "ParameterKind": ParameterKind, - "RewriteKind": RewriteKind, - "SourceDeleteAction": SourceDeleteAction, - "TargetDeleteAction": TargetDeleteAction, - "TriggerKind": TriggerKind, - "TriggerScope": TriggerScope, - "TriggerTiming": TriggerTiming, - "TypeModifier": TypeModifier, - "Volatility": Volatility, - "Object": Object_32faaa35947553cf88fce68ecf1be4d9, - "SubclassableObject": SubclassableObject, - "InheritingObject": InheritingObject, - "AnnotationSubject": AnnotationSubject, - "AccessPolicy": AccessPolicy, - "Alias": Alias, - "Annotation": Annotation, - "Type": Type, - "PrimitiveType": PrimitiveType, - "CollectionType": CollectionType, - "Array": Array, - "ArrayExprAlias": ArrayExprAlias, - "CallableObject": CallableObject, - "VolatilitySubject": VolatilitySubject, - "Cast": Cast, - "ConsistencySubject": ConsistencySubject, - "Constraint": Constraint, - "Delta": Delta, - "Extension": Extension, - "Function": Function, - "FutureBehavior": FutureBehavior, - "Global": Global, - "Index": Index, - "Pointer": Pointer, - "Source": Source, - "Link": Link, - "Migration": Migration, - "Module": Module, - "MultiRange": MultiRange, - "MultiRangeExprAlias": MultiRangeExprAlias, - "ObjectType": ObjectType, - "Operator": Operator, - "Parameter": Parameter, - "Property": Property, - "PseudoType": PseudoType, - "Range": Range, - "RangeExprAlias": RangeExprAlias, - "Rewrite": Rewrite, - "ScalarType": ScalarType, - "Trigger": Trigger, - "Tuple": Tuple, - "TupleElement": TupleElement, - "TupleExprAlias": TupleExprAlias + AccessKind: AccessKind, + AccessPolicyAction: AccessPolicyAction, + Cardinality: Cardinality, + MigrationGeneratedBy: MigrationGeneratedBy, + OperatorKind: OperatorKind, + ParameterKind: ParameterKind, + RewriteKind: RewriteKind, + SourceDeleteAction: SourceDeleteAction, + TargetDeleteAction: TargetDeleteAction, + TriggerKind: TriggerKind, + TriggerScope: TriggerScope, + TriggerTiming: TriggerTiming, + TypeModifier: TypeModifier, + Volatility: Volatility, + Object: Object_32faaa35947553cf88fce68ecf1be4d9, + SubclassableObject: SubclassableObject, + InheritingObject: InheritingObject, + AnnotationSubject: AnnotationSubject, + AccessPolicy: AccessPolicy, + Alias: Alias, + Annotation: Annotation, + Type: Type, + PrimitiveType: PrimitiveType, + CollectionType: CollectionType, + Array: Array, + ArrayExprAlias: ArrayExprAlias, + CallableObject: CallableObject, + VolatilitySubject: VolatilitySubject, + Cast: Cast, + ConsistencySubject: ConsistencySubject, + Constraint: Constraint, + Delta: Delta, + Extension: Extension, + Function: Function, + FutureBehavior: FutureBehavior, + Global: Global, + Index: Index, + Pointer: Pointer, + Source: Source, + Link: Link, + Migration: Migration, + Module: Module, + MultiRange: MultiRange, + MultiRangeExprAlias: MultiRangeExprAlias, + ObjectType: ObjectType, + Operator: Operator, + Parameter: Parameter, + Property: Property, + PseudoType: PseudoType, + Range: Range, + RangeExprAlias: RangeExprAlias, + Rewrite: Rewrite, + ScalarType: ScalarType, + Trigger: Trigger, + Tuple: Tuple, + TupleElement: TupleElement, + TupleExprAlias: TupleExprAlias, }; export default __defaultExports;