{"efVersion":"0.10.5","efModuleName":["Data","BooleanAlgebra"],"efExports":[{"TypeClassRef":"BooleanAlgebra"},{"ReExportRef":[["Data","HeytingAlgebra"],{"TypeClassRef":"HeytingAlgebra"}]},{"ReExportRef":[["Data","HeytingAlgebra"],{"ValueRef":{"Ident":"conj"}}]},{"ReExportRef":[["Data","HeytingAlgebra"],{"ValueRef":{"Ident":"disj"}}]},{"ReExportRef":[["Data","HeytingAlgebra"],{"ValueRef":{"Ident":"ff"}}]},{"ReExportRef":[["Data","HeytingAlgebra"],{"ValueRef":{"Ident":"implies"}}]},{"ReExportRef":[["Data","HeytingAlgebra"],{"ValueRef":{"Ident":"not"}}]},{"ReExportRef":[["Data","HeytingAlgebra"],{"ValueRef":{"Ident":"tt"}}]},{"ReExportRef":[["Data","HeytingAlgebra"],{"ValueOpRef":"&&"}]},{"ReExportRef":[["Data","HeytingAlgebra"],{"ValueOpRef":"||"}]},{"PositionedDeclarationRef":[{"start":[3,5],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[3,31]},[],{"ModuleRef":["Data","HeytingAlgebra"]}]},{"TypeInstanceRef":{"Ident":"booleanAlgebraBoolean"}},{"TypeInstanceRef":{"Ident":"booleanAlgebraUnit"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","HeytingAlgebra"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[6,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,49]},[],{"TypeClassRef":"HeytingAlgebra"}]},{"PositionedDeclarationRef":[{"start":[6,51],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,53]},[],{"ValueRef":{"Ident":"ff"}}]},{"PositionedDeclarationRef":[{"start":[6,55],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,57]},[],{"ValueRef":{"Ident":"tt"}}]},{"PositionedDeclarationRef":[{"start":[6,59],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,66]},[],{"ValueRef":{"Ident":"implies"}}]},{"PositionedDeclarationRef":[{"start":[6,68],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,72]},[],{"ValueRef":{"Ident":"conj"}}]},{"PositionedDeclarationRef":[{"start":[6,74],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,78]},[],{"ValueRef":{"Ident":"disj"}}]},{"PositionedDeclarationRef":[{"start":[6,80],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,83]},[],{"ValueRef":{"Ident":"not"}}]},{"PositionedDeclarationRef":[{"start":[6,85],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,89]},[],{"ValueOpRef":"&&"}]},{"PositionedDeclarationRef":[{"start":[6,91],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,95]},[],{"ValueOpRef":"||"}]}]},"eiImportedAs":null},{"eiModule":["Data","Unit"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[7,19],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,23]},[],{"TypeRef":["Unit",[]]}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"BooleanAlgebra","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymName":"BooleanAlgebra","edTypeSynonymArguments":[["a",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["__superclass_Data.HeytingAlgebra.HeytingAlgebra_0",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"REmpty","contents":[]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","HeytingAlgebra"],"HeytingAlgebra"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"REmpty","contents":[]}]}]}}},{"EDClass":{"edClassName":"BooleanAlgebra","edClassTypeArguments":[["a",null]],"edClassMembers":[],"edClassConstraints":[{"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edFunctionalDependencies":[]}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraBoolean"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraUnit"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}],"edInstanceConstraints":[]}}]}