Created
January 9, 2021 01:49
-
-
Save runarorama/03f0acab2e0a9dcf832d53a8223d1e59 to your computer and use it in GitHub Desktop.
getDefinition output
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "typeDefinitions": [ | |
| [{ | |
| "tag": "ShortHash", | |
| "prefix": "jk39javgi28eog9lmpblqeg6eb6dkv9f2eo1kauceki0h7g0t9tbg2oi3u4qioa5d0mioptr5548049odbuv9tg34s6foqs26hf1feg", | |
| "cycle": null, | |
| "cid": null | |
| }, { | |
| "tag": "UserObject", | |
| "contents": [{ | |
| "annotation": { | |
| "tag": "DataTypeModifier" | |
| }, | |
| "segment": "unique" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "DataTypeKeyword" | |
| }, | |
| "segment": "type" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "HashQualifier", | |
| "contents": { | |
| "tag": "NameOnly", | |
| "contents": { | |
| "toText": "base.Map" | |
| } | |
| } | |
| }, | |
| "segment": "base.Map" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "DataTypeParams" | |
| }, | |
| "segment": "k" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "DataTypeParams" | |
| }, | |
| "segment": "v" | |
| }, { | |
| "annotation": { | |
| "tag": "DelimiterChar" | |
| }, | |
| "segment": " = " | |
| }, { | |
| "annotation": { | |
| "tag": "Constructor" | |
| }, | |
| "segment": "Tip" | |
| }, { | |
| "annotation": { | |
| "tag": "DelimiterChar" | |
| }, | |
| "segment": " | " | |
| }, { | |
| "annotation": { | |
| "tag": "Constructor" | |
| }, | |
| "segment": "Bin" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Reference", | |
| "contents": { | |
| "tag": "Builtin", | |
| "contents": "Nat" | |
| } | |
| }, | |
| "segment": "Nat" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "k" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "v" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": "(" | |
| }, { | |
| "annotation": { | |
| "tag": "Reference", | |
| "contents": { | |
| "tag": "ShortHash", | |
| "prefix": "jk39javgi28eog9lmpblqeg6eb6dkv9f2eo1kauceki0h7g0t9tbg2oi3u4qioa5d0mioptr5548049odbuv9tg34s6foqs26hf1feg", | |
| "cycle": null, | |
| "cid": null | |
| } | |
| }, | |
| "segment": "base.Map" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "k" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "v" | |
| }, { | |
| "annotation": null, | |
| "segment": ")" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": "(" | |
| }, { | |
| "annotation": { | |
| "tag": "Reference", | |
| "contents": { | |
| "tag": "ShortHash", | |
| "prefix": "jk39javgi28eog9lmpblqeg6eb6dkv9f2eo1kauceki0h7g0t9tbg2oi3u4qioa5d0mioptr5548049odbuv9tg34s6foqs26hf1feg", | |
| "cycle": null, | |
| "cid": null | |
| } | |
| }, | |
| "segment": "base.Map" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "k" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "v" | |
| }, { | |
| "annotation": null, | |
| "segment": ")" | |
| }] | |
| }] | |
| ], | |
| "missingDefinitions": [{ | |
| "tag": "NameOnly", | |
| "contents": { | |
| "toText": "blah" | |
| } | |
| }], | |
| "termDefinitions": [ | |
| [{ | |
| "tag": "ShortHash", | |
| "prefix": "j1ejquc7so57gceg2fsnurckebs21napum8h7jbs58bmefncgvb8h654kcp6tdt31epf25vka01q0plg8dqbl9fat988n08i1571qtg", | |
| "cycle": null, | |
| "cid": null | |
| }, { | |
| "tag": "UserObject", | |
| "contents": [{ | |
| "annotation": { | |
| "tag": "HashQualifier", | |
| "contents": { | |
| "tag": "NameOnly", | |
| "contents": { | |
| "toText": "base.List.map" | |
| } | |
| } | |
| }, | |
| "segment": "base.List.map" | |
| }, { | |
| "annotation": { | |
| "tag": "TypeAscriptionColon" | |
| }, | |
| "segment": " :" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": "(" | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "a" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "TypeOperator" | |
| }, | |
| "segment": "->" | |
| }, { | |
| "annotation": { | |
| "tag": "AbilityBraces" | |
| }, | |
| "segment": "{" | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "𝕖" | |
| }, { | |
| "annotation": { | |
| "tag": "AbilityBraces" | |
| }, | |
| "segment": "}" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "b" | |
| }, { | |
| "annotation": null, | |
| "segment": ")" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "TypeOperator" | |
| }, | |
| "segment": "->" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "DelimiterChar" | |
| }, | |
| "segment": "[" | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "a" | |
| }, { | |
| "annotation": { | |
| "tag": "DelimiterChar" | |
| }, | |
| "segment": "]" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "TypeOperator" | |
| }, | |
| "segment": "->" | |
| }, { | |
| "annotation": { | |
| "tag": "AbilityBraces" | |
| }, | |
| "segment": "{" | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "𝕖" | |
| }, { | |
| "annotation": { | |
| "tag": "AbilityBraces" | |
| }, | |
| "segment": "}" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "DelimiterChar" | |
| }, | |
| "segment": "[" | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "b" | |
| }, { | |
| "annotation": { | |
| "tag": "DelimiterChar" | |
| }, | |
| "segment": "]" | |
| }, { | |
| "annotation": null, | |
| "segment": "\n" | |
| }, { | |
| "annotation": { | |
| "tag": "HashQualifier", | |
| "contents": { | |
| "tag": "NameOnly", | |
| "contents": { | |
| "toText": "base.List.map" | |
| } | |
| } | |
| }, | |
| "segment": "base.List.map" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "f" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "a" | |
| }, { | |
| "annotation": { | |
| "tag": "BindingEquals" | |
| }, | |
| "segment": " =" | |
| }, { | |
| "annotation": null, | |
| "segment": "\n" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "HashQualifier", | |
| "contents": { | |
| "tag": "NameOnly", | |
| "contents": { | |
| "toText": "go" | |
| } | |
| } | |
| }, | |
| "segment": "go" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "i" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "as" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "acc" | |
| }, { | |
| "annotation": { | |
| "tag": "BindingEquals" | |
| }, | |
| "segment": " =" | |
| }, { | |
| "annotation": null, | |
| "segment": "\n" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "ControlKeyword" | |
| }, | |
| "segment": "match " | |
| }, { | |
| "annotation": { | |
| "tag": "Reference", | |
| "contents": { | |
| "tag": "Builtin", | |
| "contents": "List.at" | |
| } | |
| }, | |
| "segment": "List.at" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "i" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "as" | |
| }, { | |
| "annotation": { | |
| "tag": "ControlKeyword" | |
| }, | |
| "segment": " with" | |
| }, { | |
| "annotation": null, | |
| "segment": "\n" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Constructor" | |
| }, | |
| "segment": "None" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "ControlKeyword" | |
| }, | |
| "segment": "->" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "acc" | |
| }, { | |
| "annotation": null, | |
| "segment": "\n" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Constructor" | |
| }, | |
| "segment": "Some" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "a" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "ControlKeyword" | |
| }, | |
| "segment": "->" | |
| }, { | |
| "annotation": null, | |
| "segment": "\n" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "UseKeyword" | |
| }, | |
| "segment": "use " | |
| }, { | |
| "annotation": { | |
| "tag": "UsePrefix" | |
| }, | |
| "segment": "Nat" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "UseSuffix" | |
| }, | |
| "segment": "+" | |
| }, { | |
| "annotation": null, | |
| "segment": "\n" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "go" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Parenthesis" | |
| }, | |
| "segment": "(" | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "i" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Reference", | |
| "contents": { | |
| "tag": "Builtin", | |
| "contents": "Nat.+" | |
| } | |
| }, | |
| "segment": "+" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "NumericLiteral" | |
| }, | |
| "segment": "1" | |
| }, { | |
| "annotation": { | |
| "tag": "Parenthesis" | |
| }, | |
| "segment": ")" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "as" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Parenthesis" | |
| }, | |
| "segment": "(" | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "acc" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Reference", | |
| "contents": { | |
| "tag": "Builtin", | |
| "contents": "List.snoc" | |
| } | |
| }, | |
| "segment": ":+" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "f" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "a" | |
| }, { | |
| "annotation": { | |
| "tag": "Parenthesis" | |
| }, | |
| "segment": ")" | |
| }, { | |
| "annotation": null, | |
| "segment": "\n" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "go" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "NumericLiteral" | |
| }, | |
| "segment": "0" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "Var" | |
| }, | |
| "segment": "a" | |
| }, { | |
| "annotation": null, | |
| "segment": " " | |
| }, { | |
| "annotation": { | |
| "tag": "DelimiterChar" | |
| }, | |
| "segment": "[" | |
| }, { | |
| "annotation": { | |
| "tag": "DelimiterChar" | |
| }, | |
| "segment": "]" | |
| }] | |
| }] | |
| ] | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment