ryco-cli 0.1.22 → 0.1.23

package/dist/client/assets/chapel-B4wvmE90.js

@@ -0,0 +1 @@
+import{t as e}from"./c-Baw6W2ff.js";var t=Object.freeze(JSON.parse(`{"displayName":"Chapel","fileTypes":["chpl"],"name":"chapel","patterns":[{"include":"#extern_block"},{"include":"#comments"},{"include":"#strings"},{"include":"#keywords"},{"include":"#constants"},{"include":"#variables"},{"include":"#important_globals"},{"include":"#operators"},{"include":"#attributes"}],"repository":{"attributes":{"patterns":[{"match":"(@[A-Z_a-z][0-9A-Z_a-z]*(?:\\\\.[A-Z_a-z][0-9A-Z_a-z]*)?)","name":"storage.type.attribute.chapel"}]},"blockcomments":{"patterns":[{"captures":{"1":{"name":"meta.toc-list.banner.block.chapel"}},"match":"^/\\\\* =(\\\\s*.*?)\\\\s*= \\\\*/$\\\\n?","name":"comment.block.chapel"},{"begin":"/\\\\*","captures":{"0":{"name":"punctuation.definition.comment.chapel"}},"end":"\\\\*/","name":"comment.block.chapel","patterns":[{"include":"#blockcomments"}]}]},"comments":{"patterns":[{"include":"#blockcomments"},{"match":"\\\\*/.*\\\\n","name":"invalid.illegal.stray-comment-end.chapel"},{"captures":{"1":{"name":"meta.toc-list.banner.line.chapel"}},"match":"^// =(\\\\s*.*?)\\\\s*=\\\\s*$\\\\n?","name":"comment.line.banner.c++"},{"begin":"//","beginCaptures":{"0":{"name":"punctuation.definition.comment.chapel"}},"end":"$\\\\n?","name":"comment.line.double-slash.chapel","patterns":[{"match":"(?>\\\\\\\\\\\\s*\\\\n)","name":"punctuation.separator.continuation.chapel"}]}]},"constants":{"patterns":[{"match":"\\\\b(true|false|nil|none)\\\\b","name":"constant.language.chapel"},{"include":"#integers"},{"include":"#floats"}]},"extern_block":{"patterns":[{"begin":"\\\\b(extern)\\\\s*(?<!\\\\{)\\\\{(?!\\\\{)","beginCaptures":{"1":{"name":"keyword.control.chapel"}},"end":"(?<!})}(?!})","name":"meta.extern.chapel","patterns":[{"include":"source.c"}]}]},"floats":{"patterns":[{"match":"\\\\.([0-9][0-9_]*)([Ee]([-+])?([0-9][0-9_]*))?i?\\\\b","name":"constant.numeric.chapel"},{"match":"\\\\b([0-9][0-9_]*)\\\\.([0-9][0-9_]*)([Ee]([-+])?([0-9][0-9_]*))?i?\\\\b","name":"constant.numeric.chapel"},{"match":"\\\\b([0-9][0-9_]*)\\\\.([Ee]([-+])?([0-9][0-9_]*))i?\\\\b","name":"constant.numeric.chapel"},{"match":"\\\\b([0-9][0-9_]*)([Ee]([-+])?([0-9][0-9_]*))i?\\\\b","name":"constant.numeric.chapel"},{"match":"\\\\b0[Xx](\\\\h[_\\\\h]*)?\\\\.(\\\\h[_\\\\h]*)([Pp]([-+])?(\\\\h[_\\\\h]*))?i?\\\\b","name":"constant.numeric.chapel"},{"match":"\\\\b0[Xx](\\\\h[_\\\\h]*)\\\\.([Pp]([-+])?(\\\\h[_\\\\h]*))i?\\\\b","name":"constant.numeric.chapel"},{"match":"\\\\b0[Xx](\\\\h[_\\\\h]*)([Pp]([-+])?(\\\\h[_\\\\h]*))i?\\\\b","name":"constant.numeric.chapel"}]},"important_globals":{"patterns":[{"match":"\\\\b(here|LocaleSpace|Locales|numLocales)\\\\b","name":"support.variable.chapel"}]},"integers":{"patterns":[{"match":"\\\\b([0-9][0-9_]*)i?\\\\b","name":"constant.numeric.chapel"},{"match":"\\\\b(0[Xx]\\\\h[_\\\\h]*)i?\\\\b","name":"constant.numeric.chapel"},{"match":"\\\\b(0[Bb][01][01_]*)i?\\\\b","name":"constant.numeric.chapel"},{"match":"\\\\b(0[Oo][0-7][0-7_]*)i?\\\\b","name":"constant.numeric.chapel"}]},"keywords":{"patterns":[{"match":"\\\\b(align|as|atomic|begin|break|by|catch|class|cobegin|coforall|deinit|continue|defer|delete|dmapped|do|else|enum|except|export|extern|for|forall|foreach|forwarding|if|import|in|include|index|init=??|inline|inout|interface|implements|iter|label|lambda|let|lifetime|local|manage|module|new|noinit|on|only|operator|otherwise|out|override|postinit|__primitive|pragma|private|proc|prototype|public|record|reduce|require|return|scan|select|serial|then|these|throws??|try|union|use|when|where|while|with|yield|zip)\\\\b","name":"keyword.control.chapel"},{"match":"\\\\b(bool|bytes|complex|dmap|domain|imag|int|locale|nothing|opaque|range|real|string|subdomain|tuple|uint|void)\\\\b","name":"storage.type.chapel"},{"match":"\\\\b(borrowed|config|const|owned|param|private|public|ref|shared|sparse|sync|type|unmanaged|var)\\\\b","name":"storage.modifier.chapel"}]},"operators":{"patterns":[{"match":"<=|>=|==|[<>]|!=","name":"keyword.operator.comparison.chapel"},{"match":"\\\\+=|-=|\\\\*=|/=|%=|&=|(\\\\|=)|\\\\^=|>>=|<<=|\\\\*\\\\*=","name":"keyword.operator.assignment.augmented.chapel"},{"match":"[-*+]|\\\\*\\\\*|[%/]|<<|>>|&|(\\\\|)|[\\\\^~]|<=>|\\\\.\\\\.<|#|\\\\.\\\\.\\\\.?","name":"keyword.operator.arithmetic.chapel"},{"match":"=","name":"keyword.operator.assignment.chapel"},{"match":"[!:?]|->","name":"keyword.operator.others.chapel"},{"match":"[]\\\\[]|=>","name":"keyword.operator.domain.chapel"}]},"string_escapes":{"patterns":[{"match":"\\\\\\\\([\\"'?\\\\\\\\abefnprtv]|[0-3]\\\\d{0,2}|[4-7]\\\\d?|x\\\\h{0,2}|u\\\\h{0,4}|U\\\\h{0,8})","name":"constant.character.escape.chapel"},{"match":"\\\\\\\\.","name":"invalid.illegal.unknown-escape.chapel"}]},"string_format":{"patterns":[{"match":"(%\\\\?)","name":"constant.other.placeholder.chapel"},{"match":"(%\\\\{(#+|#+\\\\.#*|#*\\\\.#+)})","name":"constant.other.placeholder.chapel"},{"match":"(%\\\\{(.*?)})","name":"constant.other.placeholder.chapel"},{"match":"(%([+0<>@^])*(\\\\*|[0-9]+)?(\\\\.[0-9]*)?(?:[Xbdhjox]|\\\\\\\\?[\\"']S)?[Ee]?([Scimnrsuz]|(\\\\{(.S|\\\\*S|.S.)})|(/.*/)|(\\\\{/.*/[A-Za-z]+}))?)","name":"constant.other.placeholder.chapel"},{"match":"(%%)","name":"constant.other.placeholder.chapel"}]},"strings":{"patterns":[{"begin":"\\"\\"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.chapel"}},"end":"\\"\\"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.chapel"}},"name":"string.quoted.double.multi.chapel","patterns":[{"include":"#string_escapes"},{"include":"#string_format"}]},{"begin":"'''","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.chapel"}},"end":"'''","endCaptures":{"0":{"name":"punctuation.definition.string.end.chapel"}},"name":"string.quoted.single.multi.chapel","patterns":[{"include":"#string_escapes"},{"include":"#string_format"}]},{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.chapel"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.chapel"}},"name":"string.quoted.double.chapel","patterns":[{"include":"#string_escapes"},{"include":"#string_format"}]},{"begin":"'","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.chapel"}},"end":"'","endCaptures":{"0":{"name":"punctuation.definition.string.end.chapel"}},"name":"string.quoted.single.chapel","patterns":[{"include":"#string_escapes"},{"include":"#string_format"}]}]},"variables":{"patterns":[{"match":"\\\\b(this|super)\\\\b","name":"variable.language.chapel"}]}},"scopeName":"source.chapel","embeddedLangs":["c"],"aliases":["chpl"]}`)),n=[...e,t];export{n as default};

