{"efVersion":"0.11.5","efModuleName":["Type","Row","Effect","Equality"],"efExports":[{"TypeClassRef":"EffectRowEquals"},{"ValueRef":{"Ident":"effFrom"}},{"ValueRef":{"Ident":"effTo"}},{"ValueRef":{"Ident":"from"}},{"ValueRef":{"Ident":"to"}},{"TypeInstanceRef":{"Ident":"refl"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[9,27],"name":"/Users/michael/projects/purescript-confusables/bower_components/purescript-type-equality/src/Type/Row/Effect/Equality.purs","end":[9,38]},[],{"KindRef":"Effect"}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"EffectRowEquals","edTypeKind":{"tag":"FunKind","contents":[{"tag":"Row","contents":{"tag":"NamedKind","contents":[["Control","Monad","Eff"],"Effect"]}},{"tag":"FunKind","contents":[{"tag":"Row","contents":{"tag":"NamedKind","contents":[["Control","Monad","Eff"],"Effect"]}},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"EffectRowEquals","edTypeSynonymArguments":[["a",{"tag":"Row","contents":{"tag":"NamedKind","contents":[["Control","Monad","Eff"],"Effect"]}}],["b",{"tag":"Row","contents":{"tag":"NamedKind","contents":[["Control","Monad","Eff"],"Effect"]}}]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["to",{"tag":"ForAll","contents":["r",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"b"}]}]},null]},{"tag":"RCons","contents":["from",{"tag":"ForAll","contents":["r",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"a"}]}]},null]},{"tag":"REmpty"}]}]}]}}},{"EDClass":{"edClassName":"EffectRowEquals","edClassTypeArguments":[["a",{"tag":"Row","contents":{"tag":"NamedKind","contents":[["Control","Monad","Eff"],"Effect"]}}],["b",{"tag":"Row","contents":{"tag":"NamedKind","contents":[["Control","Monad","Eff"],"Effect"]}}]],"edClassMembers":[[{"Ident":"to"},{"tag":"ForAll","contents":["r",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"b"}]}]},null]}],[{"Ident":"from"},{"tag":"ForAll","contents":["r",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"a"}]}]},null]}]],"edClassConstraints":[],"edFunctionalDependencies":[{"determiners":[0],"determined":[1]},{"determiners":[1],"determined":[0]}]}},{"EDValue":{"edValueName":{"Ident":"effFrom"},"edValueType":{"tag":"ForAll","contents":["x",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["e",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Type","Row","Effect","Equality"],"EffectRowEquals"],"constraintArgs":[{"tag":"TypeVar","contents":"a"},{"tag":"TypeVar","contents":"b"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"e"},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"x"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"e"},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"x"}]}]}]},26]},27]},28]},29]}}},{"EDValue":{"edValueName":{"Ident":"effTo"},"edValueType":{"tag":"ForAll","contents":["x",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["e",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Type","Row","Effect","Equality"],"EffectRowEquals"],"constraintArgs":[{"tag":"TypeVar","contents":"a"},{"tag":"TypeVar","contents":"b"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"e"},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"x"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"e"},{"tag":"TypeVar","contents":"b"}]},{"tag":"TypeVar","contents":"x"}]}]}]},18]},19]},20]},21]}}},{"EDValue":{"edValueName":{"Ident":"from"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["r",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Type","Row","Effect","Equality"],"EffectRowEquals"],"constraintArgs":[{"tag":"TypeVar","contents":"a"},{"tag":"TypeVar","contents":"b"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"a"}]}]}]},15]},16]},17]}}},{"EDValue":{"edValueName":{"Ident":"to"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["r",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Type","Row","Effect","Equality"],"EffectRowEquals"],"constraintArgs":[{"tag":"TypeVar","contents":"a"},{"tag":"TypeVar","contents":"b"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"b"}]}]}]},6]},7]},8]}}},{"EDInstance":{"edInstanceClassName":[["Type","Row","Effect","Equality"],"EffectRowEquals"],"edInstanceName":{"Ident":"refl"},"edInstanceTypes":[{"tag":"TypeVar","contents":"a"},{"tag":"TypeVar","contents":"a"}],"edInstanceConstraints":[]}}],"efSourceSpan":{"start":[1,1],"name":"/Users/michael/projects/purescript-confusables/bower_components/purescript-type-equality/src/Type/Row/Effect/Equality.purs","end":[37,38]}}