{"efVersion":"0.10.5","efModuleName":["Test","QuickCheck","Gen"],"efExports":[{"TypeRef":["Gen",[]]},{"TypeRef":["GenState",[]]},{"TypeRef":["Size",[]]},{"ValueRef":{"Ident":"arrayOf"}},{"ValueRef":{"Ident":"arrayOf1"}},{"ValueRef":{"Ident":"choose"}},{"ValueRef":{"Ident":"chooseInt"}},{"ValueRef":{"Ident":"elements"}},{"ValueRef":{"Ident":"evalGen"}},{"ValueRef":{"Ident":"frequency"}},{"ValueRef":{"Ident":"listOf"}},{"ValueRef":{"Ident":"oneOf"}},{"ValueRef":{"Ident":"perturbGen"}},{"ValueRef":{"Ident":"randomSample"}},{"ValueRef":{"Ident":"randomSample'"}},{"ValueRef":{"Ident":"repeatable"}},{"ValueRef":{"Ident":"resize"}},{"ValueRef":{"Ident":"runGen"}},{"ValueRef":{"Ident":"sample"}},{"ValueRef":{"Ident":"sized"}},{"ValueRef":{"Ident":"stateful"}},{"ValueRef":{"Ident":"unGen"}},{"ValueRef":{"Ident":"uniform"}},{"ValueRef":{"Ident":"variant"}},{"ValueRef":{"Ident":"vectorOf"}},{"TypeInstanceRef":{"Ident":"functorGen"}},{"TypeInstanceRef":{"Ident":"applyGen"}},{"TypeInstanceRef":{"Ident":"applicativeGen"}},{"TypeInstanceRef":{"Ident":"bindGen"}},{"TypeInstanceRef":{"Ident":"monadGen"}},{"TypeInstanceRef":{"Ident":"altGen"}},{"TypeInstanceRef":{"Ident":"monadRecGen"}}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Alt"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[33,21],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[33,30]},[],{"TypeClassRef":"Alt"}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[34,27],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[34,30]},[],{"TypeRef":["Eff",[]]}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Eff","Random"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[35,34],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[35,40]},[],{"TypeRef":["RANDOM",[]]}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","Rec","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[36,33],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[36,47]},[],{"TypeClassRef":"MonadRec"}]},{"PositionedDeclarationRef":[{"start":[36,49],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[36,57]},[],{"TypeRef":["Step",null]}]},{"PositionedDeclarationRef":[{"start":[36,59],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[36,67]},[],{"ValueRef":{"Ident":"tailRecM"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","State"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[37,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[37,34]},[],{"TypeRef":["State",[]]}]},{"PositionedDeclarationRef":[{"start":[37,36],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[37,44]},[],{"ValueRef":{"Ident":"runState"}}]},{"PositionedDeclarationRef":[{"start":[37,46],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[37,55]},[],{"ValueRef":{"Ident":"evalState"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","State","Class"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[38,35],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[38,40]},[],{"ValueRef":{"Ident":"state"}}]},{"PositionedDeclarationRef":[{"start":[38,42],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[38,48]},[],{"ValueRef":{"Ident":"modify"}}]}]},"eiImportedAs":null},{"eiModule":["Control","Monad","State","Trans"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[39,35],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[39,41]},[],{"TypeRef":["StateT",[]]}]}]},"eiImportedAs":null},{"eiModule":["Data","Array"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[41,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[41,24]},[],{"ValueOpRef":"!!"}]},{"PositionedDeclarationRef":[{"start":[41,26],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[41,32]},[],{"ValueRef":{"Ident":"length"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Foldable"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[42,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[42,27]},[],{"ValueRef":{"Ident":"fold"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Identity"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[43,23],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[43,31]},[],{"TypeRef":["Identity",[]]}]}]},"eiImportedAs":null},{"eiModule":["Data","Int"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[44,18],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[44,26]},[],{"ValueRef":{"Ident":"toNumber"}}]}]},"eiImportedAs":null},{"eiModule":["Data","List"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[45,19],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[45,27]},[],{"TypeRef":["List",null]}]},{"PositionedDeclarationRef":[{"start":[45,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[45,41]},[],{"ValueRef":{"Ident":"toUnfoldable"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Maybe"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[46,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[46,29]},[],{"ValueRef":{"Ident":"fromMaybe"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Monoid","Additive"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[47,30],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[47,42]},[],{"TypeRef":["Additive",null]}]}]},"eiImportedAs":null},{"eiModule":["Data","Newtype"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[48,22],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[48,28]},[],{"ValueRef":{"Ident":"unwrap"}}]}]},"eiImportedAs":null},{"eiModule":["Data","Tuple"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[49,20],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[49,29]},[],{"TypeRef":["Tuple",null]}]},{"PositionedDeclarationRef":[{"start":[49,31],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[49,34]},[],{"ValueRef":{"Ident":"fst"}}]},{"PositionedDeclarationRef":[{"start":[49,36],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[49,39]},[],{"ValueRef":{"Ident":"snd"}}]}]},"eiImportedAs":null},{"eiModule":["Math"],"eiImportType":{"Implicit":[]},"eiImportedAs":["M"]},{"eiModule":["Test","QuickCheck","LCG"],"eiImportType":{"Explicit":[{"PositionedDeclarationRef":[{"start":[53,29],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[53,33]},[],{"TypeRef":["Seed",[]]}]},{"PositionedDeclarationRef":[{"start":[53,35],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[53,45]},[],{"ValueRef":{"Ident":"lcgPerturb"}}]},{"PositionedDeclarationRef":[{"start":[53,47],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[53,51]},[],{"ValueRef":{"Ident":"lcgN"}}]},{"PositionedDeclarationRef":[{"start":[53,53],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[53,60]},[],{"ValueRef":{"Ident":"lcgNext"}}]},{"PositionedDeclarationRef":[{"start":[53,62],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[53,69]},[],{"ValueRef":{"Ident":"runSeed"}}]},{"PositionedDeclarationRef":[{"start":[53,71],"name":"/Users/nicholaw/git/purescript-suggest/bower_components/purescript-quickcheck/src/Test/QuickCheck/Gen.purs","end":[53,81]},[],{"ValueRef":{"Ident":"randomSeed"}}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Gen","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":[[["a",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],[["Gen",[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"GenState"]}]},{"tag":"TypeConstructor","contents":[["Data","Identity"],"Identity"]}]},{"tag":"TypeVar","contents":"a"}]}]]]]}}},{"EDType":{"edTypeName":"GenState","edTypeKind":{"tag":"NamedKind","contents":[["Prim"],"Type"]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymName":"GenState","edTypeSynonymArguments":[],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["newSeed",{"tag":"TypeConstructor","contents":[["Test","QuickCheck","LCG"],"Seed"]},{"tag":"RCons","contents":["size",{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Size"]},{"tag":"REmpty","contents":[]}]}]}]}}},{"EDType":{"edTypeName":"Size","edTypeKind":{"tag":"NamedKind","contents":[["Prim"],"Type"]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymName":"Size","edTypeSynonymArguments":[],"edTypeSynonymType":{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}}},{"EDValue":{"edValueName":{"Ident":"arrayOf"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeVar","contents":"a"}]}]}]},86]}}},{"EDValue":{"edValueName":{"Ident":"arrayOf1"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeVar","contents":"a"}]}]}]}]},84]}}},{"EDValue":{"edValueName":{"Ident":"choose"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}]}]}}},{"EDValue":{"edValueName":{"Ident":"chooseInt"},"edValueType":{"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":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}]}]}}},{"EDValue":{"edValueName":{"Ident":"elements"},"edValueType":{"tag":"ForAll","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":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]}]},69]}}},{"EDValue":{"edValueName":{"Ident":"evalGen"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["newSeed",{"tag":"TypeConstructor","contents":[["Test","QuickCheck","LCG"],"Seed"]},{"tag":"RCons","contents":["size",{"tag":"TypeConstructor","contents":[["Prim"],"Int"]},{"tag":"REmpty","contents":[]}]}]}]}]},{"tag":"TypeVar","contents":"a"}]}]},57]}}},{"EDValue":{"edValueName":{"Ident":"frequency"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","List","Types"],"List"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]}]},75]}}},{"EDValue":{"edValueName":{"Ident":"listOf"},"edValueType":{"tag":"ForAll","contents":["a",{"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":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","List","Types"],"List"]},{"tag":"TypeVar","contents":"a"}]}]}]}]},50]}}},{"EDValue":{"edValueName":{"Ident":"oneOf"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]}]},72]}}},{"EDValue":{"edValueName":{"Ident":"perturbGen"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]}]},24]}}},{"EDValue":{"edValueName":{"Ident":"randomSample"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["r",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Eff"],"Eff"]},{"tag":"RCons","contents":["random",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Random"],"RANDOM"]},{"tag":"TypeVar","contents":"r"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeVar","contents":"a"}]}]}]},65]},66]}}},{"EDValue":{"edValueName":{"Ident":"randomSample'"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"ForAll","contents":["r",{"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":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","Eff"],"Eff"]},{"tag":"RCons","contents":["random",{"tag":"TypeConstructor","contents":[["Control","Monad","Eff","Random"],"RANDOM"]},{"tag":"TypeVar","contents":"r"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeVar","contents":"a"}]}]}]}]},61]},62]}}},{"EDValue":{"edValueName":{"Ident":"repeatable"},"edValueType":{"tag":"ForAll","contents":["b",{"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":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"b"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeVar","contents":"b"}]}]}]},19]},20]}}},{"EDValue":{"edValueName":{"Ident":"resize"},"edValueType":{"tag":"ForAll","contents":["a",{"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":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]}]},12]}}},{"EDValue":{"edValueName":{"Ident":"runGen"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["newSeed",{"tag":"TypeConstructor","contents":[["Test","QuickCheck","LCG"],"Seed"]},{"tag":"RCons","contents":["size",{"tag":"TypeConstructor","contents":[["Prim"],"Int"]},{"tag":"REmpty","contents":[]}]}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"tag":"TypeVar","contents":"a"}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["newSeed",{"tag":"TypeConstructor","contents":[["Test","QuickCheck","LCG"],"Seed"]},{"tag":"RCons","contents":["size",{"tag":"TypeConstructor","contents":[["Prim"],"Int"]},{"tag":"REmpty","contents":[]}]}]}]}]}]}]},2]}}},{"EDValue":{"edValueName":{"Ident":"sample"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck","LCG"],"Seed"]}]},{"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":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeVar","contents":"a"}]}]}]}]},59]}}},{"EDValue":{"edValueName":{"Ident":"sized"},"edValueType":{"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":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},7]}}},{"EDValue":{"edValueName":{"Ident":"stateful"},"edValueType":{"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":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["newSeed",{"tag":"TypeConstructor","contents":[["Test","QuickCheck","LCG"],"Seed"]},{"tag":"RCons","contents":["size",{"tag":"TypeConstructor","contents":[["Prim"],"Int"]},{"tag":"REmpty","contents":[]}]}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},4]}}},{"EDValue":{"edValueName":{"Ident":"unGen"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Control","Monad","State","Trans"],"StateT"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["newSeed",{"tag":"TypeConstructor","contents":[["Test","QuickCheck","LCG"],"Seed"]},{"tag":"RCons","contents":["size",{"tag":"TypeConstructor","contents":[["Prim"],"Int"]},{"tag":"REmpty","contents":[]}]}]}]}]},{"tag":"TypeConstructor","contents":[["Data","Identity"],"Identity"]}]},{"tag":"TypeVar","contents":"a"}]}]},0]}}},{"EDValue":{"edValueName":{"Ident":"uniform"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"variant"},"edValueType":{"tag":"ForAll","contents":["a",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Test","QuickCheck","LCG"],"Seed"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]}]},9]}}},{"EDValue":{"edValueName":{"Ident":"vectorOf"},"edValueType":{"tag":"ForAll","contents":["a",{"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":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeVar","contents":"a"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Array"]},{"tag":"TypeVar","contents":"a"}]}]}]}]},52]}}},{"EDInstance":{"edInstanceClassName":[["Data","Functor"],"Functor"],"edInstanceName":{"Ident":"functorGen"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Apply"],"Apply"],"edInstanceName":{"Ident":"applyGen"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Applicative"],"Applicative"],"edInstanceName":{"Ident":"applicativeGen"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Bind"],"edInstanceName":{"Ident":"bindGen"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad"],"Monad"],"edInstanceName":{"Ident":"monadGen"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Alt"],"Alt"],"edInstanceName":{"Ident":"altGen"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Control","Monad","Rec","Class"],"MonadRec"],"edInstanceName":{"Ident":"monadRecGen"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Test","QuickCheck","Gen"],"Gen"]}],"edInstanceConstraints":[]}}]}