Documentation

type C_Prop = List C_TestSource

data C_Test Source

data C_Result Source

data C_Config Source

c_notest :: State -> C_TestSource

c_result :: C_Test -> State -> C_ResultSource

c_setResult :: C_Result -> C_Test -> State -> C_TestSource

c_args :: C_Test -> State -> List (List C_Char)Source

c_stamp :: C_Test -> State -> List (List C_Char)Source

c_updArgs :: Prim (List (List C_Char) -> State -> List (List C_Char)) -> C_Test -> State -> C_TestSource

c_updStamp :: Prim (List (List C_Char) -> State -> List (List C_Char)) -> C_Test -> State -> C_TestSource

c_test :: Curry t0 => t0 -> Prim (List t0 -> State -> C_Bool) -> State -> List C_TestSource

c_is :: Curry t0 => t0 -> Prim (t0 -> State -> C_Bool) -> State -> List C_TestSource

c_is'46_'35lambda3 :: Curry t220 => Prim (t220 -> State -> C_Bool) -> List t220 -> State -> C_BoolSource

c_isAlways :: Curry t0 => t0 -> State -> Prim (Prim (t0 -> State -> C_Bool) -> State -> List C_Test)Source

c_isEventually :: Curry t0 => t0 -> State -> Prim (Prim (t0 -> State -> C_Bool) -> State -> List C_Test)Source

c_prop :: State -> Prim (C_Bool -> State -> List C_Test)Source

c_uniquely :: State -> Prim (C_Bool -> State -> List C_Test)Source

c_always :: State -> Prim (C_Bool -> State -> List C_Test)Source

c_eventually :: State -> Prim (C_Bool -> State -> List C_Test)Source

c_failing :: Curry t0 => t0 -> State -> List C_TestSource

c_successful :: Curry t0 => t0 -> State -> List C_TestSource

c_deterministic :: Curry t0 => t0 -> State -> List C_TestSource

op_35 :: Curry t0 => t0 -> C_Int -> State -> List C_TestSource

op_45_61_45 :: Curry t0 => t0 -> t0 -> State -> List C_TestSource

op_60_126_62 :: Curry t0 => t0 -> t0 -> State -> List C_TestSource

op_126_62 :: Curry t0 => t0 -> t0 -> State -> List C_TestSource

op_60_126 :: Curry t0 => t0 -> t0 -> State -> List C_TestSource

c_isSameSet :: Curry t0 => List t0 -> List t0 -> State -> C_BoolSource

c_isSubsetOf :: Curry t0 => List t0 -> List t0 -> State -> C_BoolSource

c_subset :: Curry t0 => List t0 -> List t0 -> State -> C_BoolSource

op_61_61_62 :: C_Bool -> List C_Test -> State -> List C_TestSource

c_forAll :: (Curry t0, Curry t1) => Prim (t0 -> State -> List C_Test) -> t1 -> Prim (t1 -> State -> t0) -> State -> List C_TestSource

c_forAllValues :: (Curry t0, Curry t1) => Prim (t0 -> State -> List C_Test) -> List t1 -> Prim (t1 -> State -> t0) -> State -> List C_TestSource

c_forAllValues'46_'35lambda5 :: (Curry t330, Curry t327) => Prim (t330 -> State -> List C_Test) -> Prim (t327 -> State -> t330) -> t327 -> State -> List C_TestSource

c_forAllValues'46_'35lambda5'46_'35lambda6 :: Curry t327 => t327 -> C_Test -> State -> C_TestSource

c_for :: Curry t0 => State -> Prim (t0 -> State -> Prim (Prim (t0 -> State -> List C_Test) -> State -> List C_Test))Source

c_forValues :: Curry t0 => State -> Prim (List t0 -> State -> Prim (Prim (t0 -> State -> List C_Test) -> State -> List C_Test))Source

c_label :: State -> Prim (List C_Char -> State -> Prim (List C_Test -> State -> List C_Test))Source

c_classify :: C_Bool -> List C_Char -> State -> Prim (List C_Test -> State -> List C_Test)Source

c_trivial :: State -> Prim (C_Bool -> State -> Prim (List C_Test -> State -> List C_Test))Source

