{"efVersion":"0.11.7","efModuleName":["Data","Semiring"],"efExports":[{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/Semiring.purs","end":[62,46]},"Semiring"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/Semiring.purs","end":[62,46]},{"Ident":"add"}]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/Semiring.purs","end":[62,46]},"+"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/Semiring.purs","end":[62,46]},{"Ident":"zero"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/Semiring.purs","end":[62,46]},{"Ident":"mul"}]},{"ValueOpRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/Semiring.purs","end":[62,46]},"*"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/Semiring.purs","end":[62,46]},{"Ident":"one"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semiringInt"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semiringNumber"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semiringFn"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semiringUnit"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Unit"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[3,19],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/Semiring.purs","end":[3,23]},"Unit",[]]},{"ValueRef":[{"start":[3,25],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/Semiring.purs","end":[3,29]},{"Ident":"unit"}]}]},"eiImportedAs":null}],"efFixities":[{"efAssociativity":"infixl","efPrecedence":6,"efOperator":"+","efAlias":[["Data","Semiring"],{"Left":{"Ident":"add"}}]},{"efAssociativity":"infixl","efPrecedence":7,"efOperator":"*","efAlias":[["Data","Semiring"],{"Left":{"Ident":"mul"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Semiring","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Semiring","edTypeSynonymArguments":[["a",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["add",{"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":["zero",{"tag":"TypeVar","contents":"a"},{"tag":"RCons","contents":["mul",{"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":["one",{"tag":"TypeVar","contents":"a"},{"tag":"REmpty"}]}]}]}]}]}}},{"EDClass":{"edClassName":"Semiring","edClassTypeArguments":[["a",null]],"edClassMembers":[[{"Ident":"add"},{"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"}]}]}],[{"Ident":"zero"},{"tag":"TypeVar","contents":"a"}],[{"Ident":"mul"},{"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"}]}]}],[{"Ident":"one"},{"tag":"TypeVar","contents":"a"}]],"edClassConstraints":[],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"add"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Semiring"],"Semiring"],"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"}]}]}]},3]}}},{"EDValue":{"edValueName":{"Ident":"zero"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Semiring"],"Semiring"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"tag":"TypeVar","contents":"a"}]},0]}}},{"EDValue":{"edValueName":{"Ident":"mul"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Semiring"],"Semiring"],"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"}]}]}]},2]}}},{"EDValue":{"edValueName":{"Ident":"one"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Data","Semiring"],"Semiring"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null},{"tag":"TypeVar","contents":"a"}]},1]}}},{"EDInstance":{"edInstanceClassName":[["Data","Semiring"],"Semiring"],"edInstanceName":{"Ident":"semiringInt"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Semiring"],"Semiring"],"edInstanceName":{"Ident":"semiringNumber"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Semiring"],"Semiring"],"edInstanceName":{"Ident":"semiringFn"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Semiring"],"Semiring"],"constraintArgs":[{"tag":"TypeVar","contents":"b"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Semiring"],"Semiring"],"edInstanceName":{"Ident":"semiringUnit"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}],"edInstanceConstraints":[]}}],"efSourceSpan":{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-prelude/src/Data/Semiring.purs","end":[62,46]}}