{"efVersion":"0.11.7","efModuleName":["Data","BooleanAlgebra"],"efExports":[{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},["Data","HeytingAlgebra"],{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},"HeytingAlgebra"]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},["Data","HeytingAlgebra"],{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},{"Ident":"conj"}]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},["Data","HeytingAlgebra"],{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},{"Ident":"disj"}]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},["Data","HeytingAlgebra"],{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},{"Ident":"ff"}]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},["Data","HeytingAlgebra"],{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},{"Ident":"implies"}]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},["Data","HeytingAlgebra"],{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},{"Ident":"not"}]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},["Data","HeytingAlgebra"],{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},{"Ident":"tt"}]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},["Data","HeytingAlgebra"],{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},"&&"]}]},{"ReExportRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},["Data","HeytingAlgebra"],{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},"||"]}]},{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]},"BooleanAlgebra"]},{"ModuleRef":[{"start":[3,5],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[3,31]},["Data","HeytingAlgebra"]]},{"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"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","HeytingAlgebra"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[6,29],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,49]},"HeytingAlgebra"]},{"ValueRef":[{"start":[6,51],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,53]},{"Ident":"ff"}]},{"ValueRef":[{"start":[6,55],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,57]},{"Ident":"tt"}]},{"ValueRef":[{"start":[6,59],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,66]},{"Ident":"implies"}]},{"ValueRef":[{"start":[6,68],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,72]},{"Ident":"conj"}]},{"ValueRef":[{"start":[6,74],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,78]},{"Ident":"disj"}]},{"ValueRef":[{"start":[6,80],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,83]},{"Ident":"not"}]},{"ValueOpRef":[{"start":[6,85],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,89]},"&&"]},{"ValueOpRef":[{"start":[6,91],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[6,95]},"||"]}]},"eiImportedAs":null},{"eiModule":["Data","Unit"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[7,19],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[7,23]},"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/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/BooleanAlgebra.purs","end":[21,72]}}