{"efVersion":"0.10.5","efModuleName":["Data","Divisible"],"efExports":[{"TypeClassRef":"Divisible"},{"ValueRef":{"Ident":"conquer"}},{"TypeInstanceRef":{"Ident":"divisibleComparison"}},{"TypeInstanceRef":{"Ident":"divisibleEquivalence"}},{"TypeInstanceRef":{"Ident":"divisiblePredicate"}},{"TypeInstanceRef":{"Ident":"divisibleOp"}}],"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/Divisible.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/Divisible.purs","end":[6,33]},[],{"TypeClassRef":"Divide"}]}]},"eiImportedAs":null},{"eiModule":["Data","Equivalence"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[7,26],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Divisible.purs","end":[7,41]},[],{"TypeRef":["Equivalence",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Monoid"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[8,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Divisible.purs","end":[8,33]},[],{"TypeClassRef":"Monoid"}]},{"PositionedDeclarationRef":[{"start":[8,35],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Divisible.purs","end":[8,41]},[],{"ValueRef":{"Ident":"mempty"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Op"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[9,17],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Divisible.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/Divisible.purs","end":[10,37]},[],{"TypeRef":["Predicate",null]}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Divisible","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":"Divisible","edTypeSynonymArguments":[["f",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["conquer",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]},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":"Divisible","edClassTypeArguments":[["f",null]],"edClassMembers":[[{"Ident":"conquer"},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]},null]}]],"edClassConstraints":[{"constraintClass":[["Data","Divide"],"Divide"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"conquer"},"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Divisible"],"Divisible"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},34]},35]}}},{"EDInstance":{"edInstanceClassName":[["Data","Divisible"],"Divisible"],"edInstanceName":{"Ident":"divisibleComparison"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Comparison"],"Comparison"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Divisible"],"Divisible"],"edInstanceName":{"Ident":"divisibleEquivalence"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Equivalence"],"Equivalence"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Divisible"],"Divisible"],"edInstanceName":{"Ident":"divisiblePredicate"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Predicate"],"Predicate"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Divisible"],"Divisible"],"edInstanceName":{"Ident":"divisibleOp"},"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}]}}]}