1{"efVersion":"0.13.6","efModuleName":["Type","Equality"],"efExports":[{"TypeClassRef":[{"start":[1,1],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[23,13]},"TypeEquals"]},{"ValueRef":[{"start":[1,1],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[23,13]},{"Ident":"to"}]},{"ValueRef":[{"start":[1,1],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[23,13]},{"Ident":"from"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"refl"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"TypeEquals","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[18,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,13]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[18,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,13]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"TypeEquals","edTypeSynonymArguments":[["a",null],["b",null]],"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":["to",{"annotation":[{"start":[18,9],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,15]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,9],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,15]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,13]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[18,9],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,10]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[18,14],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,15]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["from",{"annotation":[{"start":[19,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,17]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[19,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,17]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[19,13],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[19,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,12]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[19,16],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}]}}},{"EDClass":{"edClassName":"TypeEquals","edClassTypeArguments":[["a",null],["b",null]],"edClassMembers":[[{"Ident":"to"},{"annotation":[{"start":[18,9],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,15]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,9],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,15]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,13]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[18,9],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,10]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[18,14],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,15]},[]],"tag":"TypeVar","contents":"b"}]}],[{"Ident":"from"},{"annotation":[{"start":[19,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,17]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[19,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,17]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[19,13],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[19,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,12]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[19,16],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,17]},[]],"tag":"TypeVar","contents":"a"}]}]],"edClassConstraints":[],"edFunctionalDependencies":[{"determiners":[0],"determined":[1]},{"determiners":[1],"determined":[0]}],"edIsEmpty":false}},{"EDValue":{"edValueName":{"Ident":"to"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Type","Equality"],"TypeEquals"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null},{"annotation":[{"start":[18,9],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,15]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,9],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,15]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[18,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,13]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[18,9],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,10]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[18,14],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[18,15]},[]],"tag":"TypeVar","contents":"b"}]}]},0]},1]}}},{"EDValue":{"edValueName":{"Ident":"from"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Type","Equality"],"TypeEquals"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null},{"annotation":[{"start":[19,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,17]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[19,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,17]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[19,13],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[19,11],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,12]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[19,16],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[19,17]},[]],"tag":"TypeVar","contents":"a"}]}]},4]},5]}}},{"EDInstance":{"edInstanceClassName":[["Type","Equality"],"TypeEquals"],"edInstanceName":{"Ident":"refl"},"edInstanceTypes":[{"annotation":[{"start":[21,29],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[21,30]},[]],"tag":"TypeVar","contents":"a"},{"annotation":[{"start":[21,31],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[21,32]},[]],"tag":"TypeVar","contents":"a"}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Equality"],{"Ident":"refl"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":".spago/type-equality/v3.0.0/src/Type/Equality.purs","end":[23,13]}}
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