package/dist/client/assets/chart-column-BvK6lSzG.js

@@ -0,0 +1 @@
+import{f as e}from"./useRenderElement-D0HVF5g_.js";var t={name:`chart-column`,size:24,node:[[`path`,{d:`M3 3v16a2 2 0 0 0 2 2h16`,key:`c24i48`}],[`path`,{d:`M18 17V9`,key:`2bz60n`}],[`path`,{d:`M13 17V5`,key:`1frdt8`}],[`path`,{d:`M8 17v-3`,key:`17ska0`}]],aliases:[`bar-chart-3`]};t.node;var n=e(t);export{n as t};

package/dist/client/assets/chevron-down-yka18-iP.js

@@ -0,0 +1 @@
+import{f as e}from"./useRenderElement-D0HVF5g_.js";var t={name:`chevron-down`,size:24,node:[[`path`,{d:`m6 9 6 6 6-6`,key:`qrunsl`}]]};t.node;var n=e(t);export{n as t};

package/dist/client/assets/chevron-right-CHyIXx5W.js

@@ -0,0 +1 @@
+import{f as e}from"./useRenderElement-D0HVF5g_.js";var t={name:`chevron-right`,size:24,node:[[`path`,{d:`m9 18 6-6-6-6`,key:`mthhwq`}]]};t.node;var n=e(t);export{n as t};

