externs.json

{"efVersion":"0.12.5","efModuleName":["Data","EuclideanRing"],"efExports":[{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"exportSourceImportedFrom":["Data","CommutativeRing"],"exportSourceDefinedIn":["Data","CommutativeRing"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},"CommutativeRing"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"exportSourceImportedFrom":["Data","Ring"],"exportSourceDefinedIn":["Data","Ring"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},"Ring"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},"Semiring"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"Ident":"add"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"Ident":"mul"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"Ident":"one"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"exportSourceImportedFrom":["Data","Ring"],"exportSourceDefinedIn":["Data","Ring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"Ident":"sub"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"Ident":"zero"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},"*"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},"+"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"exportSourceImportedFrom":["Data","Ring"],"exportSourceDefinedIn":["Data","Ring"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},"-"]}]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},"EuclideanRing"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"Ident":"degree"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"Ident":"div"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"Ident":"mod"}]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},"/"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"Ident":"gcd"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]},{"Ident":"lcm"}]},{"ModuleRef":[{"start":[5,5],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[5,32]},["Data","CommutativeRing"]]},{"ModuleRef":[{"start":[6,5],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[6,21]},["Data","Ring"]]},{"ModuleRef":[{"start":[7,5],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[7,25]},["Data","Semiring"]]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"euclideanRingInt"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"euclideanRingNumber"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","BooleanAlgebra"],"eiImportType":{"Explicit":[{"ValueOpRef":[{"start":[10,29],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[10,33]},"||"]}]},"eiImportedAs":null},{"eiModule":["Data","CommutativeRing"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[11,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[11,51]},"CommutativeRing"]}]},"eiImportedAs":null},{"eiModule":["Data","Eq"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[12,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[12,25]},"Eq"]},{"ValueOpRef":[{"start":[12,27],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[12,31]},"=="]}]},"eiImportedAs":null},{"eiModule":["Data","Ring"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[13,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[13,29]},"Ring"]},{"ValueRef":[{"start":[13,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[13,34]},{"Ident":"sub"}]},{"ValueOpRef":[{"start":[13,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[13,39]},"-"]}]},"eiImportedAs":null},{"eiModule":["Data","Semiring"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[14,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[14,37]},"Semiring"]},{"ValueRef":[{"start":[14,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[14,42]},{"Ident":"add"}]},{"ValueRef":[{"start":[14,44],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[14,47]},{"Ident":"mul"}]},{"ValueRef":[{"start":[14,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[14,52]},{"Ident":"one"}]},{"ValueRef":[{"start":[14,54],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[14,58]},{"Ident":"zero"}]},{"ValueOpRef":[{"start":[14,60],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[14,63]},"*"]},{"ValueOpRef":[{"start":[14,65],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[14,68]},"+"]}]},"eiImportedAs":null}],"efFixities":[{"efAssociativity":"infixl","efPrecedence":7,"efOperator":"/","efAlias":[["Data","EuclideanRing"],{"Left":{"Ident":"div"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"EuclideanRing","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[64,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,17]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"EuclideanRing","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":["degree",{"annotation":[{"start":[64,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,17]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[64,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,14]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[64,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,21]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["div",{"annotation":[{"start":[65,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[65,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[65,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,19]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[65,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,16]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[65,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["mod",{"annotation":[{"start":[66,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[66,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[66,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,19]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[66,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,16]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[66,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["CommutativeRing0",{"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","CommutativeRing"],"CommutativeRing"]},{"annotation":[{"start":[63,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[63,24]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}]}]}]}}},{"EDClass":{"edClassName":"EuclideanRing","edClassTypeArguments":[["a",null]],"edClassMembers":[[{"Ident":"degree"},{"annotation":[{"start":[64,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,17]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[64,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,14]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[64,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,21]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}],[{"Ident":"div"},{"annotation":[{"start":[65,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[65,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[65,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,19]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[65,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,16]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[65,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeVar","contents":"a"}]}]}],[{"Ident":"mod"},{"annotation":[{"start":[66,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[66,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[66,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,19]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[66,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,16]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[66,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeVar","contents":"a"}]}]}]],"edClassConstraints":[{"constraintAnn":[{"start":[63,7],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[63,24]},[]],"constraintClass":[["Data","CommutativeRing"],"CommutativeRing"],"constraintArgs":[{"annotation":[{"start":[63,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[63,24]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"degree"},"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","EuclideanRing"],"EuclideanRing"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[64,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,17]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[64,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,14]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[64,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[64,21]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}]},7]}}},{"EDValue":{"edValueName":{"Ident":"div"},"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","EuclideanRing"],"EuclideanRing"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[65,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[65,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[65,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,19]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[65,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,16]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[65,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[65,21]},[]],"tag":"TypeVar","contents":"a"}]}]}]},4]}}},{"EDValue":{"edValueName":{"Ident":"mod"},"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","EuclideanRing"],"EuclideanRing"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[66,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[66,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[66,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,19]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[66,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,16]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[66,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[66,21]},[]],"tag":"TypeVar","contents":"a"}]}]}]},0]}}},{"EDValue":{"edValueName":{"Ident":"gcd"},"edValueType":{"annotation":[{"start":[87,8],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,56]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[87,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,56]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[87,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,22]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[87,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,22]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[87,26],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,56]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[87,26],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,41]},[]],"constraintClass":[["Data","EuclideanRing"],"EuclideanRing"],"constraintArgs":[{"annotation":[{"start":[87,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,41]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[87,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[87,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[87,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[87,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,46]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[87,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[87,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[87,52],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[87,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,51]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[87,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[87,56]},[]],"tag":"TypeVar","contents":"a"}]}]}]}]},1]}}},{"EDValue":{"edValueName":{"Ident":"lcm"},"edValueType":{"annotation":[{"start":[94,8],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,56]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[94,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,56]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[94,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,22]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[94,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,22]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[94,26],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,56]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[94,26],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,41]},[]],"constraintClass":[["Data","EuclideanRing"],"EuclideanRing"],"constraintArgs":[{"annotation":[{"start":[94,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,41]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[94,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,46]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[94,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,52],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,51]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[94,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[94,56]},[]],"tag":"TypeVar","contents":"a"}]}]}]}]},5]}}},{"EDInstance":{"edInstanceClassName":[["Data","EuclideanRing"],"EuclideanRing"],"edInstanceName":{"Ident":"euclideanRingInt"},"edInstanceTypes":[{"annotation":[{"start":[70,44],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[70,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","EuclideanRing"],{"Ident":"euclideanRingInt"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","EuclideanRing"],"EuclideanRing"],"edInstanceName":{"Ident":"euclideanRingNumber"},"edInstanceTypes":[{"annotation":[{"start":[75,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[75,53]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Number"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","EuclideanRing"],{"Ident":"euclideanRingNumber"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/EuclideanRing.purs","end":[98,25]}}