externs.json

{"efVersion":"0.13.2","efModuleName":["Data","Field"],"efExports":[{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","CommutativeRing"],"exportSourceDefinedIn":["Data","CommutativeRing"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},"CommutativeRing"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","DivisionRing"],"exportSourceDefinedIn":["Data","DivisionRing"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},"DivisionRing"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","EuclideanRing"],"exportSourceDefinedIn":["Data","EuclideanRing"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},"EuclideanRing"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","Ring"],"exportSourceDefinedIn":["Data","Ring"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},"Ring"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},"Semiring"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"add"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","EuclideanRing"],"exportSourceDefinedIn":["Data","EuclideanRing"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"degree"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","EuclideanRing"],"exportSourceDefinedIn":["Data","EuclideanRing"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"div"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","EuclideanRing"],"exportSourceDefinedIn":["Data","EuclideanRing"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"gcd"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","EuclideanRing"],"exportSourceDefinedIn":["Data","EuclideanRing"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"lcm"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","EuclideanRing"],"exportSourceDefinedIn":["Data","EuclideanRing"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"mod"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"mul"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","Ring"],"exportSourceDefinedIn":["Data","Ring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"negate"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"one"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","DivisionRing"],"exportSourceDefinedIn":["Data","DivisionRing"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"recip"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","Ring"],"exportSourceDefinedIn":["Data","Ring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"sub"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"Ident":"zero"}]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},"*"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","Semiring"],"exportSourceDefinedIn":["Data","Semiring"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},"+"]}]},{"ReExportRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},{"exportSourceImportedFrom":["Data","EuclideanRing"],"exportSourceDefinedIn":["Data","EuclideanRing"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},"/"]}]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},"Field"]},{"ModuleRef":[{"start":[3,5],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[3,29]},["Data","DivisionRing"]]},{"ModuleRef":[{"start":[4,5],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[4,32]},["Data","CommutativeRing"]]},{"ModuleRef":[{"start":[5,5],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[5,30]},["Data","EuclideanRing"]]},{"ModuleRef":[{"start":[6,5],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[6,21]},["Data","Ring"]]},{"ModuleRef":[{"start":[7,5],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[7,25]},["Data","Semiring"]]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"field"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","DivisionRing"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[10,27],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[10,45]},"DivisionRing"]},{"ValueRef":[{"start":[10,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[10,52]},{"Ident":"recip"}]}]},"eiImportedAs":null},{"eiModule":["Data","CommutativeRing"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[11,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[11,51]},"CommutativeRing"]}]},"eiImportedAs":null},{"eiModule":["Data","EuclideanRing"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[12,28],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[12,47]},"EuclideanRing"]},{"ValueRef":[{"start":[12,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[12,55]},{"Ident":"degree"}]},{"ValueRef":[{"start":[12,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[12,60]},{"Ident":"div"}]},{"ValueRef":[{"start":[12,62],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[12,65]},{"Ident":"mod"}]},{"ValueOpRef":[{"start":[12,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[12,70]},"/"]},{"ValueRef":[{"start":[12,72],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[12,75]},{"Ident":"gcd"}]},{"ValueRef":[{"start":[12,77],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[12,80]},{"Ident":"lcm"}]}]},"eiImportedAs":null},{"eiModule":["Data","Ring"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[13,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[13,29]},"Ring"]},{"ValueRef":[{"start":[13,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[13,37]},{"Ident":"negate"}]},{"ValueRef":[{"start":[13,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[13,42]},{"Ident":"sub"}]}]},"eiImportedAs":null},{"eiModule":["Data","Semiring"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[14,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[14,37]},"Semiring"]},{"ValueRef":[{"start":[14,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[14,42]},{"Ident":"add"}]},{"ValueRef":[{"start":[14,44],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[14,47]},{"Ident":"mul"}]},{"ValueRef":[{"start":[14,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[14,52]},{"Ident":"one"}]},{"ValueRef":[{"start":[14,54],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[14,58]},{"Ident":"zero"}]},{"ValueOpRef":[{"start":[14,60],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[14,63]},"*"]},{"ValueOpRef":[{"start":[14,65],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[14,68]},"+"]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Field","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Field","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":["EuclideanRing0",{"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","EuclideanRing"],"EuclideanRing"]},{"annotation":[{"start":[39,22],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[39,23]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["DivisionRing1",{"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","DivisionRing"],"DivisionRing"]},{"annotation":[{"start":[39,38],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[39,39]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}]}}},{"EDClass":{"edClassName":"Field","edClassTypeArguments":[["a",null]],"edClassMembers":[],"edClassConstraints":[{"constraintAnn":[{"start":[39,8],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[39,23]},[]],"constraintClass":[["Data","EuclideanRing"],"EuclideanRing"],"constraintArgs":[{"annotation":[{"start":[39,22],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[39,23]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[39,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[39,39]},[]],"constraintClass":[["Data","DivisionRing"],"DivisionRing"],"constraintArgs":[{"annotation":[{"start":[39,38],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[39,39]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edFunctionalDependencies":[],"edIsEmpty":false}},{"EDInstance":{"edInstanceClassName":[["Data","Field"],"Field"],"edInstanceName":{"Ident":"field"},"edInstanceTypes":[{"annotation":[{"start":[41,62],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]},[]],"tag":"TypeVar","contents":"a"}],"edInstanceConstraints":[{"constraintAnn":[{"start":[41,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,35]},[]],"constraintClass":[["Data","EuclideanRing"],"EuclideanRing"],"constraintArgs":[{"annotation":[{"start":[41,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,35]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"constraintAnn":[{"start":[41,37],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,51]},[]],"constraintClass":[["Data","DivisionRing"],"DivisionRing"],"constraintArgs":[{"annotation":[{"start":[41,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,51]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Field"],{"Ident":"field"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Field.purs","end":[41,63]}}