{"efVersion":"0.10.5","efModuleName":["Data","Monoid","Conj"],"efExports":[{"TypeRef":["Conj",["Conj"]]},{"TypeInstanceRef":{"Ident":"newtypeConj"}},{"TypeInstanceRef":{"Ident":"eqConj"}},{"TypeInstanceRef":{"Ident":"ordConj"}},{"TypeInstanceRef":{"Ident":"boundedConj"}},{"TypeInstanceRef":{"Ident":"functorConj"}},{"TypeInstanceRef":{"Ident":"invariantConj"}},{"TypeInstanceRef":{"Ident":"applyConj"}},{"TypeInstanceRef":{"Ident":"applicativeConj"}},{"TypeInstanceRef":{"Ident":"bindConj"}},{"TypeInstanceRef":{"Ident":"monadConj"}},{"TypeInstanceRef":{"Ident":"extendConj"}},{"TypeInstanceRef":{"Ident":"comonadConj"}},{"TypeInstanceRef":{"Ident":"showConj"}},{"TypeInstanceRef":{"Ident":"semigroupConj"}},{"TypeInstanceRef":{"Ident":"monoidConj"}},{"TypeInstanceRef":{"Ident":"semiringConj"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Comonad"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[5,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-monoid/src/Data/Monoid/Conj.purs","end":[5,38]},[],{"TypeClassRef":"Comonad"}]}]},"eiImportedAs":null},{"eiModule":["Control","Extend"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[6,24],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-monoid/src/Data/Monoid/Conj.purs","end":[6,36]},[],{"TypeClassRef":"Extend"}]}]},"eiImportedAs":null},{"eiModule":["Data","Functor","Invariant"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[8,32],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-monoid/src/Data/Monoid/Conj.purs","end":[8,47]},[],{"TypeClassRef":"Invariant"}]}]},"eiImportedAs":null},{"eiModule":["Data","HeytingAlgebra"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[9,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-monoid/src/Data/Monoid/Conj.purs","end":[9,31]},[],{"ValueRef":{"Ident":"ff"}}]},{"PositionedDeclarationRef":[{"start":[9,33],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-monoid/src/Data/Monoid/Conj.purs","end":[9,35]},[],{"ValueRef":{"Ident":"tt"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Monoid"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[10,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-monoid/src/Data/Monoid/Conj.purs","end":[10,33]},[],{"TypeClassRef":"Monoid"}]}]},"eiImportedAs":null},{"eiModule":["Data","Newtype"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[11,22],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-monoid/src/Data/Monoid/Conj.purs","end":[11,35]},[],{"TypeClassRef":"Newtype"}]},{"PositionedDeclarationRef":[{"start":[11,37],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-monoid/src/Data/Monoid/Conj.purs","end":[11,43]},[],{"ValueRef":{"Ident":"unwrap"}}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Conj","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":[[["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],[["Conj",[{"tag":"TypeVar","contents":"a"}]]]]}}},{"EDDataConstructor":{"edDataCtorName":"Conj","edDataCtorOrigin":"newtype","edDataCtorTypeCtor":"Conj","edDataCtorType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"tag":"TypeVar","contents":"a"}]}]},null]},"edDataCtorFields":[{"Ident":"value0"}]}},{"EDInstance":{"edInstanceClassName":[["Data","Newtype"],"Newtype"],"edInstanceName":{"Ident":"newtypeConj"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"a"}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqConj"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord"],"edInstanceName":{"Ident":"ordConj"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Bounded"],"Bounded"],"edInstanceName":{"Ident":"boundedConj"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Bounded"],"Bounded"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Functor"],"Functor"],"edInstanceName":{"Ident":"functorConj"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Functor","Invariant"],"Invariant"],"edInstanceName":{"Ident":"invariantConj"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Apply"],"Apply"],"edInstanceName":{"Ident":"applyConj"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Applicative"],"Applicative"],"edInstanceName":{"Ident":"applicativeConj"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Bind"],"edInstanceName":{"Ident":"bindConj"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad"],"Monad"],"edInstanceName":{"Ident":"monadConj"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Extend"],"Extend"],"edInstanceName":{"Ident":"extendConj"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Comonad"],"Comonad"],"edInstanceName":{"Ident":"comonadConj"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Show"],"Show"],"edInstanceName":{"Ident":"showConj"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","Show"],"Show"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup"],"Semigroup"],"edInstanceName":{"Ident":"semigroupConj"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidConj"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}},{"EDInstance":{"edInstanceClassName":[["Data","Semiring"],"Semiring"],"edInstanceName":{"Ident":"semiringConj"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}]}}]}