1{"efVersion":"0.13.6","efModuleName":["Data","Monoid"],"efExports":[{"ReExportRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},{"exportSourceImportedFrom":["Data","Semigroup"],"exportSourceDefinedIn":["Data","Semigroup"]},{"TypeClassRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},"Semigroup"]}]},{"ReExportRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},{"exportSourceImportedFrom":["Data","Semigroup"],"exportSourceDefinedIn":["Data","Semigroup"]},{"TypeClassRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},"SemigroupRecord"]}]},{"ReExportRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},{"exportSourceImportedFrom":["Data","Semigroup"],"exportSourceDefinedIn":["Data","Semigroup"]},{"ValueOpRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},"<>"]}]},{"TypeClassRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},"Monoid"]},{"ValueRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},{"Ident":"mempty"}]},{"ValueRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},{"Ident":"power"}]},{"ValueRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},{"Ident":"guard"}]},{"ModuleRef":[{"start":[5,5],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[5,26]},["Data","Semigroup"]]},{"TypeClassRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},"MonoidRecord"]},{"ValueRef":[{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]},{"Ident":"memptyRecord"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monoidUnit"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monoidOrdering"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monoidFn"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monoidString"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monoidArray"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monoidRecord"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monoidRecordNil"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monoidRecordCons"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Boolean"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[9,22],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[9,31]},{"Ident":"otherwise"}]}]},"eiImportedAs":null},{"eiModule":["Data","Eq"],"eiImportType":{"Explicit":[{"ValueOpRef":[{"start":[10,17],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[10,21]},"=="]}]},"eiImportedAs":null},{"eiModule":["Data","EuclideanRing"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[11,28],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[11,31]},{"Ident":"mod"}]},{"ValueOpRef":[{"start":[11,33],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[11,36]},"/"]}]},"eiImportedAs":null},{"eiModule":["Data","Ord"],"eiImportType":{"Explicit":[{"ValueOpRef":[{"start":[12,18],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[12,22]},"<="]}]},"eiImportedAs":null},{"eiModule":["Data","Ordering"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[13,23],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[13,35]},"Ordering",null]}]},"eiImportedAs":null},{"eiModule":["Data","Semigroup"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[14,24],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[14,39]},"Semigroup"]},{"TypeClassRef":[{"start":[14,41],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[14,62]},"SemigroupRecord"]},{"ValueOpRef":[{"start":[14,64],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[14,68]},"<>"]}]},"eiImportedAs":null},{"eiModule":["Data","Symbol"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[15,21],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[15,35]},"IsSymbol"]},{"TypeRef":[{"start":[15,37],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[15,47]},"SProxy",null]},{"ValueRef":[{"start":[15,49],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[15,62]},{"Ident":"reflectSymbol"}]}]},"eiImportedAs":null},{"eiModule":["Data","Unit"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[16,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[16,23]},"Unit",[]]},{"ValueRef":[{"start":[16,25],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[16,29]},{"Ident":"unit"}]}]},"eiImportedAs":null},{"eiModule":["Prim","Row"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Row"]},{"eiModule":["Prim","RowList"],"eiImportType":{"Implicit":[]},"eiImportedAs":["RL"]},{"eiModule":["Record","Unsafe"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[19,23],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[19,32]},{"Ident":"unsafeSet"}]}]},"eiImportedAs":null},{"eiModule":["Type","Data","RowList"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[20,27],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[20,38]},"RLProxy",null]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Monoid","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Monoid","edTypeSynonymArguments":[["m",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":["mempty",{"annotation":[{"start":[32,13],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[32,14]},[]],"tag":"TypeVar","contents":"m"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["Semigroup0",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"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":"REmpty"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Data","Semigroup"],"Semigroup"]},{"annotation":[{"start":[31,17],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[31,18]},[]],"tag":"TypeVar","contents":"m"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}]}}},{"EDClass":{"edClassName":"Monoid","edClassTypeArguments":[["m",null]],"edClassMembers":[[{"Ident":"mempty"},{"annotation":[{"start":[32,13],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[32,14]},[]],"tag":"TypeVar","contents":"m"}]],"edClassConstraints":[{"constraintAnn":[{"start":[31,7],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[31,18]},[]],"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"annotation":[{"start":[31,17],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[31,18]},[]],"tag":"TypeVar","contents":"m"}],"constraintData":null}],"edFunctionalDependencies":[],"edIsEmpty":false}},{"EDValue":{"edValueName":{"Ident":"mempty"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["m",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"m"}],"constraintData":null},{"annotation":[{"start":[32,13],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[32,14]},[]],"tag":"TypeVar","contents":"m"}]},12]}}},{"EDValue":{"edValueName":{"Ident":"power"},"edValueType":{"annotation":[{"start":[62,10],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,45]},[]],"tag":"ForAll","contents":["m",{"annotation":[{"start":[62,20],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,45]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[62,20],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,28]},[]],"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"annotation":[{"start":[62,27],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,28]},[]],"tag":"TypeVar","contents":"m"}],"constraintData":null},{"annotation":[{"start":[62,32],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[62,32],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[62,34],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,36]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[62,32],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,33]},[]],"tag":"TypeVar","contents":"m"}]},{"annotation":[{"start":[62,37],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[62,37],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[62,41],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,43]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[62,37],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,40]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"annotation":[{"start":[62,44],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[62,45]},[]],"tag":"TypeVar","contents":"m"}]}]}]},34]}}},{"EDValue":{"edValueName":{"Ident":"guard"},"edValueType":{"annotation":[{"start":[73,10],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,49]},[]],"tag":"ForAll","contents":["m",{"annotation":[{"start":[73,20],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,49]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[73,20],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,28]},[]],"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"annotation":[{"start":[73,27],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,28]},[]],"tag":"TypeVar","contents":"m"}],"constraintData":null},{"annotation":[{"start":[73,32],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[73,32],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[73,40],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[73,32],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,39]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]},{"annotation":[{"start":[73,43],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[73,43],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[73,45],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[73,43],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,44]},[]],"tag":"TypeVar","contents":"m"}]},{"annotation":[{"start":[73,48],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[73,49]},[]],"tag":"TypeVar","contents":"m"}]}]}]},36]}}},{"EDType":{"edTypeName":"MonoidRecord","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,26]},[]],"tag":"NamedKind","contents":[["Prim","RowList"],"RowList"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"Row","contents":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[80,38],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,44]},[]],"tag":"Row","contents":{"annotation":[{"start":[80,38],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,44]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"MonoidRecord","edTypeSynonymArguments":[["rowlist",null],["row",null],["subrow",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":["memptyRecord",{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,35],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,37]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,34]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,26]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[80,27],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,34]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[80,38],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,38],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,44]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[80,45],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeVar","contents":"subrow"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["SemigroupRecord0",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"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":"REmpty"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Data","Semigroup"],"SemigroupRecord"]},{"annotation":[{"start":[79,23],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[79,30]},[]],"tag":"TypeVar","contents":"rowlist"}]},{"annotation":[{"start":[79,31],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[79,34]},[]],"tag":"TypeVar","contents":"row"}]},{"annotation":[{"start":[79,35],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[79,41]},[]],"tag":"TypeVar","contents":"subrow"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}]}}},{"EDClass":{"edClassName":"MonoidRecord","edClassTypeArguments":[["rowlist",null],["row",null],["subrow",null]],"edClassMembers":[[{"Ident":"memptyRecord"},{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,35],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,37]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,34]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,26]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[80,27],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,34]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[80,38],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,38],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,44]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[80,45],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]],"edClassConstraints":[{"constraintAnn":[{"start":[79,7],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[79,41]},[]],"constraintClass":[["Data","Semigroup"],"SemigroupRecord"],"constraintArgs":[{"annotation":[{"start":[79,23],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[79,30]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[79,31],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[79,34]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[79,35],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[79,41]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null}],"edFunctionalDependencies":[{"determiners":[0],"determined":[1,2]}],"edIsEmpty":false}},{"EDValue":{"edValueName":{"Ident":"memptyRecord"},"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":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","Monoid"],"MonoidRecord"],"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"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,35],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,37]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,34]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,26]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[80,27],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,34]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[80,38],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[80,38],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,44]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[80,45],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[80,51]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]},4]},5]},6]}}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidUnit"},"edInstanceTypes":[{"annotation":[{"start":[34,31],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[34,35]},[]],"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid"],{"Ident":"monoidUnit"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidOrdering"},"edInstanceTypes":[{"annotation":[{"start":[37,35],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[37,43]},[]],"tag":"TypeConstructor","contents":[["Data","Ordering"],"Ordering"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid"],{"Ident":"monoidOrdering"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidFn"},"edInstanceTypes":[{"annotation":[{"start":[40,42],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[40,48]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[40,42],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[40,48]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[40,44],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[40,46]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[40,42],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[40,43]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[40,47],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[40,48]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[40,22],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[40,30]},[]],"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"annotation":[{"start":[40,29],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[40,30]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","Monoid"],{"Ident":"monoidFn"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidString"},"edInstanceTypes":[{"annotation":[{"start":[43,33],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[43,39]},[]],"tag":"TypeConstructor","contents":[["Prim"],"String"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid"],{"Ident":"monoidString"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidArray"},"edInstanceTypes":[{"annotation":[{"start":[46,33],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[46,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[46,33],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[46,38]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"annotation":[{"start":[46,39],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[46,40]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid"],{"Ident":"monoidArray"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidRecord"},"edInstanceTypes":[{"annotation":[{"start":[49,88],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[49,98]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[49,88],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[49,94]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[49,95],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[49,98]},[]],"tag":"TypeVar","contents":"row"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[49,27],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[49,48]},[]],"constraintClass":[["Prim","RowList"],"RowToList"],"constraintArgs":[{"annotation":[{"start":[49,40],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[49,43]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[49,44],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[49,48]},[]],"tag":"TypeVar","contents":"list"}],"constraintData":null},{"constraintAnn":[{"start":[49,50],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[49,75]},[]],"constraintClass":[["Data","Monoid"],"MonoidRecord"],"constraintArgs":[{"annotation":[{"start":[49,63],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[49,67]},[]],"tag":"TypeVar","contents":"list"},{"annotation":[{"start":[49,68],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[49,71]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[49,72],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[49,75]},[]],"tag":"TypeVar","contents":"row"}],"constraintData":null}],"edInstanceChain":[[["Data","Monoid"],{"Ident":"monoidRecord"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"MonoidRecord"],"edInstanceName":{"Ident":"monoidRecordNil"},"edInstanceTypes":[{"annotation":[{"start":[82,42],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[82,48]},[]],"tag":"TypeConstructor","contents":[["Prim","RowList"],"Nil"]},{"annotation":[{"start":[82,49],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[82,52]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[82,54],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[82,55]},[]],"tag":"REmpty"}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid"],{"Ident":"monoidRecordNil"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"MonoidRecord"],"edInstanceName":{"Ident":"monoidRecordCons"},"edInstanceTypes":[{"annotation":[{"start":[91,22],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[91,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,22],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[91,39]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,22],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[91,33]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,22],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[91,29]},[]],"tag":"TypeConstructor","contents":[["Prim","RowList"],"Cons"]},{"annotation":[{"start":[91,30],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[91,33]},[]],"tag":"TypeVar","contents":"key"}]},{"annotation":[{"start":[91,34],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[91,39]},[]],"tag":"TypeVar","contents":"focus"}]},{"annotation":[{"start":[91,40],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[91,51]},[]],"tag":"TypeVar","contents":"rowlistTail"}]},{"annotation":[{"start":[91,53],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[91,56]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[91,57],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[91,63]},[]],"tag":"TypeVar","contents":"subrow"}],"edInstanceConstraints":[{"constraintAnn":[{"start":[86,10],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[86,22]},[]],"constraintClass":[["Data","Symbol"],"IsSymbol"],"constraintArgs":[{"annotation":[{"start":[86,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[86,22]},[]],"tag":"TypeVar","contents":"key"}],"constraintData":null},{"constraintAnn":[{"start":[87,10],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[87,22]},[]],"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"annotation":[{"start":[87,17],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[87,22]},[]],"tag":"TypeVar","contents":"focus"}],"constraintData":null},{"constraintAnn":[{"start":[88,10],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[88,46]},[]],"constraintClass":[["Prim","Row"],"Cons"],"constraintArgs":[{"annotation":[{"start":[88,19],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[88,22]},[]],"tag":"TypeVar","contents":"key"},{"annotation":[{"start":[88,23],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[88,28]},[]],"tag":"TypeVar","contents":"focus"},{"annotation":[{"start":[88,29],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[88,39]},[]],"tag":"TypeVar","contents":"subrowTail"},{"annotation":[{"start":[88,40],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[88,46]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"constraintAnn":[{"start":[89,10],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[89,49]},[]],"constraintClass":[["Data","Monoid"],"MonoidRecord"],"constraintArgs":[{"annotation":[{"start":[89,23],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[89,34]},[]],"tag":"TypeVar","contents":"rowlistTail"},{"annotation":[{"start":[89,35],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[89,38]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[89,39],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[89,49]},[]],"tag":"TypeVar","contents":"subrowTail"}],"constraintData":null}],"edInstanceChain":[[["Data","Monoid"],{"Ident":"monoidRecordCons"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":".spago/prelude/v4.1.1/src/Data/Monoid.purs","end":[97,59]}}
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