c_collect :: Curry t0 => State -> Prim (t0 -> State -> Prim (List C_Test -> State -> List C_Test))Source

c_collectAs :: Curry t0 => List C_Char -> State -> Prim (t0 -> State -> Prim (List C_Test -> State -> List C_Test))Source

c_maxTest :: C_Config -> State -> C_IntSource

c_maxFail :: C_Config -> State -> C_IntSource

c_every :: C_Config -> State -> Prim (C_Int -> State -> Prim (List (List C_Char) -> State -> List C_Char))Source

c_setEvery :: Prim (C_Int -> State -> Prim (List (List C_Char) -> State -> List C_Char)) -> C_Config -> State -> C_ConfigSource

c_easy :: State -> C_ConfigSource

c_easy'46_'35lambda7 :: C_Int -> List (List C_Char) -> State -> List C_CharSource

c_easy'46_'35lambda7'46_'35lambda8 :: C_Char -> State -> C_CharSource

c_verbose :: State -> C_ConfigSource

c_verbose'46_'35lambda9 :: C_Int -> List (List C_Char) -> State -> List C_CharSource

c_easyCheck :: State -> Prim (List C_Test -> State -> C_IO T0)Source

c_verboseCheck :: State -> Prim (List C_Test -> State -> C_IO T0)Source

c_suc :: (Curry t0, Curry t1) => Prim (t0 -> State -> List C_Test) -> State -> Prim (Prim (t1 -> State -> t0) -> State -> List C_Test)Source

c_easyCheck1 :: Curry t0 => State -> Prim (Prim (t0 -> State -> List C_Test) -> State -> C_IO T0)Source

c_easyCheck2 :: (Curry t0, Curry t1) => State -> Prim (Prim (t0 -> State -> Prim (t1 -> State -> List C_Test)) -> State -> C_IO T0)Source

c_easyCheck3 :: (Curry t0, Curry t1, Curry t2) => State -> Prim (Prim (t0 -> State -> Prim (t1 -> State -> Prim (t2 -> State -> List C_Test))) -> State -> C_IO T0)Source

c_easyCheck4 :: (Curry t0, Curry t1, Curry t2, Curry t3) => State -> Prim (Prim (t0 -> State -> Prim (t1 -> State -> Prim (t2 -> State -> Prim (t3 -> State -> List C_Test)))) -> State -> C_IO T0)Source

c_easyCheck5 :: (Curry t0, Curry t1, Curry t2, Curry t3, Curry t4) => State -> Prim (Prim (t0 -> State -> Prim (t1 -> State -> Prim (t2 -> State -> Prim (t3 -> State -> Prim (t4 -> State -> List C_Test))))) -> State -> C_IO T0)Source

c_verboseCheck1 :: Curry t0 => State -> Prim (Prim (t0 -> State -> List C_Test) -> State -> C_IO T0)Source

c_verboseCheck2 :: (Curry t0, Curry t1) => State -> Prim (Prim (t0 -> State -> Prim (t1 -> State -> List C_Test)) -> State -> C_IO T0)Source

c_verboseCheck3 :: (Curry t0, Curry t1, Curry t2) => State -> Prim (Prim (t0 -> State -> Prim (t1 -> State -> Prim (t2 -> State -> List C_Test))) -> State -> C_IO T0)Source

c_verboseCheck4 :: (Curry t0, Curry t1, Curry t2, Curry t3) => State -> Prim (Prim (t0 -> State -> Prim (t1 -> State -> Prim (t2 -> State -> Prim (t3 -> State -> List C_Test)))) -> State -> C_IO T0)Source

c_verboseCheck5 :: (Curry t0, Curry t1, Curry t2, Curry t3, Curry t4) => State -> Prim (Prim (t0 -> State -> Prim (t1 -> State -> Prim (t2 -> State -> Prim (t3 -> State -> Prim (t4 -> State -> List C_Test))))) -> State -> C_IO T0)Source

c_check :: C_Config -> List C_Test -> State -> C_IO T0Source

c_check'46_'35lambda10 :: C_Config -> List C_Test -> C_Bool -> State -> C_IO T0Source

c_tests :: C_Config -> List C_Test -> C_Int -> C_Int -> List (List (List C_Char)) -> State -> C_IO T0Source

