{"efVersion":"0.10.5","efModuleName":["Data","Ring"],"efExports":[{"TypeClassRef":"Ring"},{"ReExportRef":[["Data","Semiring"],{"TypeClassRef":"Semiring"}]},{"ReExportRef":[["Data","Semiring"],{"ValueRef":{"Ident":"add"}}]},{"ReExportRef":[["Data","Semiring"],{"ValueRef":{"Ident":"mul"}}]},{"ValueRef":{"Ident":"negate"}},{"ReExportRef":[["Data","Semiring"],{"ValueRef":{"Ident":"one"}}]},{"ValueRef":{"Ident":"sub"}},{"ReExportRef":[["Data","Semiring"],{"ValueRef":{"Ident":"zero"}}]},{"ReExportRef":[["Data","Semiring"],{"ValueOpRef":"*"}]},{"ReExportRef":[["Data","Semiring"],{"ValueOpRef":"+"}]},{"ValueOpRef":"-"},{"PositionedDeclarationRef":[{"start":[3,5],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/Ring.purs","end":[3,25]},[],{"ModuleRef":["Data","Semiring"]}]},{"TypeInstanceRef":{"Ident":"ringInt"}},{"TypeInstanceRef":{"Ident":"ringNumber"}},{"TypeInstanceRef":{"Ident":"ringUnit"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Semiring"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[6,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/Ring.purs","end":[6,37]},[],{"TypeClassRef":"Semiring"}]},{"PositionedDeclarationRef":[{"start":[6,39],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/Ring.purs","end":[6,42]},[],{"ValueRef":{"Ident":"add"}}]},{"PositionedDeclarationRef":[{"start":[6,44],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/Ring.purs","end":[6,47]},[],{"ValueRef":{"Ident":"mul"}}]},{"PositionedDeclarationRef":[{"start":[6,49],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/Ring.purs","end":[6,52]},[],{"ValueRef":{"Ident":"one"}}]},{"PositionedDeclarationRef":[{"start":[6,54],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/Ring.purs","end":[6,58]},[],{"ValueRef":{"Ident":"zero"}}]},{"PositionedDeclarationRef":[{"start":[6,60],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/Ring.purs","end":[6,63]},[],{"ValueOpRef":"*"}]},{"PositionedDeclarationRef":[{"start":[6,65],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/Ring.purs","end":[6,68]},[],{"ValueOpRef":"+"}]}]},"eiImportedAs":null},{"eiModule":["Data","Unit"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[7,19],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/Ring.purs","end":[7,23]},[],{"TypeRef":["Unit",[]]}]},{"PositionedDeclarationRef":[{"start":[7,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-prelude/src/Data/Ring.purs","end":[7,29]},[],{"ValueRef":{"Ident":"unit"}}]}]},"eiImportedAs":null}],"efFixities":[{"efAssociativity":"infixl","efPrecedence":6,"efOperator":"-","efAlias":[["Data","Ring"],{"Left":{"Ident":"sub"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Ring","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymName":"Ring","edTypeSynonymArguments":[["a",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["sub",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"RCons","contents":["__superclass_Data.Semiring.Semiring_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","Semiring"],"Semiring"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"REmpty","contents":[]}]}]}]}}},{"EDClass":{"edClassName":"Ring","edClassTypeArguments":[["a",null]],"edClassMembers":[[{"Ident":"sub"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"a"}]}]}]],"edClassConstraints":[{"constraintClass":[["Data","Semiring"],"Semiring"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"negate"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Ring"],"Ring"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"a"}]}]},1]}}},{"EDValue":{"edValueName":{"Ident":"sub"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Ring"],"Ring"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"a"}]}]}]},0]}}},{"EDInstance":{"edInstanceClassName":[["Data","Ring"],"Ring"],"edInstanceName":{"Ident":"ringInt"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Ring"],"Ring"],"edInstanceName":{"Ident":"ringNumber"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Ring"],"Ring"],"edInstanceName":{"Ident":"ringUnit"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}],"edInstanceConstraints":[]}}]}