Searched defs:updateMinWithKey (Results 1 – 7 of 7) sorted by relevance
947 updateMinWithKey _ Tip = Tip function948 updateMinWithKey f (Bin sx kx x Tip r) = case f kx x of function951 updateMinWithKey f (Bin _ kx x l r) = balanceR kx x (updateMinWithKey f l) r function
926 updateMinWithKey _ Tip = Tip function927 updateMinWithKey f (Bin sx kx x Tip r) = case f kx x of function930 updateMinWithKey f (Bin _ kx x l r) = balanceR kx x (updateMinWithKey f l) r function
1702 updateMinWithKey _ Tip = Tip function1703 updateMinWithKey f (Bin sx kx x Tip r) = case f kx x of function1706 updateMinWithKey f (Bin _ kx x l r) = balanceR kx x (updateMinWithKey f l) r function
1727 updateMinWithKey _ Tip = Tip function1728 updateMinWithKey f (Bin sx kx x Tip r) = case f kx x of function1731 updateMinWithKey f (Bin _ kx x l r) = balanceR kx x (updateMinWithKey f l) r function
584 updateMinWithKey f = go function