{"efVersion":"0.10.5","efModuleName":["Data","Decidable"],"efExports":[{"TypeClassRef":"Decidable"},{"ValueRef":{"Ident":"lose"}},{"ValueRef":{"Ident":"lost"}},{"TypeInstanceRef":{"Ident":"decidableComparison"}},{"TypeInstanceRef":{"Ident":"decidableEquivalence"}},{"TypeInstanceRef":{"Ident":"decidablePredicate"}},{"TypeInstanceRef":{"Ident":"decidableOp"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Comparison"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[5,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[5,39]},[],{"TypeRef":["Comparison",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Decide"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[6,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[6,33]},[],{"TypeClassRef":"Decide"}]}]},"eiImportedAs":null},{"eiModule":["Data","Divisible"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[7,24],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[7,39]},[],{"TypeClassRef":"Divisible"}]}]},"eiImportedAs":null},{"eiModule":["Data","Equivalence"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[8,26],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[8,41]},[],{"TypeRef":["Equivalence",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Monoid"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[9,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[9,33]},[],{"TypeClassRef":"Monoid"}]}]},"eiImportedAs":null},{"eiModule":["Data","Op"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[10,17],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[10,23]},[],{"TypeRef":["Op",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Predicate"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[11,24],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decidable.purs","end":[11,37]},[],{"TypeRef":["Predicate",null]}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"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":["__superclass_Data.Decide.Decide_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","Decide"],"Decide"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"RCons","contents":["__superclass_Data.Divisible.Divisible_1",{"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","Divisible"],"Divisible"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"REmpty","contents":[]}]}]}]}]}}},{"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":"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]}}},{"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}]}}]}