c_nth :: C_Int -> State -> List C_CharSource

c_done :: List C_Char -> C_Int -> List (List (List C_Char)) -> State -> C_IO T0Source

c_done'46display'46199 :: List (List C_Char) -> State -> List C_CharSource

c_done'46pairLength'46199 :: Curry t0 => List t0 -> State -> T2 C_Int t0Source

c_done'46percentage'46199 :: C_Int -> C_Int -> State -> List C_CharSource

c_done'46entry'46199 :: C_Int -> T2 C_Int (List (List C_Char)) -> State -> List C_CharSource

c_leqPair :: (Curry t0, Curry t1) => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t1 -> State -> Prim (t1 -> State -> C_Bool)) -> T2 t0 t1 -> T2 t0 t1 -> State -> C_BoolSource

c_leList :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> List t0 -> List t0 -> State -> C_BoolSource

c_valuesOf :: Curry t0 => State -> Prim (t0 -> State -> List t0)Source

c_rndLevelDiag :: Curry t0 => C_Int -> C_SearchTree t0 -> State -> List t0Source

c_rndLevelDiag'46_'35lambda15 :: Curry t119 => C_SearchTree t119 -> List t119 -> State -> List t119Source

c_rndLevels :: Curry t0 => C_Int -> List (C_SearchTree t0) -> State -> List (List (C_SearchTree t0))Source

c_rndLevels'46_'35selFP3'35r :: List C_Int -> State -> C_IntSource

c_rndLevels'46_'35selFP4'35rs :: List C_Int -> State -> List C_IntSource

c_rndLevels'46_'35lambda19 :: Curry t68 => C_SearchTree t68 -> List (List (C_SearchTree t68)) -> State -> List (List (C_SearchTree t68))Source

c_rndLevelDiagFlat :: Curry t0 => C_Int -> C_Int -> C_SearchTree t0 -> State -> List t0Source

c_flat :: Curry t0 => C_SearchTree t0 -> State -> List (C_SearchTree t0)Source

c_flatRep :: Curry t0 => C_Int -> List (C_SearchTree t0) -> State -> List (C_SearchTree t0)Source

c_diagonal :: Curry t0 => State -> Prim (List (List t0) -> State -> List t0)Source

c_diagonal'46merge'46268 :: Curry t0 => List t0 -> List (List t0) -> State -> List (List t0)Source

c_diagonal'46diags'46268 :: Curry t0 => List t0 -> List (List t0) -> State -> List (List t0)Source

c_shuffle :: Curry t0 => C_Int -> List t0 -> State -> List t0Source

c_shuffleWithLen :: Curry t0 => List C_Int -> C_Int -> List t0 -> State -> List t0Source

c_shuffleWithLen'46_'35selFP6'35ys :: Curry t39 => T2 (List t39) (List t39) -> State -> List t39Source

c_shuffleWithLen'46_'35selFP7'35z :: Curry t39 => T2 (List t39) (List t39) -> State -> t39Source

c_shuffleWithLen'46_'35selFP8'35zs :: Curry t39 => T2 (List t39) (List t39) -> State -> List t39Source

c_transpose :: Curry t0 => List (List t0) -> State -> List (List t0)Source

c_transpose'46_'35lambda24 :: Curry t151 => List t151 -> List t151 -> State -> List t151Source

c_transpose'46_'35lambda28 :: Curry t151 => List t151 -> List (List t151) -> State -> List (List t151)Source

c_evalModeIsOrBased :: State -> C_IO C_BoolSource

c_transpose_case_0 :: Curry t0 => List (List t0) -> List t0 -> State -> List (List t0)Source

c_shuffleWithLen'46_'35selFP8'35zs_case_1 :: BaseCurry t => List t -> State -> List tSource

c_shuffleWithLen'46_'35selFP7'35z_case_2 :: BaseCurry t => List t -> State -> tSource

c_shuffleWithLen'46_'35selFP6'35ys_case_3 :: (BaseCurry t, BaseCurry b) => b -> List t -> State -> bSource

c_shuffleWithLen_case_5 :: Curry t0 => C_Int -> List C_Int -> T2 (List t0) (List t0) -> C_Bool -> State -> List t0Source

