1{"efVersion":"0.13.6","efModuleName":["Data","Eq"],"efExports":[{"TypeClassRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[104,61]},"Eq"]},{"ValueRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[104,61]},{"Ident":"eq"}]},{"ValueOpRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[104,61]},"=="]},{"ValueRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[104,61]},{"Ident":"notEq"}]},{"ValueOpRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[104,61]},"/="]},{"TypeClassRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[104,61]},"Eq1"]},{"ValueRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[104,61]},{"Ident":"eq1"}]},{"ValueRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[104,61]},{"Ident":"notEq1"}]},{"TypeClassRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[104,61]},"EqRecord"]},{"ValueRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[104,61]},{"Ident":"eqRecord"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqBoolean"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqInt"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqNumber"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqChar"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqString"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqUnit"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqVoid"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqArray"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqRec"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eq1Array"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqRowNil"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqRowCons"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","HeytingAlgebra"],"eiImportType":{"Explicit":[{"ValueOpRef":[{"start":[7,29],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[7,33]},"&&"]}]},"eiImportedAs":null},{"eiModule":["Data","Symbol"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[8,21],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[8,35]},"IsSymbol"]},{"TypeRef":[{"start":[8,37],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[8,47]},"SProxy",null]},{"ValueRef":[{"start":[8,49],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[8,62]},{"Ident":"reflectSymbol"}]}]},"eiImportedAs":null},{"eiModule":["Data","Unit"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[9,19],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[9,23]},"Unit",[]]}]},"eiImportedAs":null},{"eiModule":["Data","Void"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[10,19],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[10,23]},"Void",[]]}]},"eiImportedAs":null},{"eiModule":["Prim","Row"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Row"]},{"eiModule":["Prim","RowList"],"eiImportType":{"Implicit":[]},"eiImportedAs":["RL"]},{"eiModule":["Record","Unsafe"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[13,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[13,32]},{"Ident":"unsafeGet"}]}]},"eiImportedAs":null},{"eiModule":["Type","Data","RowList"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[14,27],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[14,38]},"RLProxy",null]}]},"eiImportedAs":null}],"efFixities":[{"efAssociativity":"infix","efPrecedence":4,"efOperator":"==","efAlias":[["Data","Eq"],{"Left":{"Ident":"eq"}}]},{"efAssociativity":"infix","efPrecedence":4,"efOperator":"/=","efAlias":[["Data","Eq"],{"Left":{"Ident":"notEq"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Eq","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[29,11],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,13]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Eq","edTypeSynonymArguments":[["a",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":["eq",{"annotation":[{"start":[29,9],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,9],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,11],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,13]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[29,9],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,10]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[29,14],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,14],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,16],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,18]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[29,14],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,15]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[29,19],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}}},{"EDClass":{"edClassName":"Eq","edClassTypeArguments":[["a",null]],"edClassMembers":[[{"Ident":"eq"},{"annotation":[{"start":[29,9],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,9],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,11],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,13]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[29,9],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,10]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[29,14],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,14],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,16],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,18]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[29,14],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,15]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[29,19],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]],"edClassConstraints":[],"edFunctionalDependencies":[],"edIsEmpty":false}},{"EDValue":{"edValueName":{"Ident":"eq"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[29,9],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,9],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,11],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,13]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[29,9],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,10]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[29,14],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,14],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[29,16],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,18]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[29,14],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,15]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[29,19],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[29,26]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]},11]}}},{"EDValue":{"edValueName":{"Ident":"notEq"},"edValueType":{"annotation":[{"start":[35,10],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,45]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[35,20],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,45]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[35,20],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,24]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[35,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,24]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[35,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[35,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[35,30],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,32]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[35,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,29]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[35,33],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[35,33],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[35,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,37]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[35,33],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,34]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[35,38],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[35,45]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]},31]}}},{"EDType":{"edTypeName":"Eq1","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,31]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[77,20],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,24]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[77,32],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,34]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Eq1","edTypeSynonymArguments":[["f",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":["eq1",{"annotation":[{"start":[77,10],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[77,20],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[77,20],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,24]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[77,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,24]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,32],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,34]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,31]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,29]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[77,30],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,31]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,39],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,41]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,38]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,36]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[77,37],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,38]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[77,42],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]},null]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}}},{"EDClass":{"edClassName":"Eq1","edClassTypeArguments":[["f",null]],"edClassMembers":[[{"Ident":"eq1"},{"annotation":[{"start":[77,10],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[77,20],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[77,20],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,24]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[77,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,24]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,32],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,34]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,31]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,29]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[77,30],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,31]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,39],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,41]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,38]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,36]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[77,37],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,38]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[77,42],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]},null]}]],"edClassConstraints":[],"edFunctionalDependencies":[],"edIsEmpty":false}},{"EDValue":{"edValueName":{"Ident":"eq1"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["f",{"annotation":[{"start":[77,10],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","Eq"],"Eq1"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"f"}],"constraintData":null},{"annotation":[{"start":[77,20],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[77,20],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,24]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[77,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,24]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,32],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,34]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,31]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,28],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,29]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[77,30],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,31]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,39],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,41]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,38]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,36]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[77,37],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,38]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[77,42],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[77,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]}]},9]},10]}}},{"EDValue":{"edValueName":{"Ident":"notEq1"},"edValueType":{"annotation":[{"start":[82,11],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,61]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[82,18],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,61]},[]],"tag":"ForAll","contents":["f",{"annotation":[{"start":[82,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,61]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[82,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,28]},[]],"constraintClass":[["Data","Eq"],"Eq1"],"constraintArgs":[{"annotation":[{"start":[82,27],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,28]},[]],"tag":"TypeVar","contents":"f"}],"constraintData":null},{"annotation":[{"start":[82,32],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,61]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[82,32],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,36]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[82,35],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,36]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[82,40],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[82,40],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[82,44],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,46]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[82,40],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,43]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[82,40],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,41]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[82,42],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,43]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[82,47],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[82,47],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[82,51],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,53]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[82,47],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[82,47],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,48]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[82,49],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,50]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[82,54],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[82,61]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]}]},33]},34]}}},{"EDType":{"edTypeName":"EqRecord","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,22]},[]],"tag":"NamedKind","contents":[["Prim","RowList"],"RowList"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,40]},[]],"tag":"Row","contents":{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,40]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"EqRecord","edTypeSynonymArguments":[["rowlist",null],["row",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":["eqRecord",{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,31],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[88,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,45],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,40]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[88,41],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,59],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,61]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[88,55],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,58]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[88,62],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}}},{"EDClass":{"edClassName":"EqRecord","edClassTypeArguments":[["rowlist",null],["row",null]],"edClassMembers":[[{"Ident":"eqRecord"},{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,31],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[88,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,45],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,40]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[88,41],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,59],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,61]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[88,55],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,58]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[88,62],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]}]],"edClassConstraints":[],"edFunctionalDependencies":[],"edIsEmpty":false}},{"EDValue":{"edValueName":{"Ident":"eqRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","Eq"],"EqRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"}],"constraintData":null},{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,31],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,15],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[88,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,45],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,34],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,40]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[88,41],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,59],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,61]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,48],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[88,55],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,58]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[88,62],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[88,69]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]}]},2]},3]}}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqBoolean"},"edInstanceTypes":[{"annotation":[{"start":[40,26],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[40,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Eq"],{"Ident":"eqBoolean"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqInt"},"edInstanceTypes":[{"annotation":[{"start":[43,22],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[43,25]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Eq"],{"Ident":"eqInt"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqNumber"},"edInstanceTypes":[{"annotation":[{"start":[46,25],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[46,31]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Number"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Eq"],{"Ident":"eqNumber"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqChar"},"edInstanceTypes":[{"annotation":[{"start":[49,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[49,27]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Char"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Eq"],{"Ident":"eqChar"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqString"},"edInstanceTypes":[{"annotation":[{"start":[52,25],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[52,31]},[]],"tag":"TypeConstructor","contents":[["Prim"],"String"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Eq"],{"Ident":"eqString"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqUnit"},"edInstanceTypes":[{"annotation":[{"start":[55,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[55,27]},[]],"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Eq"],{"Ident":"eqUnit"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqVoid"},"edInstanceTypes":[{"annotation":[{"start":[58,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[58,27]},[]],"tag":"TypeConstructor","contents":[["Data","Void"],"Void"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Eq"],{"Ident":"eqVoid"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqArray"},"edInstanceTypes":[{"annotation":[{"start":[61,33],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[61,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[61,33],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[61,38]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"annotation":[{"start":[61,39],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[61,40]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[61,21],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[61,25]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[61,24],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[61,25]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Eq"],{"Ident":"eqArray"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqRec"},"edInstanceTypes":[{"annotation":[{"start":[64,69],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[64,79]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,69],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[64,75]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[64,76],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[64,79]},[]],"tag":"TypeVar","contents":"row"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[64,20],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[64,41]},[]],"constraintClass":[["Prim","RowList"],"RowToList"],"constraintArgs":[{"annotation":[{"start":[64,33],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[64,36]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[64,37],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[64,41]},[]],"tag":"TypeVar","contents":"list"}],"constraintData":null},{"constraintAnn":[{"start":[64,43],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[64,60]},[]],"constraintClass":[["Data","Eq"],"EqRecord"],"constraintArgs":[{"annotation":[{"start":[64,52],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[64,56]},[]],"tag":"TypeVar","contents":"list"},{"annotation":[{"start":[64,57],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[64,60]},[]],"tag":"TypeVar","contents":"row"}],"constraintData":null}],"edInstanceChain":[[["Data","Eq"],{"Ident":"eqRec"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq1"],"edInstanceName":{"Ident":"eq1Array"},"edInstanceTypes":[{"annotation":[{"start":[79,26],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[79,31]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Array"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Eq"],{"Ident":"eq1Array"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"EqRecord"],"edInstanceName":{"Ident":"eqRowNil"},"edInstanceTypes":[{"annotation":[{"start":[90,31],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[90,37]},[]],"tag":"TypeConstructor","contents":[["Prim","RowList"],"Nil"]},{"annotation":[{"start":[90,38],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[90,41]},[]],"tag":"TypeVar","contents":"row"}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Eq"],{"Ident":"eqRowNil"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"EqRecord"],"edInstanceName":{"Ident":"eqRowCons"},"edInstanceTypes":[{"annotation":[{"start":[99,18],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[99,47]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[99,18],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[99,35]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[99,18],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[99,29]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[99,18],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[99,25]},[]],"tag":"TypeConstructor","contents":[["Prim","RowList"],"Cons"]},{"annotation":[{"start":[99,26],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[99,29]},[]],"tag":"TypeVar","contents":"key"}]},{"annotation":[{"start":[99,30],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[99,35]},[]],"tag":"TypeVar","contents":"focus"}]},{"annotation":[{"start":[99,36],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[99,47]},[]],"tag":"TypeVar","contents":"rowlistTail"}]},{"annotation":[{"start":[99,49],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[99,52]},[]],"tag":"TypeVar","contents":"row"}],"edInstanceConstraints":[{"constraintAnn":[{"start":[94,10],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[94,34]},[]],"constraintClass":[["Data","Eq"],"EqRecord"],"constraintArgs":[{"annotation":[{"start":[94,19],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[94,30]},[]],"tag":"TypeVar","contents":"rowlistTail"},{"annotation":[{"start":[94,31],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[94,34]},[]],"tag":"TypeVar","contents":"row"}],"constraintData":null},{"constraintAnn":[{"start":[95,10],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[95,40]},[]],"constraintClass":[["Prim","Row"],"Cons"],"constraintArgs":[{"annotation":[{"start":[95,19],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[95,22]},[]],"tag":"TypeVar","contents":"key"},{"annotation":[{"start":[95,23],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[95,28]},[]],"tag":"TypeVar","contents":"focus"},{"annotation":[{"start":[95,29],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[95,36]},[]],"tag":"TypeVar","contents":"rowTail"},{"annotation":[{"start":[95,37],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[95,40]},[]],"tag":"TypeVar","contents":"row"}],"constraintData":null},{"constraintAnn":[{"start":[96,10],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[96,22]},[]],"constraintClass":[["Data","Symbol"],"IsSymbol"],"constraintArgs":[{"annotation":[{"start":[96,19],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[96,22]},[]],"tag":"TypeVar","contents":"key"}],"constraintData":null},{"constraintAnn":[{"start":[97,10],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[97,18]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[97,13],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[97,18]},[]],"tag":"TypeVar","contents":"focus"}],"constraintData":null}],"edInstanceChain":[[["Data","Eq"],{"Ident":"eqRowCons"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Eq.purs","end":[104,61]}}
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