{"efVersion":"0.10.5","efModuleName":["Data","Predicate"],"efExports":[{"TypeRef":["Predicate",["Predicate"]]},{"TypeInstanceRef":{"Ident":"newtypePredicate"}},{"TypeInstanceRef":{"Ident":"contravariantPredicate"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Functor","Contravariant"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[5,36],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Predicate.purs","end":[5,55]},[],{"TypeClassRef":"Contravariant"}]}]},"eiImportedAs":null},{"eiModule":["Data","Newtype"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[6,22],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-contravariant/src/Data/Predicate.purs","end":[6,35]},[],{"TypeClassRef":"Newtype"}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Predicate","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":[[["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],[["Predicate",[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]]]]}}},{"EDDataConstructor":{"edDataCtorName":"Predicate","edDataCtorOrigin":"newtype","edDataCtorTypeCtor":"Predicate","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":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Predicate"],"Predicate"]},{"tag":"TypeVar","contents":"a"}]}]},null]},"edDataCtorFields":[{"Ident":"value0"}]}},{"EDInstance":{"edInstanceClassName":[["Data","Newtype"],"Newtype"],"edInstanceName":{"Ident":"newtypePredicate"},"edInstanceTypes":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Predicate"],"Predicate"]},{"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":"contravariantPredicate"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Data","Predicate"],"Predicate"]}],"edInstanceConstraints":[]}}]}