KiCS-0.9.3: A compiler from Curry to Haskell

Safe HaskellSafe-Infered

Curry.Module.Array

Documentation

data C_Array t0 Source

Instances

Read t0 => Read (C_Array t0) 
Show t0 => Show (C_Array t0) 
BaseCurry t0 => BaseCurry (C_Array t0) 
Curry t0 => Curry (C_Array t0) 

data C_Entry t0 Source

Instances

Read t0 => Read (C_Entry t0) 
Show t0 => Show (C_Entry t0) 
BaseCurry t0 => BaseCurry (C_Entry t0) 
Curry t0 => Curry (C_Entry t0) 

op_47_47 :: Curry t0 => C_Array t0 -> List (T2 C_Int t0) -> State -> C_Array t0Source

c_'47'47'46_'35lambda2 :: Curry t72 => Prim (C_Int -> State -> t72) -> T2 C_Int t72 -> C_Entry t72 -> State -> C_Entry t72Source

c_update :: Curry t0 => C_Array t0 -> C_Int -> t0 -> State -> C_Array t0Source

c_applyAt :: Curry t0 => C_Array t0 -> C_Int -> Prim (t0 -> State -> t0) -> State -> C_Array t0Source

c_at :: Curry t0 => t0 -> C_Entry t0 -> C_Int -> Prim (t0 -> State -> t0) -> State -> C_Entry t0Source

op_33 :: Curry t0 => C_Array t0 -> C_Int -> State -> t0Source

c_from :: Curry t0 => t0 -> C_Entry t0 -> C_Int -> State -> t0Source

c_split :: Curry t0 => List t0 -> State -> T2 (List t0) (List t0)Source

c_split'46_'35selFP3'35xs :: Curry t126 => T2 (List t126) (List t126) -> State -> List t126Source

c_split'46_'35selFP4'35ys :: Curry t126 => T2 (List t126) (List t126) -> State -> List t126Source

c_listToDefaultArray :: Curry t0 => Prim (C_Int -> State -> t0) -> State -> Prim (List t0 -> State -> C_Array t0)Source

c_listToArray'46_'35selFP6'35ys :: Curry t137 => T2 (List t137) (List t137) -> State -> List t137Source

c_listToArray'46_'35selFP7'35zs :: Curry t137 => T2 (List t137) (List t137) -> State -> List t137Source

c_combine :: (Curry t0, Curry t1, Curry t2) => Prim (t0 -> State -> Prim (t1 -> State -> t2)) -> C_Array t0 -> C_Array t1 -> State -> C_Array t2Source

c_combine'46_'35lambda3 :: (Curry t252, Curry t255, Curry t263) => Prim (C_Int -> State -> t252) -> Prim (C_Int -> State -> t255) -> Prim (t252 -> State -> Prim (t255 -> State -> t263)) -> C_Int -> State -> t263Source

c_comb :: (Curry t0, Curry t1, Curry t2) => Prim (t0 -> State -> Prim (t1 -> State -> t2)) -> Prim (C_Int -> State -> t0) -> Prim (C_Int -> State -> t1) -> C_Entry t0 -> C_Entry t1 -> C_Int -> C_Int -> State -> C_Entry t2Source

c_combineSimilar :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> C_Array t0 -> C_Array t0 -> State -> C_Array t0Source

c_combSim :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> C_Entry t0 -> C_Entry t0 -> State -> C_Entry t0Source

c_foldArray :: (Curry t0, Curry t1) => t0 -> Prim (t1 -> State -> Prim (t0 -> State -> Prim (t0 -> State -> t0))) -> C_Array t1 -> State -> t0Source

c_foldEntries :: (Curry t0, Curry t1) => t0 -> Prim (t1 -> State -> Prim (t0 -> State -> Prim (t0 -> State -> t0))) -> C_Entry t1 -> State -> t0Source

c_arrayToList'46_'35lambda4 :: Curry t345 => t345 -> List t345 -> List t345 -> State -> List t345Source

c_combSim_case_0 :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> C_Entry t0 -> t0 -> C_Entry t0 -> C_Entry t0 -> C_Entry t0 -> State -> C_Entry t0Source

c_combineSimilar_case_1 :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> t0)) -> Prim (C_Int -> State -> t0) -> C_Entry t0 -> C_Array t0 -> State -> C_Array t0Source

c_comb_case_2 :: (Curry t1, Curry t0, Curry t2) => Prim (t1 -> State -> Prim (t2 -> State -> t0)) -> Prim (C_Int -> State -> t1) -> Prim (C_Int -> State -> t2) -> C_Int -> C_Int -> t1 -> C_Entry t1 -> C_Entry t1 -> C_Entry t2 -> State -> C_Entry t0Source

c_comb_case_3 :: (Curry t1, Curry t0, Curry t2) => Prim (t1 -> State -> Prim (t2 -> State -> t0)) -> Prim (C_Int -> State -> t1) -> Prim (C_Int -> State -> t2) -> C_Int -> C_Int -> C_Entry t2 -> State -> C_Entry t0Source

c_combine_case_4 :: (Curry t2, Curry t1, Curry t0) => Prim (t1 -> State -> Prim (t2 -> State -> t0)) -> Prim (C_Int -> State -> t1) -> C_Entry t1 -> C_Array t2 -> State -> C_Array t0Source

c_split_case_5 :: Curry t0 => t0 -> List t0 -> State -> T2 (List t0) (List t0)Source

c_from_case_8 :: Curry t0 => t0 -> C_Int -> t0 -> C_Entry t0 -> C_Entry t0 -> C_Bool -> State -> t0Source

c_from_case_7 :: Curry t0 => t0 -> C_Int -> C_Entry t0 -> C_Entry t0 -> C_Bool -> State -> t0Source

c_from_case_6 :: Curry t0 => t0 -> C_Int -> C_Entry t0 -> C_Bool -> State -> t0Source

c_at_case_11 :: Curry t0 => t0 -> C_Int -> Prim (t0 -> State -> t0) -> t0 -> C_Entry t0 -> C_Entry t0 -> C_Bool -> State -> C_Entry t0Source

c_at_case_10 :: Curry t0 => t0 -> C_Int -> Prim (t0 -> State -> t0) -> t0 -> C_Entry t0 -> C_Entry t0 -> C_Bool -> State -> C_Entry t0Source

c_at_case_9 :: Curry t0 => t0 -> C_Int -> Prim (t0 -> State -> t0) -> t0 -> C_Entry t0 -> C_Entry t0 -> C_Bool -> State -> C_Entry t0Source

c_at_case_14 :: Curry t0 => t0 -> C_Int -> Prim (t0 -> State -> t0) -> C_Bool -> State -> C_Entry t0Source

c_at_case_13 :: Curry t0 => t0 -> C_Int -> Prim (t0 -> State -> t0) -> C_Bool -> State -> C_Entry t0Source

c_at_case_12 :: Curry t0 => t0 -> C_Int -> Prim (t0 -> State -> t0) -> C_Bool -> State -> C_Entry t0Source