externs.json

{"efVersion":"0.13.4","efModuleName":["Data","BooleanAlgebra"],"efExports":[{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"exportSourceImportedFrom":["Data","HeytingAlgebra"],"exportSourceDefinedIn":["Data","HeytingAlgebra"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},"HeytingAlgebra"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"exportSourceImportedFrom":["Data","HeytingAlgebra"],"exportSourceDefinedIn":["Data","HeytingAlgebra"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},"HeytingAlgebraRecord"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"exportSourceImportedFrom":["Data","HeytingAlgebra"],"exportSourceDefinedIn":["Data","HeytingAlgebra"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"Ident":"conj"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"exportSourceImportedFrom":["Data","HeytingAlgebra"],"exportSourceDefinedIn":["Data","HeytingAlgebra"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"Ident":"disj"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"exportSourceImportedFrom":["Data","HeytingAlgebra"],"exportSourceDefinedIn":["Data","HeytingAlgebra"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"Ident":"ff"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"exportSourceImportedFrom":["Data","HeytingAlgebra"],"exportSourceDefinedIn":["Data","HeytingAlgebra"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"Ident":"implies"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"exportSourceImportedFrom":["Data","HeytingAlgebra"],"exportSourceDefinedIn":["Data","HeytingAlgebra"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"Ident":"not"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"exportSourceImportedFrom":["Data","HeytingAlgebra"],"exportSourceDefinedIn":["Data","HeytingAlgebra"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"Ident":"tt"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"exportSourceImportedFrom":["Data","HeytingAlgebra"],"exportSourceDefinedIn":["Data","HeytingAlgebra"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},"&&"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},{"exportSourceImportedFrom":["Data","HeytingAlgebra"],"exportSourceDefinedIn":["Data","HeytingAlgebra"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},"||"]}]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},"BooleanAlgebra"]},{"ModuleRef":[{"start":[3,5],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[3,31]},["Data","HeytingAlgebra"]]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},"BooleanAlgebraRecord"]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"booleanAlgebraBoolean"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"booleanAlgebraUnit"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"booleanAlgebraFn"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"booleanAlgebraRecord"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"booleanAlgebraRecordNil"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"booleanAlgebraRecordCons"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","HeytingAlgebra"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[7,29],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,49]},"HeytingAlgebra"]},{"TypeClassRef":[{"start":[7,51],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,77]},"HeytingAlgebraRecord"]},{"ValueRef":[{"start":[7,79],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,81]},{"Ident":"ff"}]},{"ValueRef":[{"start":[7,83],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,85]},{"Ident":"tt"}]},{"ValueRef":[{"start":[7,87],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,94]},{"Ident":"implies"}]},{"ValueRef":[{"start":[7,96],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,100]},{"Ident":"conj"}]},{"ValueRef":[{"start":[7,102],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,106]},{"Ident":"disj"}]},{"ValueRef":[{"start":[7,108],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,111]},{"Ident":"not"}]},{"ValueOpRef":[{"start":[7,113],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,117]},"&&"]},{"ValueOpRef":[{"start":[7,119],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,123]},"||"]}]},"eiImportedAs":null},{"eiModule":["Data","Symbol"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[8,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[8,35]},"IsSymbol"]}]},"eiImportedAs":null},{"eiModule":["Data","Unit"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[9,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[9,23]},"Unit",[]]}]},"eiImportedAs":null},{"eiModule":["Prim","Row"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Row"]},{"eiModule":["Prim","RowList"],"eiImportType":{"Implicit":[]},"eiImportedAs":["RL"]}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"BooleanAlgebra","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":"BooleanAlgebra","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":["HeytingAlgebra0",{"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","HeytingAlgebra"],"HeytingAlgebra"]},{"annotation":[{"start":[21,22],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,23]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}}},{"EDClass":{"edClassName":"BooleanAlgebra","edClassTypeArguments":[["a",null]],"edClassMembers":[],"edClassConstraints":[{"constraintAnn":[{"start":[21,7],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,23]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[21,22],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,23]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edFunctionalDependencies":[],"edIsEmpty":false}},{"EDType":{"edTypeName":"BooleanAlgebraRecord","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"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":[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":"NamedKind","contents":[["Prim"],"Type"]}]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"BooleanAlgebraRecord","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":["HeytingAlgebraRecord0",{"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","HeytingAlgebra"],"HeytingAlgebraRecord"]},{"annotation":[{"start":[30,28],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[30,35]},[]],"tag":"TypeVar","contents":"rowlist"}]},{"annotation":[{"start":[30,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[30,39]},[]],"tag":"TypeVar","contents":"row"}]},{"annotation":[{"start":[30,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[30,46]},[]],"tag":"TypeVar","contents":"subrow"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}}},{"EDClass":{"edClassName":"BooleanAlgebraRecord","edClassTypeArguments":[["rowlist",null],["row",null],["subrow",null]],"edClassMembers":[],"edClassConstraints":[{"constraintAnn":[{"start":[30,7],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[30,46]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[30,28],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[30,35]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[30,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[30,39]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[30,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[30,46]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null}],"edFunctionalDependencies":[{"determiners":[0],"determined":[2]}],"edIsEmpty":false}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraBoolean"},"edInstanceTypes":[{"annotation":[{"start":[23,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[23,57]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","BooleanAlgebra"],{"Ident":"booleanAlgebraBoolean"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraUnit"},"edInstanceTypes":[{"annotation":[{"start":[24,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[24,51]},[]],"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","BooleanAlgebra"],{"Ident":"booleanAlgebraUnit"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraFn"},"edInstanceTypes":[{"annotation":[{"start":[25,66],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[25,72]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[25,66],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[25,72]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[25,68],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[25,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[25,66],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[25,67]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[25,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[25,72]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[25,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[25,46]},[]],"constraintClass":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"constraintArgs":[{"annotation":[{"start":[25,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[25,46]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","BooleanAlgebra"],{"Ident":"booleanAlgebraFn"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraRecord"},"edInstanceTypes":[{"annotation":[{"start":[26,112],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[26,122]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[26,112],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[26,118]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[26,119],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[26,122]},[]],"tag":"TypeVar","contents":"row"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[26,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[26,56]},[]],"constraintClass":[["Prim","RowList"],"RowToList"],"constraintArgs":[{"annotation":[{"start":[26,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[26,51]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[26,52],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[26,56]},[]],"tag":"TypeVar","contents":"list"}],"constraintData":null},{"constraintAnn":[{"start":[26,58],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[26,91]},[]],"constraintClass":[["Data","BooleanAlgebra"],"BooleanAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[26,79],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[26,83]},[]],"tag":"TypeVar","contents":"list"},{"annotation":[{"start":[26,84],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[26,87]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[26,88],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[26,91]},[]],"tag":"TypeVar","contents":"row"}],"constraintData":null}],"edInstanceChain":[[["Data","BooleanAlgebra"],{"Ident":"booleanAlgebraRecord"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebraRecord"],"edInstanceName":{"Ident":"booleanAlgebraRecordNil"},"edInstanceTypes":[{"annotation":[{"start":[32,58],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[32,64]},[]],"tag":"TypeConstructor","contents":[["Prim","RowList"],"Nil"]},{"annotation":[{"start":[32,65],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[32,68]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[32,70],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[32,71]},[]],"tag":"REmpty"}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","BooleanAlgebra"],{"Ident":"booleanAlgebraRecordNil"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebraRecord"],"edInstanceName":{"Ident":"booleanAlgebraRecordCons"},"edInstanceTypes":[{"annotation":[{"start":[40,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,59]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[40,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,47]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[40,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[40,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,37]},[]],"tag":"TypeConstructor","contents":[["Prim","RowList"],"Cons"]},{"annotation":[{"start":[40,38],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,41]},[]],"tag":"TypeVar","contents":"key"}]},{"annotation":[{"start":[40,42],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,47]},[]],"tag":"TypeVar","contents":"focus"}]},{"annotation":[{"start":[40,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,59]},[]],"tag":"TypeVar","contents":"rowlistTail"}]},{"annotation":[{"start":[40,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,64]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[40,65],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]},[]],"tag":"TypeVar","contents":"subrow"}],"edInstanceConstraints":[{"constraintAnn":[{"start":[35,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[35,22]},[]],"constraintClass":[["Data","Symbol"],"IsSymbol"],"constraintArgs":[{"annotation":[{"start":[35,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[35,22]},[]],"tag":"TypeVar","contents":"key"}],"constraintData":null},{"constraintAnn":[{"start":[36,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[36,46]},[]],"constraintClass":[["Prim","Row"],"Cons"],"constraintArgs":[{"annotation":[{"start":[36,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[36,22]},[]],"tag":"TypeVar","contents":"key"},{"annotation":[{"start":[36,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[36,28]},[]],"tag":"TypeVar","contents":"focus"},{"annotation":[{"start":[36,29],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[36,39]},[]],"tag":"TypeVar","contents":"subrowTail"},{"annotation":[{"start":[36,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[36,46]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"constraintAnn":[{"start":[37,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[37,57]},[]],"constraintClass":[["Data","BooleanAlgebra"],"BooleanAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[37,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[37,42]},[]],"tag":"TypeVar","contents":"rowlistTail"},{"annotation":[{"start":[37,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[37,46]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[37,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[37,57]},[]],"tag":"TypeVar","contents":"subrowTail"}],"constraintData":null},{"constraintAnn":[{"start":[38,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[38,30]},[]],"constraintClass":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"constraintArgs":[{"annotation":[{"start":[38,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[38,30]},[]],"tag":"TypeVar","contents":"focus"}],"constraintData":null}],"edInstanceChain":[[["Data","BooleanAlgebra"],{"Ident":"booleanAlgebraRecordCons"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[40,71]}}