{"efVersion":"0.11.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/michael/projects/purescript-confusables/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[3,31]},[],{"ModuleRef":["Data","HeytingAlgebra"]}]},{"TypeInstanceRef":{"Ident":"booleanAlgebraBoolean"}},{"TypeInstanceRef":{"Ident":"booleanAlgebraUnit"}},{"TypeInstanceRef":{"Ident":"booleanAlgebraFn"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","HeytingAlgebra"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[6,29],"name":"/Users/michael/projects/purescript-confusables/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,49]},[],{"TypeClassRef":"HeytingAlgebra"}]},{"PositionedDeclarationRef":[{"start":[6,51],"name":"/Users/michael/projects/purescript-confusables/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,53]},[],{"ValueRef":{"Ident":"ff"}}]},{"PositionedDeclarationRef":[{"start":[6,55],"name":"/Users/michael/projects/purescript-confusables/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,57]},[],{"ValueRef":{"Ident":"tt"}}]},{"PositionedDeclarationRef":[{"start":[6,59],"name":"/Users/michael/projects/purescript-confusables/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,66]},[],{"ValueRef":{"Ident":"implies"}}]},{"PositionedDeclarationRef":[{"start":[6,68],"name":"/Users/michael/projects/purescript-confusables/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,72]},[],{"ValueRef":{"Ident":"conj"}}]},{"PositionedDeclarationRef":[{"start":[6,74],"name":"/Users/michael/projects/purescript-confusables/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,78]},[],{"ValueRef":{"Ident":"disj"}}]},{"PositionedDeclarationRef":[{"start":[6,80],"name":"/Users/michael/projects/purescript-confusables/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,83]},[],{"ValueRef":{"Ident":"not"}}]},{"PositionedDeclarationRef":[{"start":[6,85],"name":"/Users/michael/projects/purescript-confusables/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,89]},[],{"ValueOpRef":"&&"}]},{"PositionedDeclarationRef":[{"start":[6,91],"name":"/Users/michael/projects/purescript-confusables/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/michael/projects/purescript-confusables/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":["HeytingAlgebra0",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"REmpty"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","HeytingAlgebra"],"HeytingAlgebra"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"REmpty"}]}]}}},{"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":[]}},{"EDInstance":{"edInstanceClassName":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"edInstanceName":{"Ident":"booleanAlgebraFn"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","BooleanAlgebra"],"BooleanAlgebra"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}}],"efSourceSpan":{"start":[1,1],"name":"/Users/michael/projects/purescript-confusables/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]}}