Curry.Module.Assertion

Documentation

data C_Assertion t0

Constructors

C_AssertTrue (List C_Char) C_Bool

C_AssertEqual (List C_Char) t0 t0

C_AssertValues (List C_Char) t0 (List t0)

C_AssertSolutions (List C_Char) (Prim (t0 -> State -> C_Success)) (List t0)

C_AssertIO (List C_Char) (C_IO t0) t0

C_AssertEqualIO (List C_Char) (C_IO t0) (C_IO t0)

C_AssertionFail C_Exceptions

C_AssertionOr OrRef (Branches (C_Assertion t0))

Instances

Read t0 => Read (C_Assertion t0)

Show t0 => Show (C_Assertion t0)

BaseCurry t0 => BaseCurry (C_Assertion t0)

Curry t0 => Curry (C_Assertion t0)

data C_ProtocolMsg

Constructors

C_TestModule (List C_Char)

C_TestCase (List C_Char) C_Bool

C_TestFinished

C_TestCompileError

C_ProtocolMsgFail C_Exceptions

C_ProtocolMsgOr OrRef (Branches C_ProtocolMsg)

Instances

Read C_ProtocolMsg

Show C_ProtocolMsg

BaseCurry C_ProtocolMsg

Curry C_ProtocolMsg

c_seqStrActions :: C_IO (T2 (List C_Char) C_Bool) -> C_IO (T2 (List C_Char) C_Bool) -> State -> C_IO (T2 (List C_Char) C_Bool)

c_seqStrActions'46_'35lambda2 :: C_IO (T2 (List C_Char) C_Bool) -> T2 (List C_Char) C_Bool -> State -> C_IO (T2 (List C_Char) C_Bool)

c_seqStrActions'46_'35lambda2'46_'35lambda3 :: C_Bool -> List C_Char -> T2 (List C_Char) C_Bool -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertion :: Curry t0 => Prim (T2 (List C_Char) C_Bool -> State -> C_IO (T2 (List C_Char) C_Bool)) -> C_Assertion t0 -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertTrue :: List C_Char -> C_Bool -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertEqual :: Curry t0 => List C_Char -> t0 -> t0 -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertValues :: Curry t0 => List C_Char -> t0 -> List t0 -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertValues'46_'35lambda4 :: Curry t42 => List C_Char -> List t42 -> C_SearchTree t42 -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertSolutions :: Curry t0 => List C_Char -> Prim (t0 -> State -> C_Success) -> List t0 -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertSolutions'46_'35lambda5 :: Curry t73 => List C_Char -> List t73 -> C_SearchTree (T2 t73 C_Success) -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertIO :: Curry t0 => List C_Char -> C_IO t0 -> t0 -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertIO'46_'35lambda6 :: Curry t104 => List C_Char -> t104 -> t104 -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertEqualIO :: Curry t0 => List C_Char -> C_IO t0 -> C_IO t0 -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertEqualIO'46_'35lambda7 :: Curry t127 => C_IO t127 -> List C_Char -> t127 -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertEqualIO'46_'35lambda7'46_'35lambda8 :: Curry t127 => List C_Char -> t127 -> t127 -> State -> C_IO (T2 (List C_Char) C_Bool)

c_writeAssertResult :: T2 (List C_Char) C_Bool -> State -> C_IO T0

c_doSend :: Curry t0 => C_Handle -> t0 -> State -> C_IO T0

c_showTestMod :: C_Handle -> List C_Char -> State -> C_IO T0

c_showTestCase :: C_Handle -> T2 (List C_Char) C_Bool -> State -> C_IO (T2 (List C_Char) C_Bool)

c_showTestEnd :: C_Handle -> State -> C_IO T0

c_showTestCompileError :: C_Handle -> State -> C_IO T0

c_writeAssertResult_case_0 :: List C_Char -> C_Bool -> State -> C_IO T0

c_checkAssertEqualIO'46_'35lambda7'46_'35lambda8_case_1 :: (Curry t1, Curry t0) => List C_Char -> t0 -> t1 -> C_Bool -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertIO'46_'35lambda6_case_2 :: (Curry t1, Curry t0) => List C_Char -> t1 -> t0 -> C_Bool -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertSolutions'46_'35lambda5_case_3 :: (Curry t1, Curry t0) => List C_Char -> t1 -> t0 -> C_Bool -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertValues'46_'35lambda4_case_4 :: (Curry t1, Curry t0) => List C_Char -> t1 -> t0 -> C_Bool -> State -> C_IO (T2 (List C_Char) C_Bool)

c_checkAssertEqual_case_5 :: (Curry t1, Curry t0) => List C_Char -> t0 -> t1 -> C_Bool -> State -> C_IO (T2 (List C_Char) C_Bool)