Documentation

data C_RedBlackTree t0 Source

data C_Color Source

data C_Tree t0 Source

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_isEmpty :: Curry t0 => C_RedBlackTree t0 -> State -> C_BoolSource

c_newTreeLike :: Curry t0 => C_RedBlackTree t0 -> 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_update :: Curry t0 => t0 -> C_RedBlackTree t0 -> State -> C_RedBlackTree 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_updateTree'46_'35selFP3'35e2 :: Curry t183 => C_Tree t183 -> State -> t183Source

c_updateTree'46_'35selFP4'35l :: Curry t183 => C_Tree t183 -> State -> C_Tree t183Source

c_updateTree'46_'35selFP5'35r :: Curry t183 => C_Tree t183 -> State -> C_Tree t183Source

c_delete :: Curry t0 => t0 -> C_RedBlackTree t0 -> State -> C_RedBlackTree t0Source

c_delete'46blackenRoot'4644 :: Curry t0 => C_Tree t0 -> State -> C_Tree t0Source

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_deleteTree'46addColor'4656 :: Curry t0 => C_Color -> C_Tree t0 -> State -> C_Tree t0Source

c_deleteTree'46rightMost'4656 :: Curry t0 => C_Tree t0 -> State -> t0Source

c_tree2list :: Curry t0 => C_RedBlackTree t0 -> State -> List t0Source

c_tree2listTree :: Curry t0 => C_Tree t0 -> State -> List t0Source

c_tree2listTree'46t2l'4677 :: Curry t0 => C_Tree t0 -> List t0 -> State -> List 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_setInsertEquivalence :: Curry t0 => Prim (t0 -> State -> Prim (t0 -> State -> C_Bool)) -> C_RedBlackTree t0 -> State -> C_RedBlackTree t0Source

c_rbt :: Curry t0 => C_RedBlackTree t0 -> State -> C_Tree t0Source

c_isBlack :: Curry t0 => C_Tree t0 -> State -> C_BoolSource

c_isRed :: Curry t0 => C_Tree t0 -> State -> C_BoolSource

c_isDoublyBlack :: Curry t0 => C_Tree t0 -> 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_singleBlack :: Curry t0 => C_Tree t0 -> State -> C_Tree t0Source

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

c_balanceL'46_'35selFP7'35z :: Curry t88 => C_Tree t88 -> State -> t88Source

c_balanceL'46_'35selFP8'35y :: Curry t88 => C_Tree t88 -> State -> t88Source

c_balanceL'46_'35selFP9'35x :: Curry t88 => C_Tree t88 -> State -> t88Source

c_balanceL'46_'35selFP10'35a :: Curry t88 => C_Tree t88 -> State -> C_Tree t88Source

c_balanceL'46_'35selFP11'35b :: Curry t88 => C_Tree t88 -> State -> C_Tree t88Source

c_balanceL'46_'35selFP12'35c :: Curry t88 => C_Tree t88 -> State -> C_Tree t88Source

c_balanceL'46_'35selFP13'35d :: Curry t88 => C_Tree t88 -> State -> C_Tree t88Source

c_balanceL'46_'35selFP15'35z :: Curry t88 => C_Tree t88 -> State -> t88Source

c_balanceL'46_'35selFP16'35x :: Curry t88 => C_Tree t88 -> State -> t88Source

c_balanceL'46_'35selFP17'35a :: Curry t88 => C_Tree t88 -> State -> C_Tree t88Source

c_balanceL'46_'35selFP18'35y :: Curry t88 => C_Tree t88 -> State -> t88Source

c_balanceL'46_'35selFP19'35b :: Curry t88 => C_Tree t88 -> State -> C_Tree t88Source

c_balanceL'46_'35selFP20'35c :: Curry t88 => C_Tree t88 -> State -> C_Tree t88Source

c_balanceL'46_'35selFP21'35d :: Curry t88 => C_Tree t88 -> State -> C_Tree t88Source

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

c_balanceR'46_'35selFP23'35x :: Curry t131 => C_Tree t131 -> State -> t131Source

c_balanceR'46_'35selFP24'35a :: Curry t131 => C_Tree t131 -> State -> C_Tree t131Source

c_balanceR'46_'35selFP25'35y :: Curry t131 => C_Tree t131 -> State -> t131Source

c_balanceR'46_'35selFP26'35b :: Curry t131 => C_Tree t131 -> State -> C_Tree t131Source

c_balanceR'46_'35selFP27'35z :: Curry t131 => C_Tree t131 -> State -> t131Source

