Curry.Module.Interactive

Documentation

printTerm :: (Show t0, Curry t0) => t0 -> Result (C_IO T0)

c_interactiveSols :: Curry t0 => List t0 -> State -> C_IO T0

c_interactiveSols'46_'35lambda2 :: Curry t5 => List t5 -> List C_Char -> State -> C_IO T0

c_printIO :: Curry t0 => C_IO t0 -> State -> C_IO T0

c_printIO'46_'35lambda4 :: Curry t25 => t25 -> State -> C_IO T0

c_interactiveSols'46_'35lambda2_case_1 :: Curry t0 => List t0 -> C_Char -> C_Bool -> State -> C_IO T0

c_interactiveSols'46_'35lambda2_case_0 :: Curry t0 => List t0 -> t -> C_Bool -> State -> C_IO T0

c_printTerm :: Curry t0 => t0 -> State -> C_IO T0