{"efVersion":"0.10.5","efModuleName":["Data","Decide"],"efExports":[{"TypeClassRef":"Decide"},{"ValueRef":{"Ident":"choose"}},{"ValueRef":{"Ident":"chosen"}},{"TypeInstanceRef":{"Ident":"chooseComparison"}},{"TypeInstanceRef":{"Ident":"chooseEquivalence"}},{"TypeInstanceRef":{"Ident":"choosePredicate"}},{"TypeInstanceRef":{"Ident":"chooseOp"}}],"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/Decide.purs","end":[5,39]},[],{"TypeRef":["Comparison",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Divide"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[6,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decide.purs","end":[6,33]},[],{"TypeClassRef":"Divide"}]}]},"eiImportedAs":null},{"eiModule":["Data","Either"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[7,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decide.purs","end":[7,31]},[],{"TypeRef":["Either",null]}]},{"PositionedDeclarationRef":[{"start":[7,33],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decide.purs","end":[7,39]},[],{"ValueRef":{"Ident":"either"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Equivalence"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[8,26],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decide.purs","end":[8,41]},[],{"TypeRef":["Equivalence",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Op"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[9,17],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decide.purs","end":[9,23]},[],{"TypeRef":["Op",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Predicate"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[10,24],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Decide.purs","end":[10,37]},[],{"TypeRef":["Predicate",null]}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Decide","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":"Decide","edTypeSynonymArguments":[["f",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["choose",{"tag":"ForAll","contents":["c",{"tag":"ForAll","contents":["b",{"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":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Either"],"Either"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"c"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"c"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]}]},null]},null]},null]},{"tag":"RCons","contents":["__superclass_Data.Divide.Divide_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","Divide"],"Divide"]},{"tag":"TypeVar","contents":"f"}]}]},{"tag":"REmpty","contents":[]}]}]}]}}},{"EDClass":{"edClassName":"Decide","edClassTypeArguments":[["f",null]],"edClassMembers":[[{"Ident":"choose"},{"tag":"ForAll","contents":["c",{"tag":"ForAll","contents":["b",{"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":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Either"],"Either"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"c"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"c"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]}]},null]},null]},null]}]],"edClassConstraints":[{"constraintClass":[["Data","Divide"],"Divide"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"choose"},"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["c",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Decide"],"Decide"],"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":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Either"],"Either"]},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"c"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"c"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]}]}]},46]},47]},48]},49]}}},{"EDValue":{"edValueName":{"Ident":"chosen"},"edValueType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["f",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Decide"],"Decide"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Either"],"Either"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}]}]}]}]},50]},51]},52]}}},{"EDInstance":{"edInstanceClassName":[["Data","Decide"],"Decide"],"edInstanceName":{"Ident":"chooseComparison"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Comparison"],"Comparison"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Decide"],"Decide"],"edInstanceName":{"Ident":"chooseEquivalence"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Equivalence"],"Equivalence"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Decide"],"Decide"],"edInstanceName":{"Ident":"choosePredicate"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Predicate"],"Predicate"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Decide"],"Decide"],"edInstanceName":{"Ident":"chooseOp"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Op"],"Op"]},{"tag":"TypeVar","contents":"r"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"tag":"TypeVar","contents":"r"}],"constraintData":null}]}}]}