externs.json

{"efVersion":"0.12.5","efModuleName":["Data","DivisionRing"],"efExports":[{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"exportSourceImportedFrom":["Data","Ring"],"exportSourceDefinedIn":["Data","Ring"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},"Ring"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},"Semiring"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"Ident":"add"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"Ident":"mul"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"exportSourceImportedFrom":["Data","Ring"],"exportSourceDefinedIn":["Data","Ring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"Ident":"negate"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"Ident":"one"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"exportSourceImportedFrom":["Data","Ring"],"exportSourceDefinedIn":["Data","Ring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"Ident":"sub"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"Ident":"zero"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},"*"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},"+"]}]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},"DivisionRing"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"Ident":"recip"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"Ident":"leftDiv"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]},{"Ident":"rightDiv"}]},{"ModuleRef":[{"start":[6,5],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[6,21]},["Data","Ring"]]},{"ModuleRef":[{"start":[7,5],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[7,25]},["Data","Semiring"]]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"divisionringNumber"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","EuclideanRing"],"eiImportType":{"Explicit":[{"ValueOpRef":[{"start":[10,28],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[10,31]},"/"]}]},"eiImportedAs":null},{"eiModule":["Data","Ring"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[11,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[11,29]},"Ring"]},{"ValueRef":[{"start":[11,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[11,37]},{"Ident":"negate"}]},{"ValueRef":[{"start":[11,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[11,42]},{"Ident":"sub"}]}]},"eiImportedAs":null},{"eiModule":["Data","Semiring"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[12,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[12,37]},"Semiring"]},{"ValueRef":[{"start":[12,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[12,42]},{"Ident":"add"}]},{"ValueRef":[{"start":[12,44],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[12,47]},{"Ident":"mul"}]},{"ValueRef":[{"start":[12,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[12,52]},{"Ident":"one"}]},{"ValueRef":[{"start":[12,54],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[12,58]},{"Ident":"zero"}]},{"ValueOpRef":[{"start":[12,60],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[12,63]},"*"]},{"ValueOpRef":[{"start":[12,65],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[12,68]},"+"]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"DivisionRing","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[30,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,16]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"DivisionRing","edTypeSynonymArguments":[["a",null]],"edTypeSynonymType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["recip",{"annotation":[{"start":[30,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,18]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[30,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,18]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[30,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,16]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[30,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,13]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[30,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,18]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["Ring0",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Data","Ring"],"Ring"]},{"annotation":[{"start":[29,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[29,13]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}]}}},{"EDClass":{"edClassName":"DivisionRing","edClassTypeArguments":[["a",null]],"edClassMembers":[[{"Ident":"recip"},{"annotation":[{"start":[30,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,18]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[30,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,18]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[30,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,16]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[30,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,13]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[30,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,18]},[]],"tag":"TypeVar","contents":"a"}]}]],"edClassConstraints":[{"constraintAnn":[{"start":[29,7],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[29,13]},[]],"constraintClass":[["Data","Ring"],"Ring"],"constraintArgs":[{"annotation":[{"start":[29,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[29,13]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"recip"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","DivisionRing"],"DivisionRing"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[30,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,18]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[30,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,18]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[30,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,16]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[30,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,13]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[30,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[30,18]},[]],"tag":"TypeVar","contents":"a"}]}]},0]}}},{"EDValue":{"edValueName":{"Ident":"leftDiv"},"edValueType":{"annotation":[{"start":[40,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,51]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[40,22],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,51]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[40,22],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,36]},[]],"constraintClass":[["Data","DivisionRing"],"DivisionRing"],"constraintArgs":[{"annotation":[{"start":[40,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,36]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[40,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[40,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[40,42],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,44]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[40,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,41]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[40,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[40,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[40,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[40,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,46]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[40,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[40,51]},[]],"tag":"TypeVar","contents":"a"}]}]}]},3]}}},{"EDValue":{"edValueName":{"Ident":"rightDiv"},"edValueType":{"annotation":[{"start":[51,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,52]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[51,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,52]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[51,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,37]},[]],"constraintClass":[["Data","DivisionRing"],"DivisionRing"],"constraintArgs":[{"annotation":[{"start":[51,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,37]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[51,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[51,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[51,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,45]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[51,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,42]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[51,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[51,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[51,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,50]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[51,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,47]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[51,51],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[51,52]},[]],"tag":"TypeVar","contents":"a"}]}]}]},1]}}},{"EDInstance":{"edInstanceClassName":[["Data","DivisionRing"],"DivisionRing"],"edInstanceName":{"Ident":"divisionringNumber"},"edInstanceTypes":[{"annotation":[{"start":[54,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[54,51]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Number"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","DivisionRing"],{"Ident":"divisionringNumber"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/DivisionRing.purs","end":[55,20]}}