c_balanceR'46_'35selFP28'35c :: Curry t131 => C_Tree t131 -> State -> C_Tree t131Source

c_balanceR'46_'35selFP29'35d :: Curry t131 => C_Tree t131 -> State -> C_Tree t131Source

c_balanceR'46_'35selFP31'35x :: Curry t131 => C_Tree t131 -> State -> t131Source

c_balanceR'46_'35selFP32'35a :: Curry t131 => C_Tree t131 -> State -> C_Tree t131Source

c_balanceR'46_'35selFP33'35z :: Curry t131 => C_Tree t131 -> State -> t131Source

c_balanceR'46_'35selFP34'35y :: Curry t131 => C_Tree t131 -> State -> t131Source

c_balanceR'46_'35selFP35'35b :: Curry t131 => C_Tree t131 -> State -> C_Tree t131Source

c_balanceR'46_'35selFP36'35c :: Curry t131 => C_Tree t131 -> State -> C_Tree t131Source

c_balanceR'46_'35selFP37'35d :: Curry t131 => C_Tree t131 -> State -> C_Tree t131Source

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

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

c_reviseLeft'46_'35selFP39'35col :: Curry t249 => C_Tree t249 -> State -> C_ColorSource

c_reviseLeft'46_'35selFP40'35x :: Curry t249 => C_Tree t249 -> State -> t249Source

c_reviseLeft'46_'35selFP41'35a :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP42'35z :: Curry t249 => C_Tree t249 -> State -> t249Source

c_reviseLeft'46_'35selFP43'35y :: Curry t249 => C_Tree t249 -> State -> t249Source

c_reviseLeft'46_'35selFP44'35b :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP45'35c :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP46'35d :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP48'35col :: Curry t249 => C_Tree t249 -> State -> C_ColorSource

c_reviseLeft'46_'35selFP49'35x :: Curry t249 => C_Tree t249 -> State -> t249Source

c_reviseLeft'46_'35selFP50'35a :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP51'35y :: Curry t249 => C_Tree t249 -> State -> t249Source

c_reviseLeft'46_'35selFP52'35b :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP53'35z :: Curry t249 => C_Tree t249 -> State -> t249Source

c_reviseLeft'46_'35selFP54'35c :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP55'35d :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP57'35col :: Curry t249 => C_Tree t249 -> State -> C_ColorSource

c_reviseLeft'46_'35selFP58'35x :: Curry t249 => C_Tree t249 -> State -> t249Source

c_reviseLeft'46_'35selFP59'35a :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP60'35y :: Curry t249 => C_Tree t249 -> State -> t249Source

c_reviseLeft'46_'35selFP61'35b :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP62'35c :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP64'35x :: Curry t249 => C_Tree t249 -> State -> t249Source

c_reviseLeft'46_'35selFP65'35a :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP66'35y :: Curry t249 => C_Tree t249 -> State -> t249Source

c_reviseLeft'46_'35selFP67'35b :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

c_reviseLeft'46_'35selFP68'35c :: Curry t249 => C_Tree t249 -> State -> C_Tree t249Source

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

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

c_reviseRight'46_'35selFP70'35col :: Curry t327 => C_Tree t327 -> State -> C_ColorSource

c_reviseRight'46_'35selFP71'35x :: Curry t327 => C_Tree t327 -> State -> t327Source

c_reviseRight'46_'35selFP72'35y :: Curry t327 => C_Tree t327 -> State -> t327Source

c_reviseRight'46_'35selFP73'35z :: Curry t327 => C_Tree t327 -> State -> t327Source

c_reviseRight'46_'35selFP74'35d :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP75'35c :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP76'35b :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP77'35a :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP79'35col :: Curry t327 => C_Tree t327 -> State -> C_ColorSource

c_reviseRight'46_'35selFP80'35x :: Curry t327 => C_Tree t327 -> State -> t327Source

c_reviseRight'46_'35selFP81'35z :: Curry t327 => C_Tree t327 -> State -> t327Source

c_reviseRight'46_'35selFP82'35d :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP83'35y :: Curry t327 => C_Tree t327 -> State -> t327Source

c_reviseRight'46_'35selFP84'35c :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP85'35b :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP86'35a :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP88'35col :: Curry t327 => C_Tree t327 -> State -> C_ColorSource

c_reviseRight'46_'35selFP89'35x :: Curry t327 => C_Tree t327 -> State -> t327Source

c_reviseRight'46_'35selFP90'35y :: Curry t327 => C_Tree t327 -> State -> t327Source