c_shuffleWithLen_case_4 :: Curry t0 => C_Int -> List C_Int -> T2 (List t0) (List t0) -> C_Bool -> State -> List t0Source

c_diagonal'46merge'46268_case_6 :: Curry t0 => List t0 -> t0 -> List t0 -> List (List t0) -> State -> List (List t0)Source

c_flatRep_case_8 :: Curry t0 => C_Int -> List (C_SearchTree t0) -> C_Bool -> State -> List (C_SearchTree t0)Source

c_flatRep_case_7 :: Curry t0 => C_Int -> List (C_SearchTree t0) -> C_Bool -> State -> List (C_SearchTree t0)Source

c_rndLevels_case_9 :: Curry t0 => List (C_SearchTree t0) -> List C_Int -> C_Bool -> State -> List (List (C_SearchTree t0))Source

c_leList_case_10 :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> t0 -> List t0 -> List t0 -> State -> C_BoolSource

c_leList_case_11 :: BaseCurry t => List t -> State -> C_BoolSource

c_leqPair_case_14 :: (Curry t0, Curry t1, Curry t2, Curry t3) => Prim (t3 -> State -> Prim (t3 -> State -> t1)) -> Prim (t2 -> State -> Prim (t0 -> State -> t1)) -> t3 -> t2 -> T2 t3 t0 -> State -> t1Source

c_leqPair_case_13 :: (Curry t3, Curry t4, Curry t2, Curry t1, Curry t0) => Prim (t4 -> State -> Prim (t3 -> State -> t1)) -> Prim (t2 -> State -> Prim (t0 -> State -> t1)) -> t4 -> t2 -> t3 -> t0 -> C_Bool -> State -> t1Source

c_leqPair_case_12 :: (Curry t2, Curry t1, Curry t0) => Prim (t2 -> State -> Prim (t0 -> State -> t1)) -> t2 -> t0 -> C_Bool -> State -> t1Source

c_done'46display'46199_case_15 :: BaseCurry t => List (List C_Char) -> List C_Char -> List t -> State -> List C_CharSource

c_done_case_16 :: t -> C_Bool -> State -> List C_CharSource

c_nth_case_19 :: C_Int -> C_Bool -> State -> List C_CharSource

c_nth_case_18 :: C_Int -> C_Bool -> State -> List C_CharSource

c_nth_case_17 :: Curry t0 => t0 -> C_Bool -> State -> List C_CharSource

c_tests_case_27 :: C_Config -> C_Int -> C_Int -> List (List (List C_Char)) -> C_Test -> List C_Test -> C_Bool -> State -> C_IO T0Source

c_tests_case_26 :: C_Config -> C_Int -> C_Int -> List (List (List C_Char)) -> C_Test -> List C_Test -> C_Bool -> State -> C_IO T0Source

c_tests_case_25 :: C_Config -> C_Int -> C_Int -> List (List (List C_Char)) -> C_Test -> List C_Test -> C_Bool -> State -> C_IO T0Source

c_tests_case_24 :: C_Config -> C_Int -> C_Int -> List (List (List C_Char)) -> C_Test -> List C_Test -> C_Result -> State -> C_IO T0Source

c_tests_case_20 :: List (List C_Char) -> C_Bool -> State -> List C_CharSource

c_tests_case_21 :: t -> C_Bool -> State -> List C_CharSource

c_tests_case_22 :: List (List C_Char) -> C_Bool -> State -> List C_CharSource

c_tests_case_23 :: t -> C_Bool -> State -> List C_CharSource

c_is'46_'35lambda3_case_28 :: (BaseCurry t, Curry t0) => Prim (t0 -> State -> C_Bool) -> t0 -> List t -> State -> C_BoolSource

c_test_case_32 :: Curry t0 => List t0 -> List C_Bool -> State -> C_ResultSource

c_test_case_31 :: (BaseCurry t, Curry t0) => List t0 -> List C_Bool -> List t -> C_Bool -> State -> C_ResultSource

c_test_case_29 :: (BaseCurry t, Curry t0) => List t0 -> List C_Bool -> List t -> State -> C_ResultSource

c_test_case_30 :: (BaseCurry t, Curry t0) => List t0 -> List C_Bool -> List t -> State -> C_ResultSource