Safe Haskell | Safe-Infered |
---|
Documentation
data C_RedBlackTree t0 Source
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)) |
Read t0 => Read (C_RedBlackTree t0) | |
Show t0 => Show (C_RedBlackTree t0) | |
BaseCurry t0 => BaseCurry (C_RedBlackTree t0) | |
Curry t0 => Curry (C_RedBlackTree 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_newTreeLike :: Curry t0 => C_RedBlackTree t0 -> State -> C_RedBlackTree 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_delete :: Curry t0 => t0 -> C_RedBlackTree t0 -> State -> C_RedBlackTree 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'46rightMost'4656 :: Curry t0 => C_Tree t0 -> State -> t0Source
c_tree2list :: Curry t0 => C_RedBlackTree 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_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_'35selFP15'35z :: Curry t88 => C_Tree t88 -> State -> t88Source
c_balanceL'46_'35selFP16'35x :: Curry t88 => C_Tree t88 -> State -> t88Source
c_balanceL'46_'35selFP18'35y :: Curry t88 => C_Tree t88 -> State -> t88Source
c_balanceR'46_'35selFP23'35x :: Curry t131 => C_Tree t131 -> State -> t131Source
c_balanceR'46_'35selFP25'35y :: Curry t131 => C_Tree t131 -> State -> t131Source
c_balanceR'46_'35selFP27'35z :: Curry t131 => C_Tree t131 -> State -> t131Source
c_balanceR'46_'35selFP31'35x :: Curry t131 => C_Tree t131 -> State -> 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_reviseLeft'46_'35selFP40'35x :: Curry t249 => C_Tree t249 -> State -> 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_'35selFP49'35x :: Curry t249 => C_Tree t249 -> State -> t249Source
c_reviseLeft'46_'35selFP51'35y :: Curry t249 => C_Tree t249 -> State -> t249Source
c_reviseLeft'46_'35selFP53'35z :: Curry t249 => C_Tree t249 -> State -> t249Source
c_reviseLeft'46_'35selFP58'35x :: Curry t249 => C_Tree t249 -> State -> t249Source
c_reviseLeft'46_'35selFP60'35y :: Curry t249 => C_Tree t249 -> State -> t249Source
c_reviseLeft'46_'35selFP64'35x :: Curry t249 => C_Tree t249 -> State -> t249Source
c_reviseLeft'46_'35selFP66'35y :: Curry t249 => C_Tree t249 -> State -> t249Source
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_'35selFP80'35x :: Curry t327 => C_Tree t327 -> State -> t327Source
c_reviseRight'46_'35selFP81'35z :: Curry t327 => C_Tree t327 -> State -> t327Source
c_reviseRight'46_'35selFP83'35y :: Curry t327 => C_Tree t327 -> State -> t327Source
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_'35selFP95'35x :: Curry t327 => C_Tree t327 -> State -> t327Source
c_reviseRight'46_'35selFP96'35y :: Curry t327 => C_Tree t327 -> State -> t327Source
c_reviseRight'46_'35selFP99'35a_case_0 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource
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_'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_'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_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_29 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource
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_44 :: t -> C_Bool -> State -> C_ColorSource
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_'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_'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_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_77 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource
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_94 :: t -> C_Bool -> State -> C_ColorSource
c_balanceR'46_'35selFP37'35d_case_100 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource
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_'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_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_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_'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_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_147 :: (BaseCurry t, BaseCurry b) => b -> C_Tree t -> State -> bSource
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_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_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