1{"efVersion":"0.13.6","efModuleName":["Type","Proxy"],"efExports":[{"TypeRef":[{"start":[49,1],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[187,20]},"Proxy",["Proxy"]]},{"TypeRef":[{"start":[49,1],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[187,20]},"Proxy2",["Proxy2"]]},{"TypeRef":[{"start":[49,1],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[187,20]},"Proxy3",["Proxy3"]]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"functorProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ordProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"applicativeProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"applyProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"bindProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"booleanAlgebraProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"boundedProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"commutativeRingProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"discardProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monadProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ringProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semigroupProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semiringProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"showProxy"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqProxy2"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ordProxy2"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"booleanAlgebraProxy2"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"boundedProxy2"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"commutativeRingProxy2"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"discardProxy2"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraProxy2"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ringProxy2"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semigroupProxy2"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semiringProxy2"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"showProxy2"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqProxy3"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ordProxy3"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"booleanAlgebraProxy3"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"boundedProxy3"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"commutativeRingProxy3"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"discardProxy3"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraProxy3"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ringProxy3"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semigroupProxy3"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semiringProxy3"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"showProxy3"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Proxy","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":{"DataType":{"args":[["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]],"ctors":[["Proxy",[]]]}}}},{"EDDataConstructor":{"edDataCtorName":"Proxy","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Proxy","edDataCtorType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}]},null]},"edDataCtorFields":[]}},{"EDType":{"edTypeName":"Proxy2","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[108,19],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[108,31]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[108,19],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[108,23]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[108,27],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[108,31]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":{"args":[["a",{"annotation":[{"start":[108,19],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[108,31]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[108,19],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[108,23]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[108,27],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[108,31]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]],"ctors":[["Proxy2",[]]]}}}},{"EDDataConstructor":{"edDataCtorName":"Proxy2","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Proxy2","edDataCtorType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}]},null]},"edDataCtorFields":[]}},{"EDType":{"edTypeName":"Proxy3","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[149,19],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[149,39]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[149,19],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[149,23]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[149,27],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[149,39]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[149,27],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[149,31]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[149,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[149,39]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":{"args":[["a",{"annotation":[{"start":[149,19],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[149,39]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[149,19],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[149,23]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[149,27],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[149,39]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[149,27],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[149,31]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[149,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[149,39]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]}]],"ctors":[["Proxy3",[]]]}}}},{"EDDataConstructor":{"edDataCtorName":"Proxy3","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Proxy3","edDataCtorType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}]},null]},"edDataCtorFields":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqProxy"},"edInstanceTypes":[{"annotation":[{"start":[56,32],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[56,39]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[56,32],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[56,37]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[56,38],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[56,39]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"eqProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Functor"],"Functor"],"edInstanceName":{"Ident":"functorProxy"},"edInstanceTypes":[{"annotation":[{"start":[58,41],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[58,46]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"functorProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord"],"edInstanceName":{"Ident":"ordProxy"},"edInstanceTypes":[{"annotation":[{"start":[60,34],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[60,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[60,34],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[60,39]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[60,40],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[60,41]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"ordProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Applicative"],"Applicative"],"edInstanceName":{"Ident":"applicativeProxy"},"edInstanceTypes":[{"annotation":[{"start":[62,42],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[62,47]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"applicativeProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Apply"],"Apply"],"edInstanceName":{"Ident":"applyProxy"},"edInstanceTypes":[{"annotation":[{"start":[65,30],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[65,35]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"applyProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Bind"],"edInstanceName":{"Ident":"bindProxy"},"edInstanceTypes":[{"annotation":[{"start":[68,28],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[68,33]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"bindProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraProxy"},"edInstanceTypes":[{"annotation":[{"start":[71,49],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[71,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[71,49],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[71,54]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[71,55],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[71,56]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"booleanAlgebraProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Bounded"],"Bounded"],"edInstanceName":{"Ident":"boundedProxy"},"edInstanceTypes":[{"annotation":[{"start":[73,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[73,42]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[73,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[73,40]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[73,41],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[73,42]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"boundedProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","CommutativeRing"],"CommutativeRing"],"edInstanceName":{"Ident":"commutativeRingProxy"},"edInstanceTypes":[{"annotation":[{"start":[77,51],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[77,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[77,51],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[77,56]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[77,57],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[77,58]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"commutativeRingProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Discard"],"edInstanceName":{"Ident":"discardProxy"},"edInstanceTypes":[{"annotation":[{"start":[79,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[79,42]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[79,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[79,40]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[79,41],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[79,42]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"discardProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraProxy"},"edInstanceTypes":[{"annotation":[{"start":[82,49],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[82,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[82,49],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[82,54]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[82,55],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[82,56]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"heytingAlgebraProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Monad"],"Monad"],"edInstanceName":{"Ident":"monadProxy"},"edInstanceTypes":[{"annotation":[{"start":[90,30],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[90,35]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"monadProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ring"],"Ring"],"edInstanceName":{"Ident":"ringProxy"},"edInstanceTypes":[{"annotation":[{"start":[92,29],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[92,36]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,29],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[92,34]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[92,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[92,36]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"ringProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup"],"Semigroup"],"edInstanceName":{"Ident":"semigroupProxy"},"edInstanceTypes":[{"annotation":[{"start":[95,39],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[95,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[95,39],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[95,44]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[95,45],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[95,46]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"semigroupProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semiring"],"Semiring"],"edInstanceName":{"Ident":"semiringProxy"},"edInstanceTypes":[{"annotation":[{"start":[98,37],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[98,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[98,37],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[98,42]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[98,43],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[98,44]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"semiringProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Show"],"Show"],"edInstanceName":{"Ident":"showProxy"},"edInstanceTypes":[{"annotation":[{"start":[104,29],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[104,36]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[104,29],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[104,34]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"annotation":[{"start":[104,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[104,36]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"showProxy"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqProxy2"},"edInstanceTypes":[{"annotation":[{"start":[110,33],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[110,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[110,33],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[110,39]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[110,40],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[110,41]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"eqProxy2"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord"],"edInstanceName":{"Ident":"ordProxy2"},"edInstanceTypes":[{"annotation":[{"start":[112,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[112,43]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[112,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[112,41]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[112,42],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[112,43]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"ordProxy2"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraProxy2"},"edInstanceTypes":[{"annotation":[{"start":[114,50],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[114,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[114,50],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[114,56]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[114,57],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[114,58]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"booleanAlgebraProxy2"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Bounded"],"Bounded"],"edInstanceName":{"Ident":"boundedProxy2"},"edInstanceTypes":[{"annotation":[{"start":[116,36],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[116,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[116,36],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[116,42]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[116,43],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[116,44]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"boundedProxy2"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","CommutativeRing"],"CommutativeRing"],"edInstanceName":{"Ident":"commutativeRingProxy2"},"edInstanceTypes":[{"annotation":[{"start":[120,52],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[120,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[120,52],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[120,58]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[120,59],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[120,60]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"commutativeRingProxy2"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Discard"],"edInstanceName":{"Ident":"discardProxy2"},"edInstanceTypes":[{"annotation":[{"start":[122,36],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[122,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[122,36],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[122,42]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[122,43],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[122,44]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"discardProxy2"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraProxy2"},"edInstanceTypes":[{"annotation":[{"start":[125,50],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[125,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[125,50],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[125,56]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[125,57],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[125,58]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"heytingAlgebraProxy2"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ring"],"Ring"],"edInstanceName":{"Ident":"ringProxy2"},"edInstanceTypes":[{"annotation":[{"start":[133,30],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[133,38]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[133,30],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[133,36]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[133,37],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[133,38]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"ringProxy2"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup"],"Semigroup"],"edInstanceName":{"Ident":"semigroupProxy2"},"edInstanceTypes":[{"annotation":[{"start":[136,40],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[136,48]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[136,40],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[136,46]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[136,47],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[136,48]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"semigroupProxy2"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semiring"],"Semiring"],"edInstanceName":{"Ident":"semiringProxy2"},"edInstanceTypes":[{"annotation":[{"start":[139,38],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[139,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[139,38],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[139,44]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[139,45],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[139,46]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"semiringProxy2"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Show"],"Show"],"edInstanceName":{"Ident":"showProxy2"},"edInstanceTypes":[{"annotation":[{"start":[145,30],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[145,38]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[145,30],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[145,36]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy2"]},{"annotation":[{"start":[145,37],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[145,38]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"showProxy2"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqProxy3"},"edInstanceTypes":[{"annotation":[{"start":[151,33],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[151,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[151,33],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[151,39]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[151,40],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[151,41]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"eqProxy3"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord"],"edInstanceName":{"Ident":"ordProxy3"},"edInstanceTypes":[{"annotation":[{"start":[153,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[153,43]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[153,35],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[153,41]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[153,42],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[153,43]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"ordProxy3"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraProxy3"},"edInstanceTypes":[{"annotation":[{"start":[155,50],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[155,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[155,50],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[155,56]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[155,57],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[155,58]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"booleanAlgebraProxy3"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Bounded"],"Bounded"],"edInstanceName":{"Ident":"boundedProxy3"},"edInstanceTypes":[{"annotation":[{"start":[157,36],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[157,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[157,36],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[157,42]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[157,43],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[157,44]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"boundedProxy3"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","CommutativeRing"],"CommutativeRing"],"edInstanceName":{"Ident":"commutativeRingProxy3"},"edInstanceTypes":[{"annotation":[{"start":[161,52],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[161,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[161,52],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[161,58]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[161,59],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[161,60]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"commutativeRingProxy3"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Discard"],"edInstanceName":{"Ident":"discardProxy3"},"edInstanceTypes":[{"annotation":[{"start":[163,36],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[163,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[163,36],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[163,42]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[163,43],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[163,44]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"discardProxy3"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraProxy3"},"edInstanceTypes":[{"annotation":[{"start":[166,50],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[166,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[166,50],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[166,56]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[166,57],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[166,58]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"heytingAlgebraProxy3"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ring"],"Ring"],"edInstanceName":{"Ident":"ringProxy3"},"edInstanceTypes":[{"annotation":[{"start":[174,30],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[174,38]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[174,30],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[174,36]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[174,37],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[174,38]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"ringProxy3"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup"],"Semigroup"],"edInstanceName":{"Ident":"semigroupProxy3"},"edInstanceTypes":[{"annotation":[{"start":[177,40],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[177,48]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[177,40],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[177,46]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[177,47],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[177,48]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"semigroupProxy3"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semiring"],"Semiring"],"edInstanceName":{"Ident":"semiringProxy3"},"edInstanceTypes":[{"annotation":[{"start":[180,38],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[180,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[180,38],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[180,44]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[180,45],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[180,46]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"semiringProxy3"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Show"],"Show"],"edInstanceName":{"Ident":"showProxy3"},"edInstanceTypes":[{"annotation":[{"start":[186,30],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[186,38]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[186,30],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[186,36]},[]],"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy3"]},{"annotation":[{"start":[186,37],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[186,38]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[],"edInstanceChain":[[["Type","Proxy"],{"Ident":"showProxy3"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[49,1],"name":".spago/proxy/v3.0.0/src/Type/Proxy.purs","end":[187,20]}}
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