package/dist/client/assets/clarity-CtfBBspg.js

@@ -0,0 +1 @@
+var e=[Object.freeze(JSON.parse(`{"displayName":"Clarity","name":"clarity","patterns":[{"include":"#expression"},{"include":"#define-constant"},{"include":"#define-data-var"},{"include":"#define-map"},{"include":"#define-function"},{"include":"#define-fungible-token"},{"include":"#define-non-fungible-token"},{"include":"#define-trait"},{"include":"#use-trait"}],"repository":{"built-in-func":{"begin":"(\\\\()\\\\s*([-+]|<=|>=|[*/<>]|and|append|as-contract\\\\???|as-max-len\\\\?|asserts!|at-block|begin|bit-and|bit-not|bit-or|bit-shift-left|bit-shift-right|bit-xor|buff-to-int-be|buff-to-int-le|buff-to-uint-be|buff-to-uint-le|concat|contract-call\\\\?|contract-of|default-to|element-at\\\\???|filter|fold|from-consensus-buff\\\\?|ft-burn\\\\?|ft-get-balance|ft-get-supply|ft-mint\\\\?|ft-transfer\\\\?|get-block-info\\\\?|get-burn-block-info\\\\?|get-stacks-block-info\\\\?|get-tenure-info\\\\?|hash160|if|impl-trait|index-of\\\\???|int-to-ascii|int-to-utf8|is-eq|is-err|is-none|is-ok|is-some|is-standard|keccak256|len|log2|map|match|merge|mod|nft-burn\\\\?|nft-get-owner\\\\?|nft-mint\\\\?|nft-transfer\\\\?|not|or|pow|principal-construct\\\\?|principal-destruct\\\\?|principal-of\\\\?|print|replace-at\\\\?|secp256k1-recover\\\\?|secp256k1-verify|sha256|sha512|sha512/256|slice\\\\?|sqrti|string-to-int\\\\?|string-to-uint\\\\?|to-ascii\\\\?|stx-account|stx-burn\\\\?|stx-get-balance|stx-transfer-memo\\\\?|stx-transfer\\\\?|to-consensus-buff\\\\?|to-int|to-uint|try!|unwrap!|unwrap-err!|unwrap-err-panic|unwrap-panic|xor|contract-hash\\\\?|restrict-assets\\\\?|with-stx|with-ft|with-nft|with-stacking|with-staking|with-pox|with-all-assets-unsafe|secp256r1-verify|verify-merkle-proof|get-bitcoin-tx-output\\\\?|ed25519-verify|secp256k1-decompress\\\\?)\\\\s+","beginCaptures":{"1":{"name":"punctuation.built-in-function.start.clarity"},"2":{"name":"keyword.declaration.built-in-function.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.built-in-function.end.clarity"}},"name":"meta.built-in-function","patterns":[{"include":"#expression"},{"include":"#user-func"}]},"comment":{"match":"(?<=^|[]\\"'(),;\\\\[\`{}\\\\s])(;).*$","name":"comment.line.semicolon.clarity"},"data-type":{"patterns":[{"include":"#comment"},{"match":"\\\\b(u?int)\\\\b","name":"entity.name.type.numeric.clarity"},{"match":"\\\\b(principal)\\\\b","name":"entity.name.type.principal.clarity"},{"match":"\\\\b(bool)\\\\b","name":"entity.name.type.bool.clarity"},{"captures":{"1":{"name":"punctuation.string_type-def.start.clarity"},"2":{"name":"entity.name.type.string_type.clarity"},"3":{"name":"constant.numeric.string_type-len.clarity"},"4":{"name":"punctuation.string_type-def.end.clarity"}},"match":"(\\\\()\\\\s*(string-(?:ascii|utf8))\\\\s+(\\\\d+)\\\\s*(\\\\))"},{"captures":{"1":{"name":"punctuation.buff-def.start.clarity"},"2":{"name":"entity.name.type.buff.clarity"},"3":{"name":"constant.numeric.buf-len.clarity"},"4":{"name":"punctuation.buff-def.end.clarity"}},"match":"(\\\\()\\\\s*(buff)\\\\s+(\\\\d+)\\\\s*(\\\\))"},{"begin":"(\\\\()\\\\s*(optional)\\\\s+","beginCaptures":{"1":{"name":"punctuation.optional-def.start.clarity"},"2":{"name":"storage.type.modifier"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.optional-def.end.clarity"}},"name":"meta.optional-def","patterns":[{"include":"#data-type"}]},{"begin":"(\\\\()\\\\s*(response)\\\\s+","beginCaptures":{"1":{"name":"punctuation.response-def.start.clarity"},"2":{"name":"storage.type.modifier"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.response-def.end.clarity"}},"name":"meta.response-def","patterns":[{"include":"#data-type"}]},{"begin":"(\\\\()\\\\s*(list)\\\\s+(\\\\d+)\\\\s+","beginCaptures":{"1":{"name":"punctuation.list-def.start.clarity"},"2":{"name":"entity.name.type.list.clarity"},"3":{"name":"constant.numeric.list-len.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.list-def.end.clarity"}},"name":"meta.list-def","patterns":[{"include":"#data-type"}]},{"begin":"(\\\\{)","beginCaptures":{"1":{"name":"punctuation.tuple-def.start.clarity"}},"end":"(})","endCaptures":{"1":{"name":"punctuation.tuple-def.end.clarity"}},"name":"meta.tuple-def","patterns":[{"match":"([A-Za-z][-!?\\\\w]*)(?=:)","name":"entity.name.tag.tuple-data-type-key.clarity"},{"include":"#data-type"}]}]},"define-constant":{"begin":"(\\\\()\\\\s*(define-constant)\\\\s+([A-Za-z][-!?\\\\w]*)\\\\s+","beginCaptures":{"1":{"name":"punctuation.define-constant.start.clarity"},"2":{"name":"keyword.declaration.define-constant.clarity"},"3":{"name":"entity.name.constant-name.clarity variable.other.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.define-constant.end.clarity"}},"name":"meta.define-constant","patterns":[{"include":"#expression"}]},"define-data-var":{"begin":"(\\\\()\\\\s*(define-data-var)\\\\s+([A-Za-z][-!?\\\\w]*)\\\\s+","beginCaptures":{"1":{"name":"punctuation.define-data-var.start.clarity"},"2":{"name":"keyword.declaration.define-data-var.clarity"},"3":{"name":"entity.name.data-var-name.clarity variable.other.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.define-data-var.end.clarity"}},"name":"meta.define-data-var","patterns":[{"include":"#data-type"},{"include":"#expression"}]},"define-function":{"begin":"(\\\\()\\\\s*(define-(?:public|private|read-only))\\\\s+","beginCaptures":{"1":{"name":"punctuation.define-function.start.clarity"},"2":{"name":"keyword.declaration.define-function.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.define-function.end.clarity"}},"name":"meta.define-function","patterns":[{"include":"#expression"},{"begin":"(\\\\()\\\\s*([A-Za-z][-!?\\\\w]*)\\\\s*","beginCaptures":{"1":{"name":"punctuation.function-signature.start.clarity"},"2":{"name":"entity.name.function.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.function-signature.end.clarity"}},"name":"meta.define-function-signature","patterns":[{"begin":"(\\\\()\\\\s*([A-Za-z][-!?\\\\w]*)\\\\s+","beginCaptures":{"1":{"name":"punctuation.function-argument.start.clarity"},"2":{"name":"variable.parameter.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.function-argument.end.clarity"}},"name":"meta.function-argument","patterns":[{"include":"#data-type"}]}]},{"include":"#user-func"}]},"define-fungible-token":{"captures":{"1":{"name":"punctuation.define-fungible-token.start.clarity"},"2":{"name":"keyword.declaration.define-fungible-token.clarity"},"3":{"name":"entity.name.fungible-token-name.clarity variable.other.clarity"},"4":{"name":"constant.numeric.fungible-token-total-supply.clarity"},"5":{"name":"punctuation.define-fungible-token.end.clarity"}},"match":"(\\\\()\\\\s*(define-fungible-token)\\\\s+([A-Za-z][-!?\\\\w]*)(?:\\\\s+(u\\\\d+))?"},"define-map":{"begin":"(\\\\()\\\\s*(define-map)\\\\s+([A-Za-z][-!?\\\\w]*)\\\\s+","beginCaptures":{"1":{"name":"punctuation.define-map.start.clarity"},"2":{"name":"keyword.declaration.define-map.clarity"},"3":{"name":"entity.name.map-name.clarity variable.other.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.define-map.end.clarity"}},"name":"meta.define-map","patterns":[{"include":"#data-type"},{"include":"#expression"}]},"define-non-fungible-token":{"begin":"(\\\\()\\\\s*(define-non-fungible-token)\\\\s+([A-Za-z][-!?\\\\w]*)\\\\s+","beginCaptures":{"1":{"name":"punctuation.define-non-fungible-token.start.clarity"},"2":{"name":"keyword.declaration.define-non-fungible-token.clarity"},"3":{"name":"entity.name.non-fungible-token-name.clarity variable.other.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.define-non-fungible-token.end.clarity"}},"name":"meta.define-non-fungible-token","patterns":[{"include":"#data-type"}]},"define-trait":{"begin":"(\\\\()\\\\s*(define-trait)\\\\s+([A-Za-z][-!?\\\\w]*)\\\\s+","beginCaptures":{"1":{"name":"punctuation.define-trait.start.clarity"},"2":{"name":"keyword.declaration.define-trait.clarity"},"3":{"name":"entity.name.trait-name.clarity variable.other.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.define-trait.end.clarity"}},"name":"meta.define-trait","patterns":[{"begin":"(\\\\()\\\\s*","beginCaptures":{"1":{"name":"punctuation.define-trait-body.start.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.define-trait-body.end.clarity"}},"name":"meta.define-trait-body","patterns":[{"include":"#expression"},{"begin":"(\\\\()\\\\s*([A-Za-z][-!?\\\\w]*)\\\\s+","beginCaptures":{"1":{"name":"punctuation.trait-function.start.clarity"},"2":{"name":"entity.name.function.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.trait-function.end.clarity"}},"name":"meta.trait-function","patterns":[{"include":"#data-type"},{"begin":"(\\\\()\\\\s*","beginCaptures":{"1":{"name":"punctuation.trait-function-args.start.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.trait-function-args.end.clarity"}},"name":"meta.trait-function-args","patterns":[{"include":"#data-type"}]}]}]}]},"expression":{"patterns":[{"include":"#comment"},{"include":"#keyword"},{"include":"#literal"},{"include":"#let-func"},{"include":"#built-in-func"},{"include":"#get-set-func"}]},"get-set-func":{"begin":"(\\\\()\\\\s*(var-get|var-set|map-get\\\\?|map-set|map-insert|map-delete|get)\\\\s+([A-Za-z][-!?\\\\w]*)\\\\s*","beginCaptures":{"1":{"name":"punctuation.get-set-func.start.clarity"},"2":{"name":"keyword.control.clarity"},"3":{"name":"variable.other.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.get-set-func.end.clarity"}},"name":"meta.get-set-func","patterns":[{"include":"#expression"}]},"keyword":{"match":"(?<!\\\\S)(?!-)\\\\b(?:block-height|burn-block-height|chain-id|contract-caller|is-in-regtest|stacks-block-height|stx-liquid-supply|tenure-height|tx-sender|tx-sponsor?|current-contract|stacks-block-time)\\\\b(?!\\\\s*-)","name":"constant.language.clarity"},"let-func":{"begin":"(\\\\()\\\\s*(let)\\\\s*","beginCaptures":{"1":{"name":"punctuation.let-function.start.clarity"},"2":{"name":"keyword.declaration.let-function.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.let-function.end.clarity"}},"name":"meta.let-function","patterns":[{"include":"#expression"},{"include":"#user-func"},{"begin":"(\\\\()\\\\s*","beginCaptures":{"1":{"name":"punctuation.let-var.start.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.let-var.end.clarity"}},"name":"meta.let-var","patterns":[{"begin":"(\\\\()([A-Za-z][-!?\\\\w]*)\\\\s+","beginCaptures":{"1":{"name":"punctuation.let-local-var.start.clarity"},"2":{"name":"entity.name.let-local-var-name.clarity variable.parameter.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.let-local-var.end.clarity"}},"name":"meta.let-local-var","patterns":[{"include":"#expression"},{"include":"#user-func"}]},{"include":"#expression"}]}]},"literal":{"patterns":[{"include":"#number-literal"},{"include":"#bool-literal"},{"include":"#string-literal"},{"include":"#tuple-literal"},{"include":"#principal-literal"},{"include":"#list-literal"},{"include":"#optional-literal"},{"include":"#response-literal"}],"repository":{"bool-literal":{"match":"(?<!\\\\S)(?!-)\\\\b(true|false)\\\\b(?!\\\\s*-)","name":"constant.language.bool.clarity"},"list-literal":{"begin":"(\\\\()\\\\s*(list)\\\\s+","beginCaptures":{"1":{"name":"punctuation.list.start.clarity"},"2":{"name":"entity.name.type.list.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"names":"punctuation.list.end.clarity"}},"name":"meta.list","patterns":[{"include":"#expression"},{"include":"#user-func"}]},"number-literal":{"patterns":[{"match":"(?<!\\\\S)(?!-)\\\\bu\\\\d+\\\\b(?!\\\\s*-)","name":"constant.numeric.uint.clarity"},{"match":"(?<!\\\\S)(?!-)\\\\b\\\\d+\\\\b(?!\\\\s*-)","name":"constant.numeric.int.clarity"},{"match":"(?<!\\\\S)(?!-)\\\\b0x[0-9a-f]*\\\\b(?!\\\\s*-)","name":"constant.numeric.hex.clarity"}]},"optional-literal":{"patterns":[{"match":"(?<!\\\\S)(?!-)\\\\b(none)\\\\b(?!\\\\s*-)","name":"constant.language.none.clarity"},{"begin":"(\\\\()\\\\s*(some)\\\\s+","beginCaptures":{"1":{"name":"punctuation.some.start.clarity"},"2":{"name":"constant.language.some.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.some.end.clarity"}},"name":"meta.some","patterns":[{"include":"#expression"}]}]},"principal-literal":{"match":"'[0-9A-Z]{28,41}(:?\\\\.[A-Za-z][-0-9A-Za-z]+){0,2}|(\\\\.[A-Za-z][-0-9A-Za-z]*){1,2}(?=[(),{}\\\\s]|$)","name":"constant.other.principal.clarity"},"response-literal":{"begin":"(\\\\()\\\\s*(ok|err)\\\\s+","beginCaptures":{"1":{"name":"punctuation.response.start.clarity"},"2":{"name":"constant.language.ok-err.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.response.end.clarity"}},"name":"meta.response","patterns":[{"include":"#expression"},{"include":"#user-func"}]},"string-literal":{"patterns":[{"begin":"(u?)(\\")","beginCaptures":{"1":{"name":"string.quoted.utf8.clarity"},"2":{"name":"punctuation.definition.string.begin.clarity"}},"end":"\\"","endCaptures":{"1":{"name":"punctuation.definition.string.end.clarity"}},"name":"string.quoted.double.clarity","patterns":[{"match":"\\\\\\\\.","name":"constant.character.escape.quote"}]}]},"tuple-literal":{"begin":"(\\\\{)","beginCaptures":{"1":{"name":"punctuation.tuple.start.clarity"}},"end":"(})","endCaptures":{"1":{"name":"punctuation.tuple.end.clarity"}},"name":"meta.tuple","patterns":[{"match":"([A-Za-z][-!?\\\\w]*)(?=:)","name":"entity.name.tag.tuple-key.clarity"},{"include":"#expression"},{"include":"#user-func"}]}}},"use-trait":{"begin":"(\\\\()\\\\s*(use-trait)\\\\s+([A-Za-z][-!?\\\\w]*)\\\\s+","beginCaptures":{"1":{"name":"punctuation.use-trait.start.clarity"},"2":{"name":"keyword.declaration.use-trait.clarity"},"3":{"name":"entity.name.trait-alias.clarity variable.other.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.use-trait.end.clarity"}},"name":"meta.use-trait","patterns":[{"include":"#literal"}]},"user-func":{"begin":"(\\\\()\\\\s*(([A-Za-z][-!?\\\\w]*))\\\\s*","beginCaptures":{"1":{"name":"punctuation.user-function.start.clarity"},"2":{"name":"entity.name.function.clarity"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.user-function.end.clarity"}},"name":"meta.user-function","patterns":[{"include":"#expression"},{"include":"$self"}]}},"scopeName":"source.clar"}`))];export{e as default};

