{"efVersion":"0.10.5","efModuleName":["Control","Comonad","Env","Trans"],"efExports":[{"TypeRef":["EnvT",["EnvT"]]},{"ValueRef":{"Ident":"mapEnvT"}},{"ValueRef":{"Ident":"runEnvT"}},{"ValueRef":{"Ident":"withEnvT"}},{"TypeInstanceRef":{"Ident":"newtypeEnvT"}},{"TypeInstanceRef":{"Ident":"functorEnvT"}},{"TypeInstanceRef":{"Ident":"extendEnvT"}},{"TypeInstanceRef":{"Ident":"comonadEnvT"}},{"TypeInstanceRef":{"Ident":"comonadTransEnvT"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Comonad"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[7,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Comonad/Env/Trans.purs","end":[7,38]},[],{"TypeClassRef":"Comonad"}]},{"PositionedDeclarationRef":[{"start":[7,40],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Comonad/Env/Trans.purs","end":[7,47]},[],{"ValueRef":{"Ident":"extract"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Comonad","Trans","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[8,37],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Comonad/Env/Trans.purs","end":[8,55]},[],{"TypeClassRef":"ComonadTrans"}]}]},"eiImportedAs":null},{"eiModule":["Control","Extend"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[9,24],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Comonad/Env/Trans.purs","end":[9,36]},[],{"TypeClassRef":"Extend"}]},{"PositionedDeclarationRef":[{"start":[9,38],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Comonad/Env/Trans.purs","end":[9,43]},[],{"ValueOpRef":"<<="}]}]},"eiImportedAs":null},{"eiModule":["Data","Tuple"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[11,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Comonad/Env/Trans.purs","end":[11,29]},[],{"TypeRef":["Tuple",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Newtype"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[12,22],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-transformers/src/Control/Comonad/Env/Trans.purs","end":[12,35]},[],{"TypeClassRef":"Newtype"}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"EnvT","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"FunKind","contents":[{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]}]},"edTypeDeclarationKind":{"DataType":[[["e",{"tag":"NamedKind","contents":[["Prim"],"Type"]}],["w",{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}],["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],[["EnvT",[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]}]]]]}}},{"EDDataConstructor":{"edDataCtorName":"EnvT","edDataCtorOrigin":"newtype","edDataCtorTypeCtor":"EnvT","edDataCtorType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["w",{"tag":"ForAll","contents":["e",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"w"}]},{"tag":"TypeVar","contents":"a"}]}]},null]},null]},null]},"edDataCtorFields":[{"Ident":"value0"}]}},{"EDValue":{"edValueName":{"Ident":"mapEnvT"},"edValueType":{"tag":"ForAll","contents":["b",{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["w2",{"tag":"ForAll","contents":["w1",{"tag":"ForAll","contents":["e",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w1"},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w2"},{"tag":"TypeVar","contents":"b"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"w1"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"w2"}]},{"tag":"TypeVar","contents":"b"}]}]}]},26]},27]},28]},29]},30]}}},{"EDValue":{"edValueName":{"Ident":"runEnvT"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["w",{"tag":"ForAll","contents":["e",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"w"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]}]},11]},12]},13]}}},{"EDValue":{"edValueName":{"Ident":"withEnvT"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["w",{"tag":"ForAll","contents":["e2",{"tag":"ForAll","contents":["e1",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"e1"}]},{"tag":"TypeVar","contents":"e2"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e1"}]},{"tag":"TypeVar","contents":"w"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e2"}]},{"tag":"TypeVar","contents":"w"}]},{"tag":"TypeVar","contents":"a"}]}]}]},0]},1]},2]},3]}}},{"EDInstance":{"edInstanceClassName":[["Data","Newtype"],"Newtype"],"edInstanceName":{"Ident":"newtypeEnvT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"w"}]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"w"},{"tag":"TypeVar","contents":"a"}]}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Functor"],"Functor"],"edInstanceName":{"Ident":"functorEnvT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"w"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"w"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Extend"],"Extend"],"edInstanceName":{"Ident":"extendEnvT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"w"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Extend"],"Extend"],"constraintArgs":[{"tag":"TypeVar","contents":"w"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Comonad"],"Comonad"],"edInstanceName":{"Ident":"comonadEnvT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e"}]},{"tag":"TypeVar","contents":"w"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Comonad"],"Comonad"],"constraintArgs":[{"tag":"TypeVar","contents":"w"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Comonad","Trans","Class"],"ComonadTrans"],"edInstanceName":{"Ident":"comonadTransEnvT"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Env","Trans"],"EnvT"]},{"tag":"TypeVar","contents":"e"}]}],"edInstanceConstraints":[]}}]}