Searched refs:infexamples (Results 1 – 6 of 6) sorted by relevance
85 infexamples :: Gen a -> IO [a]86 infexamples (MkGen m) = function
106 inf_Includes_Types_Included = infexamples (Arbitrary.arbitrary :: Gen Includes_Types.Included)109 inf_Module_Types_MyStruct = infexamples (Arbitrary.arbitrary :: Gen Module_Types.MyStruct)
101 inf_Int_Int64 = infexamples (Arbitrary.arbitrary :: Gen Int.Int64)
104 inf_Hsmodule_Types_HsFoo = infexamples (Arbitrary.arbitrary :: Gen Hsmodule_Types.HsFoo)