{"efVersion":"0.10.5","efModuleName":["Data","Equivalence"],"efExports":[{"TypeRef":["Equivalence",["Equivalence"]]},{"ValueRef":{"Ident":"comparisonEquivalence"}},{"ValueRef":{"Ident":"defaultEquivalence"}},{"TypeInstanceRef":{"Ident":"newtypeEquivalence"}},{"TypeInstanceRef":{"Ident":"contravariantEquivalence"}},{"TypeInstanceRef":{"Ident":"semigroupEquivalence"}},{"TypeInstanceRef":{"Ident":"monoidEquivalence"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Comparison"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[5,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Equivalence.purs","end":[5,39]},[],{"TypeRef":["Comparison",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Function"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[6,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Equivalence.purs","end":[6,25]},[],{"ValueRef":{"Ident":"on"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Functor","Contravariant"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[7,36],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Equivalence.purs","end":[7,55]},[],{"TypeClassRef":"Contravariant"}]}]},"eiImportedAs":null},{"eiModule":["Data","Monoid"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[8,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Equivalence.purs","end":[8,33]},[],{"TypeClassRef":"Monoid"}]}]},"eiImportedAs":null},{"eiModule":["Data","Newtype"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[9,22],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Equivalence.purs","end":[9,35]},[],{"TypeClassRef":"Newtype"}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Equivalence","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":[[["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],[["Equivalence",[{"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":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]]]]}}},{"EDDataConstructor":{"edDataCtorName":"Equivalence","edDataCtorOrigin":"newtype","edDataCtorTypeCtor":"Equivalence","edDataCtorType":{"tag":"ForAll","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":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Equivalence"],"Equivalence"]},{"tag":"TypeVar","contents":"a"}]}]},null]},"edDataCtorFields":[{"Ident":"value0"}]}},{"EDValue":{"edValueName":{"Ident":"comparisonEquivalence"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Comparison"],"Comparison"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Equivalence"],"Equivalence"]},{"tag":"TypeVar","contents":"a"}]}]},13]}}},{"EDValue":{"edValueName":{"Ident":"defaultEquivalence"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"tag":"TypeVar","contents":"a"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Equivalence"],"Equivalence"]},{"tag":"TypeVar","contents":"a"}]}]},7]}}},{"EDInstance":{"edInstanceClassName":[["Data","Newtype"],"Newtype"],"edInstanceName":{"Ident":"newtypeEquivalence"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Equivalence"],"Equivalence"]},{"tag":"TypeVar","contents":"a"}]},{"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":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Functor","Contravariant"],"Contravariant"],"edInstanceName":{"Ident":"contravariantEquivalence"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Equivalence"],"Equivalence"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup"],"Semigroup"],"edInstanceName":{"Ident":"semigroupEquivalence"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Equivalence"],"Equivalence"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidEquivalence"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Equivalence"],"Equivalence"]},{"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[]}}]}