c_reviseRight'46_'35selFP91'35c :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP92'35b :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP93'35a :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP95'35x :: Curry t327 => C_Tree t327 -> State -> t327Source

c_reviseRight'46_'35selFP96'35y :: Curry t327 => C_Tree t327 -> State -> t327Source

c_reviseRight'46_'35selFP97'35c :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP98'35b :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP99'35a :: Curry t327 => C_Tree t327 -> State -> C_Tree t327Source

c_reviseRight'46_'35selFP99'35a_case_0 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP98'35b_case_1 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP97'35c_case_2 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP96'35y_case_3 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseRight'46_'35selFP95'35x_case_4 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP93'35a_case_5 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP92'35b_case_6 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP91'35c_case_7 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP90'35y_case_8 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseRight'46_'35selFP89'35x_case_9 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP88'35col_case_10 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP86'35a_case_12 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP86'35a_case_11 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP85'35b_case_14 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP85'35b_case_13 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP84'35c_case_16 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP84'35c_case_15 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP83'35y_case_18 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseRight'46_'35selFP83'35y_case_17 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseRight'46_'35selFP82'35d_case_20 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP82'35d_case_19 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP81'35z_case_22 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseRight'46_'35selFP81'35z_case_21 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP80'35x_case_24 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP80'35x_case_23 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP79'35col_case_26 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP79'35col_case_25 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP77'35a_case_28 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP77'35a_case_27 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP76'35b_case_30 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP76'35b_case_29 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP75'35c_case_32 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP75'35c_case_31 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP74'35d_case_34 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP74'35d_case_33 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseRight'46_'35selFP73'35z_case_36 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseRight'46_'35selFP73'35z_case_35 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseRight'46_'35selFP72'35y_case_38 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseRight'46_'35selFP72'35y_case_37 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP71'35x_case_40 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP71'35x_case_39 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP70'35col_case_42 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseRight'46_'35selFP70'35col_case_41 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

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

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

c_reviseRight_case_46 :: Curry t0 => C_Tree t0 -> t -> C_Bool -> C_Bool -> State -> C_Tree t0Source

c_reviseRight_case_45 :: Curry t0 => C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_reviseRight_case_43 :: Curry t0 => C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_reviseRight_case_44 :: t -> C_Bool -> State -> C_ColorSource

c_delBalanceR_case_49 :: Curry t0 => C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_reviseLeft'46_'35selFP68'35c_case_50 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP67'35b_case_51 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP66'35y_case_52 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseLeft'46_'35selFP65'35a_case_53 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP64'35x_case_54 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP62'35c_case_55 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP61'35b_case_56 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP60'35y_case_57 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseLeft'46_'35selFP59'35a_case_58 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP58'35x_case_59 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP57'35col_case_60 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP55'35d_case_62 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP55'35d_case_61 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP54'35c_case_64 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP54'35c_case_63 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP53'35z_case_66 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseLeft'46_'35selFP53'35z_case_65 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseLeft'46_'35selFP52'35b_case_68 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP52'35b_case_67 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP51'35y_case_70 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseLeft'46_'35selFP51'35y_case_69 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP50'35a_case_72 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP50'35a_case_71 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP49'35x_case_74 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP49'35x_case_73 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP48'35col_case_76 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP48'35col_case_75 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP46'35d_case_78 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP46'35d_case_77 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP45'35c_case_80 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP45'35c_case_79 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP44'35b_case_82 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP44'35b_case_81 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_reviseLeft'46_'35selFP43'35y_case_84 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseLeft'46_'35selFP43'35y_case_83 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseLeft'46_'35selFP42'35z_case_86 :: BaseCurry t => C_Tree t -> State -> tSource

c_reviseLeft'46_'35selFP42'35z_case_85 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP41'35a_case_88 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP41'35a_case_87 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP40'35x_case_90 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP40'35x_case_89 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP39'35col_case_92 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_reviseLeft'46_'35selFP39'35col_case_91 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

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

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

c_reviseLeft_case_96 :: Curry t0 => C_Tree t0 -> t -> C_Bool -> C_Bool -> State -> C_Tree t0Source

c_reviseLeft_case_95 :: Curry t0 => C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_reviseLeft_case_93 :: Curry t0 => C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_reviseLeft_case_94 :: t -> C_Bool -> State -> C_ColorSource

c_delBalanceL_case_99 :: Curry t0 => C_Tree t0 -> C_Bool -> State -> C_Tree t0Source

