KiCS-0.9.3: A compiler from Curry to Haskell

Safe HaskellSafe-Infered

Curry.Module.RedBlackTree

Documentation

data C_RedBlackTree t0 Source

Constructors

C_RedBlackTree (Prim (t0 -> State -> Prim (t0 -> State -> C_Bool))) (Prim (t0 -> State -> Prim (t0 -> State -> C_Bool))) (Prim (t0 -> State -> Prim (t0 -> State -> C_Bool))) (C_Tree t0) 
C_RedBlackTreeFail C_Exceptions 
C_RedBlackTreeOr OrRef (Branches (C_RedBlackTree t0)) 

Instances

data C_Tree t0 Source

Instances

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

c_empty :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> State -> C_RedBlackTree t0Source

c_lookup :: Curry t0 => t0 -> C_RedBlackTree t0 -> State -> C_Maybe t0Source

c_lookupTree :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> t0 -> C_Tree t0 -> State -> C_Maybe t0Source

c_updateTree :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> t0 -> C_Tree t0 -> State -> C_Tree t0Source

c_updateTree'46upd'4635 :: Curry t183 => t183 -> Prim (t183 -> State -> Prim (t183 -> State -> C_Bool)) -> Prim (t183 -> State -> Prim (t183 -> State -> C_Bool)) -> C_Tree t183 -> State -> C_Tree t183Source

c_deleteTree :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> t0 -> C_Tree t0 -> State -> C_Tree t0Source

c_sort :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> List t0 -> State -> List t0Source

c_sort'46_'35lambda2 :: Curry t520 => t520 -> t520 -> State -> C_BoolSource

c_element :: Curry t0 => C_Tree t0 -> State -> t0Source

c_left :: Curry t0 => C_Tree t0 -> State -> C_Tree t0Source

c_right :: Curry t0 => C_Tree t0 -> State -> C_Tree t0Source

c_balanceR_case_130 :: (Curry t1, Curry t0) => C_Tree t0 -> C_Tree t1 -> C_Bool -> State -> C_Tree t0Source

c_balanceL_case_161 :: (Curry t1, Curry t0) => C_Tree t0 -> C_Tree t1 -> C_Bool -> State -> C_Tree t0Source

c_deleteTree_case_170 :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> t0 -> C_Color -> t0 -> C_Tree t0 -> C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_deleteTree_case_167 :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> t0 -> C_Color -> t0 -> C_Tree t0 -> C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_deleteTree_case_166 :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> t0 -> C_Color -> t0 -> C_Tree t0 -> C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_deleteTree_case_169 :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> C_Color -> C_Tree t0 -> C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_deleteTree_case_168 :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> C_Color -> C_Tree t0 -> C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_updateTree'46upd'4635_case_173 :: Curry t0 => t0 -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> C_Color -> t0 -> C_Tree t0 -> C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_updateTree'46upd'4635_case_172 :: Curry t0 => t0 -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> C_Color -> t0 -> C_Tree t0 -> C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_updateTree'46upd'4635_case_171 :: Curry t0 => t0 -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> C_Color -> t0 -> C_Tree t0 -> C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_lookupTree_case_176 :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> t0 -> t0 -> C_Tree t0 -> C_Tree t0 -> C_Bool -> State -> C_Maybe t0Source

c_lookupTree_case_175 :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> t0 -> t -> C_Tree t0 -> C_Tree t0 -> C_Bool -> State -> C_Maybe t0Source

c_lookupTree_case_174 :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> t0 -> C_Tree t0 -> C_Bool -> State -> C_Maybe t0Source