{"efVersion":"0.10.5","efModuleName":["Test","Unit","QuickCheck"],"efExports":[{"ValueRef":{"Ident":"quickCheck"}},{"ValueRef":{"Ident":"quickCheck'"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[8,33],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[8,40]},[],{"ValueRef":{"Ident":"liftEff"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff","Random"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[9,34],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[9,42]},[],{"TypeRef":["RANDOM",[]]}]}]},"eiImportedAs":null},{"eiModule":["Data","Foldable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[10,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[10,28]},[],{"ValueRef":{"Ident":"foldl"}}]}]},"eiImportedAs":null},{"eiModule":["Data","List"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[11,19],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[11,27]},[],{"TypeRef":["List",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[12,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[12,29]},[],{"TypeRef":["Maybe",null]}]}]},"eiImportedAs":null},{"eiModule":["Test","QuickCheck"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[13,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[13,39]},[],{"TypeClassRef":"Testable"}]},{"PositionedDeclarationRef":[{"start":[13,41],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[13,51]},[],{"TypeRef":["Result",null]}]},{"PositionedDeclarationRef":[{"start":[13,53],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[13,67]},[],{"ValueRef":{"Ident":"quickCheckPure"}}]}]},"eiImportedAs":null},{"eiModule":["Test","QuickCheck","LCG"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[14,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[14,39]},[],{"ValueRef":{"Ident":"randomSeed"}}]}]},"eiImportedAs":null},{"eiModule":["Test","Unit"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[15,19],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[15,23]},[],{"TypeRef":["Test",[]]}]},{"PositionedDeclarationRef":[{"start":[15,25],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[15,32]},[],{"ValueRef":{"Ident":"success"}}]},{"PositionedDeclarationRef":[{"start":[15,34],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-test-unit/src/Test/Unit/QuickCheck.purs","end":[15,41]},[],{"ValueRef":{"Ident":"failure"}}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDValue":{"edValueName":{"Ident":"quickCheck"},"edValueType":{"tag":"ForAll","contents":["prop",{"tag":"ForAll","contents":["e",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Test","QuickCheck"],"Testable"],"constraintArgs":[{"tag":"TypeVar","contents":"prop"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"prop"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Aff"],"Aff"]},{"tag":"RCons","contents":["random",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Random"],"RANDOM"]},{"tag":"TypeVar","contents":"e"}]}]},{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]}]}]},4]},5]}}},{"EDValue":{"edValueName":{"Ident":"quickCheck'"},"edValueType":{"tag":"ForAll","contents":["prop",{"tag":"ForAll","contents":["e",{"tag":"ConstrainedType","contents":[[{"constraintClass":[["Test","QuickCheck"],"Testable"],"constraintArgs":[{"tag":"TypeVar","contents":"prop"}],"constraintData":null}],{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"prop"}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Aff"],"Aff"]},{"tag":"RCons","contents":["random",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Random"],"RANDOM"]},{"tag":"TypeVar","contents":"e"}]}]},{"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]}]}]}]},0]},1]}}}]}