Proof Summary for Module FiniteMap

StatusNumberAvg. TimePercent
YES25828.9580.37
MAYBE000
TIMEOUT63 19.62
NO000
TOTAL321
0 start terms are not H-terminating (colored white)

SecondsNumberPercent
59328.97
1516852.33
3019861.68

Proof timeProof
YES 0.39 emptyFM :: FiniteMap a b
YES 0.43 unitFM :: a -> b -> FiniteMap a b
YES 16.63 listToFM :: Ord a => [(a,b)] -> FiniteMap a b
YES 0.93 listToFM :: [((),b)] -> FiniteMap () b
Timeout [Timeout] listToFM :: [(Char,b)] -> FiniteMap Char b
YES 19.64 listToFM :: Ord a => [([a],b)] -> FiniteMap [a] b
Timeout [Timeout] listToFM :: [(Int,b)] -> FiniteMap Int b
Timeout [Timeout] listToFM :: [(Float,b)] -> FiniteMap Float b
Timeout [Timeout] listToFM :: [((Ratio Int),b)] -> FiniteMap (Ratio Int) b
Timeout [Timeout] listToFM :: [(Bool,b)] -> FiniteMap Bool b
YES 11.79 listToFM :: Ord a => [((Maybe a),b)] -> FiniteMap (Maybe a) b
YES 15.79 listToFM :: (Ord a, Ord k) => [((Either a k),b)] -> FiniteMap (Either a k) b
Timeout [Timeout] listToFM :: [(Ordering,b)] -> FiniteMap Ordering b
YES 11.75 listToFM :: (Ord a, Ord k) => [((a,k),b)] -> FiniteMap (a,k) b
YES 11.79 lookupFM :: Ord a => FiniteMap a b -> a -> Maybe b
YES 0.53 lookupFM :: FiniteMap () b -> () -> Maybe b
YES 1.24 lookupFM :: FiniteMap Char b -> Char -> Maybe b
YES 12.77 lookupFM :: Ord a => FiniteMap [a] b -> [a] -> Maybe b
YES 2.61 lookupFM :: FiniteMap Int b -> Int -> Maybe b
YES 152.46 lookupFM :: FiniteMap Float b -> Float -> Maybe b
YES 159.44 lookupFM :: FiniteMap (Ratio Int) b -> (Ratio Int) -> Maybe b
YES 0.85 lookupFM :: FiniteMap Bool b -> Bool -> Maybe b
YES 7.68 lookupFM :: Ord a => FiniteMap (Maybe a) b -> (Maybe a) -> Maybe b
YES 11.39 lookupFM :: (Ord a, Ord k) => FiniteMap (Either a k) b -> (Either a k) -> Maybe b
YES 0.99 lookupFM :: FiniteMap Ordering b -> Ordering -> Maybe b
YES 7.58 lookupFM :: (Ord a, Ord k) => FiniteMap (a,k) b -> (a,k) -> Maybe b
YES 12.47 lookupWithDefaultFM :: Ord a => FiniteMap a b -> b -> a -> b
YES 0.56 lookupWithDefaultFM :: FiniteMap () b -> b -> () -> b
YES 1.77 lookupWithDefaultFM :: FiniteMap Char b -> b -> Char -> b
YES 13.05 lookupWithDefaultFM :: Ord a => FiniteMap [a] b -> b -> [a] -> b
YES 2.99 lookupWithDefaultFM :: FiniteMap Int b -> b -> Int -> b
YES 165.05 lookupWithDefaultFM :: FiniteMap Float b -> b -> Float -> b
YES 163.57 lookupWithDefaultFM :: FiniteMap (Ratio Int) b -> b -> (Ratio Int) -> b
YES 0.88 lookupWithDefaultFM :: FiniteMap Bool b -> b -> Bool -> b
YES 7.95 lookupWithDefaultFM :: Ord a => FiniteMap (Maybe a) b -> b -> (Maybe a) -> b
YES 11.06 lookupWithDefaultFM :: (Ord a, Ord k) => FiniteMap (Either a k) b -> b -> (Either a k) -> b
YES 0.88 lookupWithDefaultFM :: FiniteMap Ordering b -> b -> Ordering -> b
YES 7.83 lookupWithDefaultFM :: (Ord a, Ord k) => FiniteMap (a,k) b -> b -> (a,k) -> b
YES 12.18 elemFM :: Ord a => a -> FiniteMap a b -> Bool
YES 0.51 elemFM :: () -> FiniteMap () b -> Bool
YES 1.67 elemFM :: Char -> FiniteMap Char b -> Bool
YES 12.72 elemFM :: Ord a => [a] -> FiniteMap [a] b -> Bool
YES 2.9 elemFM :: Int -> FiniteMap Int b -> Bool
YES 142.03 elemFM :: Float -> FiniteMap Float b -> Bool
YES 153.98 elemFM :: (Ratio Int) -> FiniteMap (Ratio Int) b -> Bool
YES 0.88 elemFM :: Bool -> FiniteMap Bool b -> Bool
YES 8.02 elemFM :: Ord a => (Maybe a) -> FiniteMap (Maybe a) b -> Bool
YES 10.94 elemFM :: (Ord a, Ord k) => (Either a k) -> FiniteMap (Either a k) b -> Bool
YES 1.01 elemFM :: Ordering -> FiniteMap Ordering b -> Bool
YES 7.67 elemFM :: (Ord a, Ord k) => (a,k) -> FiniteMap (a,k) b -> Bool
YES 12.25 addToFM :: Ord a => FiniteMap a b -> a -> b -> FiniteMap a b
YES 0.67 addToFM :: FiniteMap () b -> () -> b -> FiniteMap () b
Timeout [Timeout] addToFM :: FiniteMap Char b -> Char -> b -> FiniteMap Char b
YES 14.37 addToFM :: Ord a => FiniteMap [a] b -> [a] -> b -> FiniteMap [a] b
Timeout [Timeout] addToFM :: FiniteMap Int b -> Int -> b -> FiniteMap Int b
Timeout [Timeout] addToFM :: FiniteMap Float b -> Float -> b -> FiniteMap Float b
Timeout [Timeout] addToFM :: FiniteMap (Ratio Int) b -> (Ratio Int) -> b -> FiniteMap (Ratio Int) b
Timeout [Timeout] addToFM :: FiniteMap Bool b -> Bool -> b -> FiniteMap Bool b
YES 9.46 addToFM :: Ord a => FiniteMap (Maybe a) b -> (Maybe a) -> b -> FiniteMap (Maybe a) b
YES 12.59 addToFM :: (Ord a, Ord k) => FiniteMap (Either a k) b -> (Either a k) -> b -> FiniteMap (Either a k) b
Timeout [Timeout] addToFM :: FiniteMap Ordering b -> Ordering -> b -> FiniteMap Ordering b
YES 9.95 addToFM :: (Ord a, Ord k) => FiniteMap (a,k) b -> (a,k) -> b -> FiniteMap (a,k) b
YES 12.37 addToFM_C :: Ord a => (b -> b -> b) -> FiniteMap a b -> a -> b -> FiniteMap a b
YES 0.69 addToFM_C :: (b -> b -> b) -> FiniteMap () b -> () -> b -> FiniteMap () b
Timeout [Timeout] addToFM_C :: (b -> b -> b) -> FiniteMap Char b -> Char -> b -> FiniteMap Char b
YES 11.26 addToFM_C :: Ord a => (b -> b -> b) -> FiniteMap [a] b -> [a] -> b -> FiniteMap [a] b
Timeout [Timeout] addToFM_C :: (b -> b -> b) -> FiniteMap Int b -> Int -> b -> FiniteMap Int b
Timeout [Timeout] addToFM_C :: (b -> b -> b) -> FiniteMap Float b -> Float -> b -> FiniteMap Float b
Timeout [Timeout] addToFM_C :: (b -> b -> b) -> FiniteMap (Ratio Int) b -> (Ratio Int) -> b -> FiniteMap (Ratio Int) b
YES 290.86 addToFM_C :: (b -> b -> b) -> FiniteMap Bool b -> Bool -> b -> FiniteMap Bool b
YES 9.42 addToFM_C :: Ord a => (b -> b -> b) -> FiniteMap (Maybe a) b -> (Maybe a) -> b -> FiniteMap (Maybe a) b
YES 12.74 addToFM_C :: (Ord a, Ord k) => (b -> b -> b) -> FiniteMap (Either a k) b -> (Either a k) -> b -> FiniteMap (Either a k) b
Timeout [Timeout] addToFM_C :: (b -> b -> b) -> FiniteMap Ordering b -> Ordering -> b -> FiniteMap Ordering b
YES 9.09 addToFM_C :: (Ord a, Ord k) => (b -> b -> b) -> FiniteMap (a,k) b -> (a,k) -> b -> FiniteMap (a,k) b
YES 17.84 addListToFM :: Ord a => FiniteMap a b -> [(a,b)] -> FiniteMap a b
YES 0.95 addListToFM :: FiniteMap () b -> [((),b)] -> FiniteMap () b
Timeout [Timeout] addListToFM :: FiniteMap Char b -> [(Char,b)] -> FiniteMap Char b
YES 21.33 addListToFM :: Ord a => FiniteMap [a] b -> [([a],b)] -> FiniteMap [a] b
Timeout [Timeout] addListToFM :: FiniteMap Int b -> [(Int,b)] -> FiniteMap Int b
Timeout [Timeout] addListToFM :: FiniteMap Float b -> [(Float,b)] -> FiniteMap Float b
Timeout [Timeout] addListToFM :: FiniteMap (Ratio Int) b -> [((Ratio Int),b)] -> FiniteMap (Ratio Int) b
Timeout [Timeout] addListToFM :: FiniteMap Bool b -> [(Bool,b)] -> FiniteMap Bool b
YES 12.7 addListToFM :: Ord a => FiniteMap (Maybe a) b -> [((Maybe a),b)] -> FiniteMap (Maybe a) b
YES 16.99 addListToFM :: (Ord a, Ord k) => FiniteMap (Either a k) b -> [((Either a k),b)] -> FiniteMap (Either a k) b
Timeout [Timeout] addListToFM :: FiniteMap Ordering b -> [(Ordering,b)] -> FiniteMap Ordering b
YES 12.42 addListToFM :: (Ord a, Ord k) => FiniteMap (a,k) b -> [((a,k),b)] -> FiniteMap (a,k) b
YES 12.73 addListToFM_C :: Ord a => (b -> b -> b) -> FiniteMap a b -> [(a,b)] -> FiniteMap a b
YES 0.92 addListToFM_C :: (b -> b -> b) -> FiniteMap () b -> [((),b)] -> FiniteMap () b
Timeout [Timeout] addListToFM_C :: (b -> b -> b) -> FiniteMap Char b -> [(Char,b)] -> FiniteMap Char b
YES 14.3 addListToFM_C :: Ord a => (b -> b -> b) -> FiniteMap [a] b -> [([a],b)] -> FiniteMap [a] b
Timeout [Timeout] addListToFM_C :: (b -> b -> b) -> FiniteMap Int b -> [(Int,b)] -> FiniteMap Int b
Timeout [Timeout] addListToFM_C :: (b -> b -> b) -> FiniteMap Float b -> [(Float,b)] -> FiniteMap Float b
Timeout [Timeout] addListToFM_C :: (b -> b -> b) -> FiniteMap (Ratio Int) b -> [((Ratio Int),b)] -> FiniteMap (Ratio Int) b
YES 292.17 addListToFM_C :: (b -> b -> b) -> FiniteMap Bool b -> [(Bool,b)] -> FiniteMap Bool b
YES 9.56 addListToFM_C :: Ord a => (b -> b -> b) -> FiniteMap (Maybe a) b -> [((Maybe a),b)] -> FiniteMap (Maybe a) b
YES 12.87 addListToFM_C :: (Ord a, Ord k) => (b -> b -> b) -> FiniteMap (Either a k) b -> [((Either a k),b)] -> FiniteMap (Either a k) b
Timeout [Timeout] addListToFM_C :: (b -> b -> b) -> FiniteMap Ordering b -> [(Ordering,b)] -> FiniteMap Ordering b
YES 9.25 addListToFM_C :: (Ord a, Ord k) => (b -> b -> b) -> FiniteMap (a,k) b -> [((a,k),b)] -> FiniteMap (a,k) b
YES 12.2 delFromFM :: Ord a => FiniteMap a b -> a -> FiniteMap a b
Timeout [Timeout] delFromFM :: FiniteMap () b -> () -> FiniteMap () b
YES 233.4 delFromFM :: FiniteMap Char b -> Char -> FiniteMap Char b
YES 16.57 delFromFM :: Ord a => FiniteMap [a] b -> [a] -> FiniteMap [a] b
YES 102.71 delFromFM :: FiniteMap Int b -> Int -> FiniteMap Int b
Timeout [Timeout] delFromFM :: FiniteMap Float b -> Float -> FiniteMap Float b
Timeout [Timeout] delFromFM :: FiniteMap (Ratio Int) b -> (Ratio Int) -> FiniteMap (Ratio Int) b
YES 226.87 delFromFM :: FiniteMap Bool b -> Bool -> FiniteMap Bool b
YES 11.95 delFromFM :: Ord a => FiniteMap (Maybe a) b -> (Maybe a) -> FiniteMap (Maybe a) b
YES 15.3 delFromFM :: (Ord a, Ord k) => FiniteMap (Either a k) b -> (Either a k) -> FiniteMap (Either a k) b
Timeout [Timeout] delFromFM :: FiniteMap Ordering b -> Ordering -> FiniteMap Ordering b
YES 11.66 delFromFM :: (Ord a, Ord k) => FiniteMap (a,k) b -> (a,k) -> FiniteMap (a,k) b
YES 19.06 delListFromFM :: Ord a => FiniteMap a b -> [a] -> FiniteMap a b
Timeout [Timeout] delListFromFM :: FiniteMap () b -> [()] -> FiniteMap () b
Timeout [Timeout] delListFromFM :: FiniteMap Char b -> [Char] -> FiniteMap Char b
YES 24.62 delListFromFM :: Ord a => FiniteMap [a] b -> [[a]] -> FiniteMap [a] b
YES 129.17 delListFromFM :: FiniteMap Int b -> [Int] -> FiniteMap Int b
Timeout [Timeout] delListFromFM :: FiniteMap Float b -> [Float] -> FiniteMap Float b
Timeout [Timeout] delListFromFM :: FiniteMap (Ratio Int) b -> [(Ratio Int)] -> FiniteMap (Ratio Int) b
YES 238.97 delListFromFM :: FiniteMap Bool b -> [Bool] -> FiniteMap Bool b
YES 14.97 delListFromFM :: Ord a => FiniteMap (Maybe a) b -> [(Maybe a)] -> FiniteMap (Maybe a) b
YES 18.03 delListFromFM :: (Ord a, Ord k) => FiniteMap (Either a k) b -> [(Either a k)] -> FiniteMap (Either a k) b
Timeout [Timeout] delListFromFM :: FiniteMap Ordering b -> [Ordering] -> FiniteMap Ordering b
YES 14.57 delListFromFM :: (Ord a, Ord k) => FiniteMap (a,k) b -> [(a,k)] -> FiniteMap (a,k) b
YES 26.03 plusFM :: Ord a => FiniteMap a b -> FiniteMap a b -> FiniteMap a b
YES 26.71 plusFM :: FiniteMap () b -> FiniteMap () b -> FiniteMap () b
YES 30.64 plusFM :: FiniteMap Char b -> FiniteMap Char b -> FiniteMap Char b
YES 30.68 plusFM :: Ord a => FiniteMap [a] b -> FiniteMap [a] b -> FiniteMap [a] b
YES 69.25 plusFM :: FiniteMap Int b -> FiniteMap Int b -> FiniteMap Int b
Timeout [Timeout] plusFM :: FiniteMap Float b -> FiniteMap Float b -> FiniteMap Float b
Timeout [Timeout] plusFM :: FiniteMap (Ratio Int) b -> FiniteMap (Ratio Int) b -> FiniteMap (Ratio Int) b
YES 26.94 plusFM :: FiniteMap Bool b -> FiniteMap Bool b -> FiniteMap Bool b
YES 25.2 plusFM :: Ord a => FiniteMap (Maybe a) b -> FiniteMap (Maybe a) b -> FiniteMap (Maybe a) b
YES 24.64 plusFM :: (Ord a, Ord k) => FiniteMap (Either a k) b -> FiniteMap (Either a k) b -> FiniteMap (Either a k) b
YES 27.68 plusFM :: FiniteMap Ordering b -> FiniteMap Ordering b -> FiniteMap Ordering b
YES 24.08 plusFM :: (Ord a, Ord k) => FiniteMap (a,k) b -> FiniteMap (a,k) b -> FiniteMap (a,k) b
YES 33.23 plusFM_C :: Ord a => (b -> b -> b) -> FiniteMap a b -> FiniteMap a b -> FiniteMap a b
YES 44.18 plusFM_C :: (b -> b -> b) -> FiniteMap () b -> FiniteMap () b -> FiniteMap () b
YES 87.77 plusFM_C :: (b -> b -> b) -> FiniteMap Char b -> FiniteMap Char b -> FiniteMap Char b
YES 31.78 plusFM_C :: Ord a => (b -> b -> b) -> FiniteMap [a] b -> FiniteMap [a] b -> FiniteMap [a] b
YES 78.54 plusFM_C :: (b -> b -> b) -> FiniteMap Int b -> FiniteMap Int b -> FiniteMap Int b
Timeout [Timeout] plusFM_C :: (b -> b -> b) -> FiniteMap Float b -> FiniteMap Float b -> FiniteMap Float b
Timeout [Timeout] plusFM_C :: (b -> b -> b) -> FiniteMap (Ratio Int) b -> FiniteMap (Ratio Int) b -> FiniteMap (Ratio Int) b
YES 44.81 plusFM_C :: (b -> b -> b) -> FiniteMap Bool b -> FiniteMap Bool b -> FiniteMap Bool b
YES 22.5 plusFM_C :: Ord a => (b -> b -> b) -> FiniteMap (Maybe a) b -> FiniteMap (Maybe a) b -> FiniteMap (Maybe a) b
YES 22.67 plusFM_C :: (Ord a, Ord k) => (b -> b -> b) -> FiniteMap (Either a k) b -> FiniteMap (Either a k) b -> FiniteMap (Either a k) b
YES 45.88 plusFM_C :: (b -> b -> b) -> FiniteMap Ordering b -> FiniteMap Ordering b -> FiniteMap Ordering b
YES 21.82 plusFM_C :: (Ord a, Ord k) => (b -> b -> b) -> FiniteMap (a,k) b -> FiniteMap (a,k) b -> FiniteMap (a,k) b
YES 0.73 fmToList :: FiniteMap a b -> [(a,b)]
YES 0.74 keysFM :: FiniteMap a b -> [a]
YES 0.68 eltsFM :: FiniteMap a b -> [b]
YES 0.47 sizeFM :: FiniteMap a b -> Int
YES 0.45 isEmptyFM :: FiniteMap a b -> Bool
YES 31.72 minusFM :: Ord a => FiniteMap a b1 -> FiniteMap a b2 -> FiniteMap a b1
YES 57.13 minusFM :: FiniteMap () b1 -> FiniteMap () b2 -> FiniteMap () b1
YES 72.51 minusFM :: FiniteMap Char b1 -> FiniteMap Char b2 -> FiniteMap Char b1
YES 41.87 minusFM :: Ord a => FiniteMap [a] b1 -> FiniteMap [a] b2 -> FiniteMap [a] b1
YES 150.4 minusFM :: FiniteMap Int b1 -> FiniteMap Int b2 -> FiniteMap Int b1
Timeout [Timeout] minusFM :: FiniteMap Float b1 -> FiniteMap Float b2 -> FiniteMap Float b1
Timeout [Timeout] minusFM :: FiniteMap (Ratio Int) b1 -> FiniteMap (Ratio Int) b2 -> FiniteMap (Ratio Int) b1
YES 90.34 minusFM :: FiniteMap Bool b1 -> FiniteMap Bool b2 -> FiniteMap Bool b1
YES 30.39 minusFM :: Ord a => FiniteMap (Maybe a) b1 -> FiniteMap (Maybe a) b2 -> FiniteMap (Maybe a) b1
YES 33.69 minusFM :: (Ord a, Ord k) => FiniteMap (Either a k) b1 -> FiniteMap (Either a k) b2 -> FiniteMap (Either a k) b1
YES 131.89 minusFM :: FiniteMap Ordering b1 -> FiniteMap Ordering b2 -> FiniteMap Ordering b1
YES 25.07 minusFM :: (Ord a, Ord k) => FiniteMap (a,k) b1 -> FiniteMap (a,k) b2 -> FiniteMap (a,k) b1
YES 0.65 foldFM :: (a -> b -> c -> c) -> c -> FiniteMap a b -> c
YES 39.7 intersectFM :: Ord a => FiniteMap a b -> FiniteMap a b -> FiniteMap a b
YES 38.91 intersectFM :: FiniteMap () b -> FiniteMap () b -> FiniteMap () b
YES 145.2 intersectFM :: FiniteMap Char b -> FiniteMap Char b -> FiniteMap Char b
YES 46.94 intersectFM :: Ord a => FiniteMap [a] b -> FiniteMap [a] b -> FiniteMap [a] b
Timeout [Timeout] intersectFM :: FiniteMap Int b -> FiniteMap Int b -> FiniteMap Int b
Timeout [Timeout] intersectFM :: FiniteMap Float b -> FiniteMap Float b -> FiniteMap Float b
Timeout [Timeout] intersectFM :: FiniteMap (Ratio Int) b -> FiniteMap (Ratio Int) b -> FiniteMap (Ratio Int) b
YES 134.71 intersectFM :: FiniteMap Bool b -> FiniteMap Bool b -> FiniteMap Bool b
YES 33.78 intersectFM :: Ord a => FiniteMap (Maybe a) b -> FiniteMap (Maybe a) b -> FiniteMap (Maybe a) b
YES 36.93 intersectFM :: (Ord a, Ord k) => FiniteMap (Either a k) b -> FiniteMap (Either a k) b -> FiniteMap (Either a k) b
YES 200.07 intersectFM :: FiniteMap Ordering b -> FiniteMap Ordering b -> FiniteMap Ordering b
YES 25.1 intersectFM :: (Ord a, Ord k) => FiniteMap (a,k) b -> FiniteMap (a,k) b -> FiniteMap (a,k) b
YES 46.03 intersectFM_C :: Ord a => (b1 -> b2 -> b3) -> FiniteMap a b1 -> FiniteMap a b2 -> FiniteMap a b3
YES 52.25 intersectFM_C :: (b1 -> b2 -> b3) -> FiniteMap () b1 -> FiniteMap () b2 -> FiniteMap () b3
YES 187.89 intersectFM_C :: (b1 -> b2 -> b3) -> FiniteMap Char b1 -> FiniteMap Char b2 -> FiniteMap Char b3
YES 64.51 intersectFM_C :: Ord a => (b1 -> b2 -> b3) -> FiniteMap [a] b1 -> FiniteMap [a] b2 -> FiniteMap [a] b3
Timeout [Timeout] intersectFM_C :: (b1 -> b2 -> b3) -> FiniteMap Int b1 -> FiniteMap Int b2 -> FiniteMap Int b3
Timeout [Timeout] intersectFM_C :: (b1 -> b2 -> b3) -> FiniteMap Float b1 -> FiniteMap Float b2 -> FiniteMap Float b3
Timeout [Timeout] intersectFM_C :: (b1 -> b2 -> b3) -> FiniteMap (Ratio Int) b1 -> FiniteMap (Ratio Int) b2 -> FiniteMap (Ratio Int) b3
YES 148.59 intersectFM_C :: (b1 -> b2 -> b3) -> FiniteMap Bool b1 -> FiniteMap Bool b2 -> FiniteMap Bool b3
YES 43.96 intersectFM_C :: Ord a => (b1 -> b2 -> b3) -> FiniteMap (Maybe a) b1 -> FiniteMap (Maybe a) b2 -> FiniteMap (Maybe a) b3
YES 46.39 intersectFM_C :: (Ord a, Ord k) => (b1 -> b2 -> b3) -> FiniteMap (Either a k) b1 -> FiniteMap (Either a k) b2 -> FiniteMap (Either a k) b3
YES 207.6 intersectFM_C :: (b1 -> b2 -> b3) -> FiniteMap Ordering b1 -> FiniteMap Ordering b2 -> FiniteMap Ordering b3
YES 27.92 intersectFM_C :: (Ord a, Ord k) => (b1 -> b2 -> b3) -> FiniteMap (a,k) b1 -> FiniteMap (a,k) b2 -> FiniteMap (a,k) b3
YES 0.67 mapFM :: (a -> b1 -> b2) -> FiniteMap a b1 -> FiniteMap a b2
YES 18.46 filterFM :: Ord a => (a -> b -> Bool) -> FiniteMap a b -> FiniteMap a b
YES 31.35 filterFM :: (() -> b -> Bool) -> FiniteMap () b -> FiniteMap () b
YES 38.74 filterFM :: (Char -> b -> Bool) -> FiniteMap Char b -> FiniteMap Char b
YES 36.7 filterFM :: Ord a => ([a] -> b -> Bool) -> FiniteMap [a] b -> FiniteMap [a] b
YES 68.4 filterFM :: (Int -> b -> Bool) -> FiniteMap Int b -> FiniteMap Int b
YES 112.27 filterFM :: (Float -> b -> Bool) -> FiniteMap Float b -> FiniteMap Float b
YES 146.35 filterFM :: ((Ratio Int) -> b -> Bool) -> FiniteMap (Ratio Int) b -> FiniteMap (Ratio Int) b
YES 39.11 filterFM :: (Bool -> b -> Bool) -> FiniteMap Bool b -> FiniteMap Bool b
YES 34.15 filterFM :: Ord a => ((Maybe a) -> b -> Bool) -> FiniteMap (Maybe a) b -> FiniteMap (Maybe a) b
YES 36.34 filterFM :: (Ord a, Ord k) => ((Either a k) -> b -> Bool) -> FiniteMap (Either a k) b -> FiniteMap (Either a k) b
YES 38.22 filterFM :: (Ordering -> b -> Bool) -> FiniteMap Ordering b -> FiniteMap Ordering b
YES 34.01 filterFM :: (Ord a, Ord k) => ((a,k) -> b -> Bool) -> FiniteMap (a,k) b -> FiniteMap (a,k) b
YES 11.76 foldFM_GE :: Ord a => (a -> b -> c -> c) -> c -> a -> FiniteMap a b -> c
YES 0.72 foldFM_GE :: (() -> b -> c -> c) -> c -> () -> FiniteMap () b -> c
YES 1.1 foldFM_GE :: (Char -> b -> c -> c) -> c -> Char -> FiniteMap Char b -> c
YES 11.92 foldFM_GE :: Ord a => ([a] -> b -> c -> c) -> c -> [a] -> FiniteMap [a] b -> c
YES 2.03 foldFM_GE :: (Int -> b -> c -> c) -> c -> Int -> FiniteMap Int b -> c
YES 258.01 foldFM_GE :: (Float -> b -> c -> c) -> c -> Float -> FiniteMap Float b -> c
Timeout [Timeout] foldFM_GE :: ((Ratio Int) -> b -> c -> c) -> c -> (Ratio Int) -> FiniteMap (Ratio Int) b -> c
YES 0.82 foldFM_GE :: (Bool -> b -> c -> c) -> c -> Bool -> FiniteMap Bool b -> c
YES 6.89 foldFM_GE :: Ord a => ((Maybe a) -> b -> c -> c) -> c -> (Maybe a) -> FiniteMap (Maybe a) b -> c
YES 9.52 foldFM_GE :: (Ord a, Ord k) => ((Either a k) -> b -> c -> c) -> c -> (Either a k) -> FiniteMap (Either a k) b -> c
YES 0.85 foldFM_GE :: (Ordering -> b -> c -> c) -> c -> Ordering -> FiniteMap Ordering b -> c
YES 7.39 foldFM_GE :: (Ord a, Ord k) => ((a,k) -> b -> c -> c) -> c -> (a,k) -> FiniteMap (a,k) b -> c
YES 11.77 fmToList_GE :: Ord a => FiniteMap a b -> a -> [(a,b)]
YES 0.79 fmToList_GE :: FiniteMap () b -> () -> [((),b)]
YES 1.82 fmToList_GE :: FiniteMap Char b -> Char -> [(Char,b)]
YES 15.4 fmToList_GE :: Ord a => FiniteMap [a] b -> [a] -> [([a],b)]
YES 4.09 fmToList_GE :: FiniteMap Int b -> Int -> [(Int,b)]
Timeout [Timeout] fmToList_GE :: FiniteMap Float b -> Float -> [(Float,b)]
Timeout [Timeout] fmToList_GE :: FiniteMap (Ratio Int) b -> (Ratio Int) -> [((Ratio Int),b)]
YES 0.95 fmToList_GE :: FiniteMap Bool b -> Bool -> [(Bool,b)]
YES 8.67 fmToList_GE :: Ord a => FiniteMap (Maybe a) b -> (Maybe a) -> [((Maybe a),b)]
YES 8.74 fmToList_GE :: (Ord a, Ord k) => FiniteMap (Either a k) b -> (Either a k) -> [((Either a k),b)]
YES 1.33 fmToList_GE :: FiniteMap Ordering b -> Ordering -> [(Ordering,b)]
YES 7.56 fmToList_GE :: (Ord a, Ord k) => FiniteMap (a,k) b -> (a,k) -> [((a,k),b)]
YES 11.95 keysFM_GE :: Ord a => FiniteMap a b -> a -> [a]
YES 0.78 keysFM_GE :: FiniteMap () b -> () -> [()]
YES 1.86 keysFM_GE :: FiniteMap Char b -> Char -> [Char]
YES 14.76 keysFM_GE :: Ord a => FiniteMap [a] b -> [a] -> [[a]]
YES 3.81 keysFM_GE :: FiniteMap Int b -> Int -> [Int]
Timeout [Timeout] keysFM_GE :: FiniteMap Float b -> Float -> [Float]
Timeout [Timeout] keysFM_GE :: FiniteMap (Ratio Int) b -> (Ratio Int) -> [(Ratio Int)]
YES 0.98 keysFM_GE :: FiniteMap Bool b -> Bool -> [Bool]
YES 8.95 keysFM_GE :: Ord a => FiniteMap (Maybe a) b -> (Maybe a) -> [(Maybe a)]
YES 9.12 keysFM_GE :: (Ord a, Ord k) => FiniteMap (Either a k) b -> (Either a k) -> [(Either a k)]
YES 1.2 keysFM_GE :: FiniteMap Ordering b -> Ordering -> [Ordering]
YES 7.7 keysFM_GE :: (Ord a, Ord k) => FiniteMap (a,k) b -> (a,k) -> [(a,k)]
YES 11.45 eltsFM_GE :: Ord a => FiniteMap a b -> a -> [b]
YES 0.76 eltsFM_GE :: FiniteMap () b -> () -> [b]
YES 1.65 eltsFM_GE :: FiniteMap Char b -> Char -> [b]
YES 14.54 eltsFM_GE :: Ord a => FiniteMap [a] b -> [a] -> [b]
YES 3.93 eltsFM_GE :: FiniteMap Int b -> Int -> [b]
Timeout [Timeout] eltsFM_GE :: FiniteMap Float b -> Float -> [b]
Timeout [Timeout] eltsFM_GE :: FiniteMap (Ratio Int) b -> (Ratio Int) -> [b]
YES 1.08 eltsFM_GE :: FiniteMap Bool b -> Bool -> [b]
YES 8.69 eltsFM_GE :: Ord a => FiniteMap (Maybe a) b -> (Maybe a) -> [b]
YES 9.34 eltsFM_GE :: (Ord a, Ord k) => FiniteMap (Either a k) b -> (Either a k) -> [b]
YES 1.19 eltsFM_GE :: FiniteMap Ordering b -> Ordering -> [b]
YES 7.86 eltsFM_GE :: (Ord a, Ord k) => FiniteMap (a,k) b -> (a,k) -> [b]
YES 8.81 foldFM_LE :: Ord a => (a -> b -> c -> c) -> c -> a -> FiniteMap a b -> c
YES 0.72 foldFM_LE :: (() -> b -> c -> c) -> c -> () -> FiniteMap () b -> c
YES 1.14 foldFM_LE :: (Char -> b -> c -> c) -> c -> Char -> FiniteMap Char b -> c
YES 12.14 foldFM_LE :: Ord a => ([a] -> b -> c -> c) -> c -> [a] -> FiniteMap [a] b -> c
YES 2.02 foldFM_LE :: (Int -> b -> c -> c) -> c -> Int -> FiniteMap Int b -> c
Timeout [Timeout] foldFM_LE :: (Float -> b -> c -> c) -> c -> Float -> FiniteMap Float b -> c
YES 28.32 foldFM_LE :: ((Ratio Int) -> b -> c -> c) -> c -> (Ratio Int) -> FiniteMap (Ratio Int) b -> c
YES 0.72 foldFM_LE :: (Bool -> b -> c -> c) -> c -> Bool -> FiniteMap Bool b -> c
YES 8.51 foldFM_LE :: Ord a => ((Maybe a) -> b -> c -> c) -> c -> (Maybe a) -> FiniteMap (Maybe a) b -> c
YES 10.26 foldFM_LE :: (Ord a, Ord k) => ((Either a k) -> b -> c -> c) -> c -> (Either a k) -> FiniteMap (Either a k) b -> c
YES 0.8 foldFM_LE :: (Ordering -> b -> c -> c) -> c -> Ordering -> FiniteMap Ordering b -> c
YES 9.23 foldFM_LE :: (Ord a, Ord k) => ((a,k) -> b -> c -> c) -> c -> (a,k) -> FiniteMap (a,k) b -> c
YES 8.76 fmToList_LE :: Ord a => FiniteMap a b -> a -> [(a,b)]
YES 0.78 fmToList_LE :: FiniteMap () b -> () -> [((),b)]
YES 1.72 fmToList_LE :: FiniteMap Char b -> Char -> [(Char,b)]
YES 15.38 fmToList_LE :: Ord a => FiniteMap [a] b -> [a] -> [([a],b)]
YES 4.07 fmToList_LE :: FiniteMap Int b -> Int -> [(Int,b)]
Timeout [Timeout] fmToList_LE :: FiniteMap Float b -> Float -> [(Float,b)]
Timeout [Timeout] fmToList_LE :: FiniteMap (Ratio Int) b -> (Ratio Int) -> [((Ratio Int),b)]
YES 0.86 fmToList_LE :: FiniteMap Bool b -> Bool -> [(Bool,b)]
YES 11.14 fmToList_LE :: Ord a => FiniteMap (Maybe a) b -> (Maybe a) -> [((Maybe a),b)]
YES 10.1 fmToList_LE :: (Ord a, Ord k) => FiniteMap (Either a k) b -> (Either a k) -> [((Either a k),b)]
YES 1.03 fmToList_LE :: FiniteMap Ordering b -> Ordering -> [(Ordering,b)]
YES 8.04 fmToList_LE :: (Ord a, Ord k) => FiniteMap (a,k) b -> (a,k) -> [((a,k),b)]
YES 9.05 keysFM_LE :: Ord a => FiniteMap a b -> a -> [a]
YES 0.76 keysFM_LE :: FiniteMap () b -> () -> [()]
YES 1.63 keysFM_LE :: FiniteMap Char b -> Char -> [Char]
YES 15.54 keysFM_LE :: Ord a => FiniteMap [a] b -> [a] -> [[a]]
YES 3.96 keysFM_LE :: FiniteMap Int b -> Int -> [Int]
Timeout [Timeout] keysFM_LE :: FiniteMap Float b -> Float -> [Float]
Timeout [Timeout] keysFM_LE :: FiniteMap (Ratio Int) b -> (Ratio Int) -> [(Ratio Int)]
YES 0.88 keysFM_LE :: FiniteMap Bool b -> Bool -> [Bool]
YES 10.87 keysFM_LE :: Ord a => FiniteMap (Maybe a) b -> (Maybe a) -> [(Maybe a)]
YES 9.86 keysFM_LE :: (Ord a, Ord k) => FiniteMap (Either a k) b -> (Either a k) -> [(Either a k)]
YES 0.99 keysFM_LE :: FiniteMap Ordering b -> Ordering -> [Ordering]
YES 7.1 keysFM_LE :: (Ord a, Ord k) => FiniteMap (a,k) b -> (a,k) -> [(a,k)]
YES 9.35 eltsFM_LE :: Ord a => FiniteMap a b -> a -> [b]
YES 0.82 eltsFM_LE :: FiniteMap () b -> () -> [b]
YES 1.64 eltsFM_LE :: FiniteMap Char b -> Char -> [b]
YES 15.34 eltsFM_LE :: Ord a => FiniteMap [a] b -> [a] -> [b]
YES 3.67 eltsFM_LE :: FiniteMap Int b -> Int -> [b]
Timeout [Timeout] eltsFM_LE :: FiniteMap Float b -> Float -> [b]
Timeout [Timeout] eltsFM_LE :: FiniteMap (Ratio Int) b -> (Ratio Int) -> [b]
YES 0.85 eltsFM_LE :: FiniteMap Bool b -> Bool -> [b]
YES 9.96 eltsFM_LE :: Ord a => FiniteMap (Maybe a) b -> (Maybe a) -> [b]
YES 9.8 eltsFM_LE :: (Ord a, Ord k) => FiniteMap (Either a k) b -> (Either a k) -> [b]
YES 1.05 eltsFM_LE :: FiniteMap Ordering b -> Ordering -> [b]
YES 7.05 eltsFM_LE :: (Ord a, Ord k) => FiniteMap (a,k) b -> (a,k) -> [b]
YES 0.76 minFM :: Ord a => FiniteMap a b -> Maybe a
YES 0.73 minFM :: FiniteMap () b -> Maybe ()
YES 0.7 minFM :: FiniteMap Char b -> Maybe Char
YES 0.66 minFM :: Ord a => FiniteMap [a] b -> Maybe [a]
YES 0.74 minFM :: FiniteMap Int b -> Maybe Int
YES 0.67 minFM :: FiniteMap Float b -> Maybe Float
YES 0.68 minFM :: FiniteMap (Ratio Int) b -> Maybe (Ratio Int)
YES 0.68 minFM :: FiniteMap Bool b -> Maybe Bool
YES 0.69 minFM :: Ord a => FiniteMap (Maybe a) b -> Maybe (Maybe a)
YES 0.67 minFM :: (Ord a, Ord k) => FiniteMap (Either a k) b -> Maybe (Either a k)
YES 0.67 minFM :: FiniteMap Ordering b -> Maybe Ordering
YES 0.68 minFM :: (Ord a, Ord k) => FiniteMap (a,k) b -> Maybe (a,k)
YES 0.69 maxFM :: Ord a => FiniteMap a b -> Maybe a
YES 0.72 maxFM :: FiniteMap () b -> Maybe ()
YES 0.67 maxFM :: FiniteMap Char b -> Maybe Char
YES 0.67 maxFM :: Ord a => FiniteMap [a] b -> Maybe [a]
YES 0.65 maxFM :: FiniteMap Int b -> Maybe Int
YES 0.67 maxFM :: FiniteMap Float b -> Maybe Float
YES 0.69 maxFM :: FiniteMap (Ratio Int) b -> Maybe (Ratio Int)
YES 0.68 maxFM :: FiniteMap Bool b -> Maybe Bool
YES 0.74 maxFM :: Ord a => FiniteMap (Maybe a) b -> Maybe (Maybe a)
YES 0.67 maxFM :: (Ord a, Ord k) => FiniteMap (Either a k) b -> Maybe (Either a k)
YES 0.67 maxFM :: FiniteMap Ordering b -> Maybe Ordering
YES 0.68 maxFM :: (Ord a, Ord k) => FiniteMap (a,k) b -> Maybe (a,k)