c_balanceR'46_'35selFP37'35d_case_101 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceR'46_'35selFP37'35d_case_100 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceR'46_'35selFP36'35c_case_103 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceR'46_'35selFP36'35c_case_102 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceR'46_'35selFP35'35b_case_105 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceR'46_'35selFP35'35b_case_104 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceR'46_'35selFP34'35y_case_107 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceR'46_'35selFP34'35y_case_106 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceR'46_'35selFP33'35z_case_109 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceR'46_'35selFP33'35z_case_108 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceR'46_'35selFP32'35a_case_111 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_balanceR'46_'35selFP32'35a_case_110 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceR'46_'35selFP31'35x_case_113 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_balanceR'46_'35selFP31'35x_case_112 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceR'46_'35selFP29'35d_case_115 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceR'46_'35selFP29'35d_case_114 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceR'46_'35selFP28'35c_case_117 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceR'46_'35selFP28'35c_case_116 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceR'46_'35selFP27'35z_case_119 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceR'46_'35selFP27'35z_case_118 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceR'46_'35selFP26'35b_case_121 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceR'46_'35selFP26'35b_case_120 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceR'46_'35selFP25'35y_case_123 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceR'46_'35selFP25'35y_case_122 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceR'46_'35selFP24'35a_case_125 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_balanceR'46_'35selFP24'35a_case_124 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceR'46_'35selFP23'35x_case_127 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_balanceR'46_'35selFP23'35x_case_126 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

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

c_balanceR_case_129 :: Curry t0 => C_Tree t0 -> t -> C_Bool -> State -> C_Tree t0Source

c_balanceR_case_128 :: BaseCurry b => b -> C_Bool -> State -> bSource

c_balanceL'46_'35selFP21'35d_case_132 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_balanceL'46_'35selFP21'35d_case_131 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceL'46_'35selFP20'35c_case_134 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceL'46_'35selFP20'35c_case_133 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceL'46_'35selFP19'35b_case_136 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceL'46_'35selFP19'35b_case_135 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceL'46_'35selFP18'35y_case_138 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceL'46_'35selFP18'35y_case_137 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceL'46_'35selFP17'35a_case_140 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceL'46_'35selFP17'35a_case_139 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceL'46_'35selFP16'35x_case_142 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceL'46_'35selFP16'35x_case_141 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceL'46_'35selFP15'35z_case_144 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_balanceL'46_'35selFP15'35z_case_143 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceL'46_'35selFP13'35d_case_146 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_balanceL'46_'35selFP13'35d_case_145 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceL'46_'35selFP12'35c_case_148 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceL'46_'35selFP12'35c_case_147 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceL'46_'35selFP11'35b_case_150 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceL'46_'35selFP11'35b_case_149 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceL'46_'35selFP10'35a_case_152 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceL'46_'35selFP10'35a_case_151 :: BaseCurry t => C_Tree t -> State -> C_Tree tSource

c_balanceL'46_'35selFP9'35x_case_154 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceL'46_'35selFP9'35x_case_153 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceL'46_'35selFP8'35y_case_156 :: BaseCurry t => C_Tree t -> State -> tSource

c_balanceL'46_'35selFP8'35y_case_155 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

c_balanceL'46_'35selFP7'35z_case_158 :: (BaseCurry b, BaseCurry t) => b -> C_Tree t -> State -> bSource

c_balanceL'46_'35selFP7'35z_case_157 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource

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

c_balanceL_case_160 :: Curry t0 => C_Tree t0 -> t -> C_Bool -> State -> C_Tree t0Source

c_balanceL_case_159 :: BaseCurry b => b -> C_Bool -> State -> bSource

c_singleBlack_case_162 :: BaseCurry t0 => t0 -> C_Tree t0 -> C_Tree t0 -> C_Color -> State -> C_Tree t0Source

c_deleteTree'46rightMost'4656_case_163 :: Curry t0 => t0 -> C_Tree t0 -> C_Bool -> State -> t0Source

c_deleteTree'46addColor'4656_case_165 :: BaseCurry t0 => C_Tree t0 -> State -> C_Tree t0Source

c_deleteTree'46addColor'4656_case_164 :: BaseCurry t0 => t0 -> C_Tree t0 -> C_Tree t0 -> C_Color -> 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

c_isEmpty_case_177 :: BaseCurry t => C_Tree t -> State -> C_BoolSource