{"efVersion":"0.10.5","efModuleName":["Data","Inject"],"efExports":[{"TypeClassRef":"Inject"},{"ValueRef":{"Ident":"inj"}},{"ValueRef":{"Ident":"prj"}},{"TypeInstanceRef":{"Ident":"injectReflexive"}},{"TypeInstanceRef":{"Ident":"injectLeft"}},{"TypeInstanceRef":{"Ident":"injectRight"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[9,17],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-inject/src/Data/Inject.purs","end":[9,22]},[],{"ValueRef":{"Ident":"const"}}]},{"PositionedDeclarationRef":[{"start":[9,24],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-inject/src/Data/Inject.purs","end":[9,29]},[],{"ValueOpRef":"<<<"}]},{"PositionedDeclarationRef":[{"start":[9,31],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-inject/src/Data/Inject.purs","end":[9,33]},[],{"ValueRef":{"Ident":"id"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Either"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[11,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-inject/src/Data/Inject.purs","end":[11,31]},[],{"TypeRef":["Either",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Functor","Coproduct"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[12,32],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-inject/src/Data/Inject.purs","end":[12,45]},[],{"TypeRef":["Coproduct",null]}]},{"PositionedDeclarationRef":[{"start":[12,47],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-inject/src/Data/Inject.purs","end":[12,56]},[],{"ValueRef":{"Ident":"coproduct"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[13,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-inject/src/Data/Inject.purs","end":[13,29]},[],{"TypeRef":["Maybe",null]}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Inject","edTypeKind":{"tag":"FunKind","contents":[{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},{"tag":"FunKind","contents":[{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymName":"Inject","edTypeSynonymArguments":[["f",null],["g",null]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["inj",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"g"},{"tag":"TypeVar","contents":"a"}]}]},null]},{"tag":"RCons","contents":["prj",{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"g"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]},null]},{"tag":"REmpty","contents":[]}]}]}]}}},{"EDClass":{"edClassName":"Inject","edClassTypeArguments":[["f",null],["g",null]],"edClassMembers":[[{"Ident":"inj"},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"g"},{"tag":"TypeVar","contents":"a"}]}]},null]}],[{"Ident":"prj"},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"g"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]},null]}]],"edClassConstraints":[],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"inj"},"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["g",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Inject"],"Inject"],"constraintArgs":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"g"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"g"},{"tag":"TypeVar","contents":"a"}]}]}]},24]},25]},26]}}},{"EDValue":{"edValueName":{"Ident":"prj"},"edValueType":{"tag":"ForAll","contents":["f",{"tag":"ForAll","contents":["g",{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Inject"],"Inject"],"constraintArgs":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"g"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"g"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"a"}]}]}]}]},0]},1]},2]}}},{"EDInstance":{"edInstanceClassName":[["Data","Inject"],"Inject"],"edInstanceName":{"Ident":"injectReflexive"},"edInstanceTypes":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"f"}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Inject"],"Inject"],"edInstanceName":{"Ident":"injectLeft"},"edInstanceTypes":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Functor","Coproduct"],"Coproduct"]},{"tag":"TypeVar","contents":"f"}]},{"tag":"TypeVar","contents":"g"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Inject"],"Inject"],"edInstanceName":{"Ident":"injectRight"},"edInstanceTypes":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Functor","Coproduct"],"Coproduct"]},{"tag":"TypeVar","contents":"h"}]},{"tag":"TypeVar","contents":"g"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Inject"],"Inject"],"constraintArgs":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"g"}],"constraintData":null}]}}]}