1{"efVersion":"0.13.6","efModuleName":["Data","Symbol"],"efExports":[{"TypeClassRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[23,24]},"IsSymbol"]},{"ValueRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[23,24]},{"Ident":"reflectSymbol"}]},{"ValueRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[23,24]},{"Ident":"reifySymbol"}]},{"TypeRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[23,24]},"SProxy",["SProxy"]]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"IsSymbol","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[12,24],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[12,30]},[]],"tag":"NamedKind","contents":[["Prim"],"Symbol"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"IsSymbol","edTypeSynonymArguments":[["sym",{"annotation":[{"start":[12,24],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[12,30]},[]],"tag":"NamedKind","contents":[["Prim"],"Symbol"]}]],"edTypeSynonymType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["reflectSymbol",{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[13,31],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,26]},[]],"tag":"TypeConstructor","contents":[["Data","Symbol"],"SProxy"]},{"annotation":[{"start":[13,27],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,30]},[]],"tag":"TypeVar","contents":"sym"}]}]},{"annotation":[{"start":[13,34],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,40]},[]],"tag":"TypeConstructor","contents":[["Prim"],"String"]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}}},{"EDClass":{"edClassName":"IsSymbol","edClassTypeArguments":[["sym",{"annotation":[{"start":[12,24],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[12,30]},[]],"tag":"NamedKind","contents":[["Prim"],"Symbol"]}]],"edClassMembers":[[{"Ident":"reflectSymbol"},{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[13,31],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,26]},[]],"tag":"TypeConstructor","contents":[["Data","Symbol"],"SProxy"]},{"annotation":[{"start":[13,27],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,30]},[]],"tag":"TypeVar","contents":"sym"}]}]},{"annotation":[{"start":[13,34],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,40]},[]],"tag":"TypeConstructor","contents":[["Prim"],"String"]}]}]],"edClassConstraints":[],"edFunctionalDependencies":[],"edIsEmpty":false}},{"EDValue":{"edValueName":{"Ident":"reflectSymbol"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["sym",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","Symbol"],"IsSymbol"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"sym"}],"constraintData":null},{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[13,31],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[13,20],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,26]},[]],"tag":"TypeConstructor","contents":[["Data","Symbol"],"SProxy"]},{"annotation":[{"start":[13,27],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,30]},[]],"tag":"TypeVar","contents":"sym"}]}]},{"annotation":[{"start":[13,34],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[13,40]},[]],"tag":"TypeConstructor","contents":[["Prim"],"String"]}]}]},8]}}},{"EDValue":{"edValueName":{"Ident":"reifySymbol"},"edValueType":{"annotation":[{"start":[18,16],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,86]},[]],"tag":"ForAll","contents":["r",{"annotation":[{"start":[18,26],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,86]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,26],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,86]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,33],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[18,26],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,32]},[]],"tag":"TypeConstructor","contents":[["Prim"],"String"]}]},{"annotation":[{"start":[18,36],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,86]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,36],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,86]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,82],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,84]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[18,37],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,80]},[]],"tag":"ForAll","contents":["sym",{"annotation":[{"start":[18,49],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,80]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[18,49],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,61]},[]],"constraintClass":[["Data","Symbol"],"IsSymbol"],"constraintArgs":[{"annotation":[{"start":[18,58],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,61]},[]],"tag":"TypeVar","contents":"sym"}],"constraintData":null},{"annotation":[{"start":[18,65],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,65],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,76],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,78]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[18,65],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,75]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,65],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,71]},[]],"tag":"TypeConstructor","contents":[["Data","Symbol"],"SProxy"]},{"annotation":[{"start":[18,72],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,75]},[]],"tag":"TypeVar","contents":"sym"}]}]},{"annotation":[{"start":[18,79],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,80]},[]],"tag":"TypeVar","contents":"r"}]}]},0]}]},{"annotation":[{"start":[18,85],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[18,86]},[]],"tag":"TypeVar","contents":"r"}]}]},1]}}},{"EDType":{"edTypeName":"SProxy","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[9,21],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[9,27]},[]],"tag":"NamedKind","contents":[["Prim"],"Symbol"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":{"args":[["sym",{"annotation":[{"start":[9,21],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[9,27]},[]],"tag":"NamedKind","contents":[["Prim"],"Symbol"]}]],"ctors":[["SProxy",[]]]}}}},{"EDDataConstructor":{"edDataCtorName":"SProxy","edDataCtorOrigin":"data","edDataCtorTypeCtor":"SProxy","edDataCtorType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["sym",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Data","Symbol"],"SProxy"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"sym"}]},null]},"edDataCtorFields":[]}}],"efSourceSpan":{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Symbol.purs","end":[23,24]}}
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list