{"efVersion":"0.11.7","efModuleName":["Data","Decidable"],"efExports":[{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[30,13]},{"Ident":"lose"}]},{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[30,13]},"Decidable"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[30,13]},{"Ident":"lost"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"decidableComparison"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"decidableEquivalence"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"decidablePredicate"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"decidableOp"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Comparison"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[5,25],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[5,39]},"Comparison",null]}]},"eiImportedAs":null},{"eiModule":["Data","Decide"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[6,21],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[6,33]},"Decide"]}]},"eiImportedAs":null},{"eiModule":["Data","Divisible"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[7,24],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[7,39]},"Divisible"]}]},"eiImportedAs":null},{"eiModule":["Data","Equivalence"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[8,26],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[8,41]},"Equivalence",null]}]},"eiImportedAs":null},{"eiModule":["Data","Monoid"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[9,21],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[9,33]},"Monoid"]}]},"eiImportedAs":null},{"eiModule":["Data","Op"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[10,17],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[10,23]},"Op",null]}]},"eiImportedAs":null},{"eiModule":["Data","Predicate"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[11,24],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[11,37]},"Predicate",null]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDValue":{"edValueName":{"Ident":"lose"},"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Decidable"],"Decidable"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Data","Void"],"Void"]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]},0]},1]}}},{"EDType":{"edTypeName":"Decidable","edTypeKind":{"tag":"FunKind","contents":[{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Decidable","edTypeSynonymArguments":[["f",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["lose",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Data","Void"],"Void"]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},null]},{"tag":"RCons","contents":["Decide0",{"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","Decide"],"Decide"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"RCons","contents":["Divisible1",{"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","Divisible"],"Divisible"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"REmpty"}]}]}]}]}}},{"EDClass":{"edClassName":"Decidable","edClassTypeArguments":[["f",null]],"edClassMembers":[[{"Ident":"lose"},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Data","Void"],"Void"]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},null]}]],"edClassConstraints":[{"constraintClass":[["Data","Decide"],"Decide"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null},{"constraintClass":[["Data","Divisible"],"Divisible"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"lost"},"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Decidable"],"Decidable"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeConstructor","contents":[["Data","Void"],"Void"]}]}]},2]}}},{"EDInstance":{"edInstanceClassName":[["Data","Decidable"],"Decidable"],"edInstanceName":{"Ident":"decidableComparison"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Comparison"],"Comparison"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Decidable"],"Decidable"],"edInstanceName":{"Ident":"decidableEquivalence"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Equivalence"],"Equivalence"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Decidable"],"Decidable"],"edInstanceName":{"Ident":"decidablePredicate"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Predicate"],"Predicate"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Decidable"],"Decidable"],"edInstanceName":{"Ident":"decidableOp"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Op"],"Op"]},{"tag":"TypeVar","contents":"r"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Monoid"],"Monoid"],"constraintArgs":[{"tag":"TypeVar","contents":"r"}],"constraintData":null}]}}],"efSourceSpan":{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[30,13]}}