package/dist/client/assets/clipboard-copy-DfdkWOiT.js

@@ -0,0 +1 @@
+import{f as e}from"./useRenderElement-D0HVF5g_.js";var t={name:`clipboard-copy`,size:24,node:[[`rect`,{width:`8`,height:`4`,x:`8`,y:`2`,rx:`1`,ry:`1`,key:`tgr4d6`}],[`path`,{d:`M8 4H6a2 2 0 0 0-2 2v14a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2v-2`,key:`4jdomd`}],[`path`,{d:`M16 4h2a2 2 0 0 1 2 2v4`,key:`3hqy98`}],[`path`,{d:`M21 14H11`,key:`1bme5i`}],[`path`,{d:`m15 10-4 4 4 4`,key:`5dvupr`}]]};t.node;var n=e(t);export{n as t};

package/dist/client/assets/copy-riIPLkKV.js

@@ -0,0 +1 @@
+import{f as e}from"./useRenderElement-D0HVF5g_.js";var t={name:`copy`,size:24,node:[[`rect`,{width:`14`,height:`14`,x:`8`,y:`8`,rx:`2`,ry:`2`,key:`17jyea`}],[`path`,{d:`M4 16c-1.1 0-2-.9-2-2V4c0-1.1.9-2 2-2h10c1.1 0 2 .9 2 2`,key:`zix9uf`}]]};t.node;var n=e(t);export{n as t};

