KiCS-0.9.3: A compiler from Curry to Haskell

Safe HaskellSafe-Infered

Curry.Module.StyledText

Documentation

c_interpret :: (Curry t0, Curry t1) => List t0 -> Prim (t1 -> State -> Prim (t1 -> State -> t1)) -> Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> Prim (t0 -> State -> Prim (List C_Char -> State -> t1)) -> List (T3 t0 t0 t0) -> List C_Char -> State -> t1Source

c_interpret_case_8 :: (Curry t1, Curry t0) => List t0 -> Prim (t1 -> State -> Prim (t1 -> State -> t1)) -> Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> Prim (t0 -> State -> Prim (List C_Char -> State -> t1)) -> List (T3 t0 t0 t0) -> List C_Char -> t0 -> List t0 -> State -> t1Source

c_interpret_case_7 :: (Curry t0, Curry t1) => List t0 -> Prim (t1 -> State -> Prim (t1 -> State -> t1)) -> Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> Prim (t0 -> State -> Prim (List C_Char -> State -> t1)) -> List C_Char -> t0 -> t0 -> List t0 -> List (T3 t0 t0 t0) -> State -> t1Source

c_interpret_case_6 :: (Curry t1, Curry t0) => List t0 -> Prim (t1 -> State -> Prim (t1 -> State -> t1)) -> Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> Prim (t0 -> State -> Prim (List C_Char -> State -> t1)) -> List C_Char -> t0 -> t0 -> List t0 -> List (T3 t0 t0 t0) -> T3 t0 t0 t0 -> State -> t1Source

c_interpret_case_5 :: (Curry t2, Curry t1, Curry t0) => List t2 -> Prim (t1 -> State -> Prim (t1 -> State -> t1)) -> Prim (t2 -> State -> Prim (t2 -> State -> t2)) -> Prim (t2 -> State -> Prim (List C_Char -> State -> t1)) -> t2 -> t2 -> T3 t2 t2 t2 -> List (T3 t2 t2 t2) -> t2 -> t2 -> t2 -> Prim (t0 -> State -> t1) -> t0 -> List C_Char -> C_Int -> t2 -> C_Bool -> State -> t1Source

c_interpret_case_4 :: (Curry t2, Curry t1, Curry t0) => List t2 -> Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> Prim (t2 -> State -> Prim (t2 -> State -> t2)) -> Prim (t2 -> State -> Prim (List C_Char -> State -> t0)) -> t2 -> t2 -> T3 t2 t2 t2 -> List (T3 t2 t2 t2) -> t2 -> t2 -> t2 -> Prim (t1 -> State -> t0) -> t1 -> List C_Char -> C_Int -> t2 -> C_Bool -> State -> t0Source

c_interpret_case_3 :: (Curry t2, Curry t1, Curry t0) => List t2 -> Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> Prim (t2 -> State -> Prim (t2 -> State -> t2)) -> Prim (t2 -> State -> Prim (List C_Char -> State -> t0)) -> t2 -> T3 t2 t2 t2 -> List (T3 t2 t2 t2) -> t2 -> t2 -> t2 -> Prim (t1 -> State -> t0) -> t1 -> List C_Char -> C_Int -> t2 -> C_Bool -> State -> t0Source

c_interpret_case_2 :: (Curry t2, Curry t1, Curry t0) => List t2 -> Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> Prim (t2 -> State -> Prim (t2 -> State -> t2)) -> Prim (t2 -> State -> Prim (List C_Char -> State -> t0)) -> T3 t2 t2 t2 -> List (T3 t2 t2 t2) -> t2 -> t2 -> t2 -> Prim (t1 -> State -> t0) -> t1 -> List C_Char -> C_Int -> t2 -> C_Bool -> State -> t0Source

c_interpret_case_1 :: (Curry t2, Curry t1, Curry t0) => List t2 -> Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> Prim (t2 -> State -> Prim (t2 -> State -> t2)) -> Prim (t2 -> State -> Prim (List C_Char -> State -> t0)) -> T3 t2 t2 t2 -> List (T3 t2 t2 t2) -> t2 -> t2 -> t2 -> Prim (t1 -> State -> t0) -> t1 -> List C_Char -> t -> t2 -> C_Bool -> State -> t0Source

c_interpret_case_0 :: (Curry t2, Curry t1, Curry t0) => List t2 -> Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> Prim (t2 -> State -> Prim (t2 -> State -> t2)) -> Prim (t2 -> State -> Prim (List C_Char -> State -> t0)) -> T3 t2 t2 t2 -> List (T3 t2 t2 t2) -> t2 -> t2 -> Prim (t1 -> State -> t0) -> t1 -> List C_Char -> t2 -> C_Bool -> State -> t0Source