{"efVersion":"0.10.5","efModuleName":["Control","Comonad","Cofree"],"efExports":[{"TypeRef":["Cofree",[]]},{"ValueRef":{"Ident":"head"}},{"ValueRef":{"Ident":"hoistCofree"}},{"ValueRef":{"Ident":"mkCofree"}},{"ValueRef":{"Ident":"tail"}},{"ValueRef":{"Ident":"unfoldCofree"}},{"ValueOpRef":":<"},{"TypeInstanceRef":{"Ident":"functorCofree"}},{"TypeInstanceRef":{"Ident":"foldableCofree"}},{"TypeInstanceRef":{"Ident":"traversableCofree"}},{"TypeInstanceRef":{"Ident":"extendCofree"}},{"TypeInstanceRef":{"Ident":"comonadCofree"}},{"TypeInstanceRef":{"Ident":"applyCofree"}},{"TypeInstanceRef":{"Ident":"applicativeCofree"}},{"TypeInstanceRef":{"Ident":"bindCofree"}},{"TypeInstanceRef":{"Ident":"monadCofree"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Alternative"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[14,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[14,46]},[],{"TypeClassRef":"Alternative"}]},{"PositionedDeclarationRef":[{"start":[14,48],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[14,53]},[],{"ValueOpRef":"<|>"}]},{"PositionedDeclarationRef":[{"start":[14,55],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[14,60]},[],{"ValueRef":{"Ident":"empty"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Comonad"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[15,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[15,38]},[],{"TypeClassRef":"Comonad"}]}]},"eiImportedAs":null},{"eiModule":["Control","Extend"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[16,24],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[16,36]},[],{"TypeClassRef":"Extend"}]}]},"eiImportedAs":null},{"eiModule":["Data","Foldable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[18,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[18,37]},[],{"TypeClassRef":"Foldable"}]},{"PositionedDeclarationRef":[{"start":[18,39],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[18,44]},[],{"ValueRef":{"Ident":"foldr"}}]},{"PositionedDeclarationRef":[{"start":[18,46],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[18,51]},[],{"ValueRef":{"Ident":"foldl"}}]},{"PositionedDeclarationRef":[{"start":[18,53],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[18,60]},[],{"ValueRef":{"Ident":"foldMap"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Lazy"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[19,19],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[19,23]},[],{"TypeRef":["Lazy",[]]}]},{"PositionedDeclarationRef":[{"start":[19,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[19,30]},[],{"ValueRef":{"Ident":"force"}}]},{"PositionedDeclarationRef":[{"start":[19,32],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[19,37]},[],{"ValueRef":{"Ident":"defer"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Traversable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[20,26],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[20,43]},[],{"TypeClassRef":"Traversable"}]},{"PositionedDeclarationRef":[{"start":[20,45],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-free/src/Control/Comonad/Cofree.purs","end":[20,53]},[],{"ValueRef":{"Ident":"traverse"}}]}]},"eiImportedAs":null}],"efFixities":[{"efAssociativity":"infixr","efPrecedence":5,"efOperator":":<","efAlias":[["Control","Comonad","Cofree"],{"Left":{"Ident":"mkCofree"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Cofree","edTypeKind":{"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":[[["f",{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}],["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],[["Cofree",[{"tag":"TypeVar","contents":"a"},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Lazy"],"Lazy"]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]},{"tag":"TypeVar","contents":"a"}]}]}]}]]]]}}},{"EDValue":{"edValueName":{"Ident":"head"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["f",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeVar","contents":"a"}]},33]},34]}}},{"EDValue":{"edValueName":{"Ident":"hoistCofree"},"edValueType":{"tag":"ForAll","contents":["g",{"tag":"ForAll","contents":["f",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"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"}]}]},37]}]},{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"g"}]},{"tag":"TypeVar","contents":"a"}]}]},38]}]}]},39]},40]}}},{"EDValue":{"edValueName":{"Ident":"mkCofree"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["f",{"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":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]},{"tag":"TypeVar","contents":"a"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]},{"tag":"TypeVar","contents":"a"}]}]}]},28]},29]}}},{"EDValue":{"edValueName":{"Ident":"tail"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["f",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]},{"tag":"TypeVar","contents":"a"}]}]}]},10]},11]}}},{"EDValue":{"edValueName":{"Ident":"unfoldCofree"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["s",{"tag":"ForAll","contents":["f",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"s"}]},{"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":"s"}]},{"tag":"TypeVar","contents":"a"}]}]},{"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":"s"}]},{"tag":"TypeApp","contents":[{"tag":"TypeVar","contents":"f"},{"tag":"TypeVar","contents":"s"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]},{"tag":"TypeVar","contents":"a"}]}]}]}]}]},0]},1]},2]}}},{"EDInstance":{"edInstanceClassName":[["Data","Functor"],"Functor"],"edInstanceName":{"Ident":"functorCofree"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Foldable"],"Foldable"],"edInstanceName":{"Ident":"foldableCofree"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Foldable"],"Foldable"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Traversable"],"Traversable"],"edInstanceName":{"Ident":"traversableCofree"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Traversable"],"Traversable"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Extend"],"Extend"],"edInstanceName":{"Ident":"extendCofree"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Comonad"],"Comonad"],"edInstanceName":{"Ident":"comonadCofree"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Functor"],"Functor"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Apply"],"Apply"],"edInstanceName":{"Ident":"applyCofree"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Apply"],"Apply"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Applicative"],"Applicative"],"edInstanceName":{"Ident":"applicativeCofree"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Alternative"],"Alternative"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Bind"],"edInstanceName":{"Ident":"bindCofree"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Alternative"],"Alternative"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad"],"Monad"],"edInstanceName":{"Ident":"monadCofree"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Comonad","Cofree"],"Cofree"]},{"tag":"TypeVar","contents":"f"}]}],"edInstanceConstraints":[{"constraintClass":[["Control","Alternative"],"Alternative"],"constraintArgs":[{"tag":"TypeVar","contents":"f"}],"constraintData":null}]}}]}