package/dist/client/assets/coq-DuBRPxYg.js

@@ -0,0 +1 @@
+var e=[Object.freeze(JSON.parse(`{"displayName":"Rocq","fileTypes":["v"],"name":"coq","patterns":[{"match":"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b","name":"keyword.control.import.rocq"},{"match":"\\\\b((Open|Close|Delimit|Undelimit|Bind)\\\\s+Scope)\\\\b","name":"keyword.control.import.rocq"},{"captures":{"1":{"name":"keyword.source.rocq"},"2":{"name":"entity.name.function.theorem.rocq"}},"match":"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"match":"\\\\bGoal\\\\b","name":"keyword.source.rocq"},{"captures":{"1":{"name":"keyword.source.rocq"},"2":{"name":"keyword.source.rocq"},"3":{"name":"entity.name.assumption.rocq"}},"match":"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.rocq"},"3":{"name":"entity.name.assumption.rocq"}},"match":"\\\\b(Context)\\\\b\\\\s*\`?\\\\s*([({])?\\\\s*(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.rocq"},"2":{"name":"keyword.source.rocq"},"3":{"name":"entity.name.function.rocq"}},"match":"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.rocq"}},"match":"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b"},{"captures":{"1":{"name":"keyword.source.rocq"},"3":{"name":"entity.name.type.rocq"}},"match":"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.rocq"},"2":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac)\\\\s+(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.rocq"},"2":{"name":"keyword.source.rocq"},"3":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"match":"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b","name":"keyword.source.rocq"},{"match":"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b","name":"keyword.source.rocq"},{"match":"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b","name":"keyword.debug.rocq"},{"match":"\\\\b(admit|Admitted)\\\\b","name":"invalid.illegal.admit.rocq"},{"match":"[-*+:<=>{|}¬→↔∧∨≠≤≥]","name":"keyword.operator.rocq"},{"match":"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]","name":"support.type.rocq"},{"match":"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(into|with|eqn|by|move|as|using)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ","name":"keyword.control.gallina"},{"match":"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b","name":"support.function.builtin.ltac"},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*\\\\*(?!\\\\*)","end":"\\\\*\\\\)","name":"comment.doc.rocq","patterns":[{"include":"#doc_comment"},{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.rocq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"match":"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b","name":"constant.numeric.gallina"},{"match":"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b","name":"constant.language.constructor.gallina"},{"match":"\\\\b_\\\\b","name":"constant.language.wildcard.rocq"},{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.rocq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.rocq"}},"name":"string.quoted.double.rocq"}],"repository":{"block_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.rocq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},"block_double_quoted_string":{"applyEndPatternLast":1,"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.rocq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.rocq"}},"name":"string.quoted.double.rocq"},"doc_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*\\\\*(?!\\\\*)","end":"\\\\*\\\\)","name":"comment.doc.rocq","patterns":[{"include":"#doc_comment"},{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]}},"scopeName":"source.rocq"}`))];export{e as default};