Proof time | Proof |
YES |
0.38 |
(&&) :: Bool -> Bool -> Bool
|
YES |
0.39 |
(||) :: Bool -> Bool -> Bool
|
YES |
0.39 |
not :: Bool -> Bool
|
YES |
0.36 |
otherwise :: Bool
|
YES |
0.7 |
and :: [Bool] -> Bool
|
YES |
0.69 |
or :: [Bool] -> Bool
|
YES |
0.37 |
fst :: (a,b) -> a
|
YES |
0.38 |
snd :: (a,b) -> b
|
YES |
0.39 |
curry :: ((a,b) -> c) -> (a -> b -> c)
|
YES |
0.41 |
uncurry :: (a -> b -> c) -> ((a,b) -> c)
|
YES |
0.39 |
id :: a -> a
|
YES |
0.42 |
const :: a -> b -> a
|
YES |
0.42 |
(.) :: (b -> c) -> (a -> b) -> (a -> c)
|
YES |
0.38 |
flip :: (a -> b -> c) -> b -> a -> c
|
YES |
0.41 |
($) :: (a -> b) -> a -> b
|
YES |
0.43 |
asTypeOf :: a -> a -> a
|
YES |
0.38 |
error :: String -> a
|
YES |
0.37 |
undefined :: a
|
YES |
0.36 |
seq :: a -> b -> b
|
YES |
0.4 |
($!) :: (a -> b) -> a -> b
|
YES |
0.78 |
isAscii :: Char -> Bool
|
YES |
0.77 |
isLatin1 :: Char -> Bool
|
YES |
2.81 |
isControl :: Char -> Bool
|
YES |
5.47 |
isPrint :: Char -> Bool
|
YES |
5.99 |
isSpace :: Char -> Bool
|
YES |
21.09 |
isUpper :: Char -> Bool
|
YES |
26.84 |
isLower :: Char -> Bool
|
YES |
206.95 |
isAlpha :: Char -> Bool
|
YES |
0.86 |
isDigit :: Char -> Bool
|
YES |
0.82 |
isOctDigit :: Char -> Bool
|
YES |
4.22 |
isHexDigit :: Char -> Bool
|
YES |
184.53 |
isAlphaNum :: Char -> Bool
|
YES |
4.77 |
digitToInt :: Char -> Int
|
YES |
2.04 |
intToDigit :: Int -> Char
|
YES |
163.92 |
toUpper :: Char -> Char
|
YES |
23.71 |
toLower :: Char -> Char
|
YES |
0.41 |
ord :: Char -> Int
|
YES |
0.4 |
chr :: Int -> Char
|
YES |
0.41 |
return :: Monad m => a -> m a
|
YES |
0.41 |
return :: a -> [] a
|
YES |
0.42 |
return :: a -> Maybe a
|
YES |
0.4 |
return :: a -> IO a
|
YES |
0.77 |
(>>=) :: Monad m => m a -> (a -> m b) -> m b
|
YES |
0.67 |
(>>=) :: [] a -> (a -> [] b) -> [] b
|
YES |
0.4 |
(>>=) :: Maybe a -> (a -> Maybe b) -> Maybe b
|
YES |
0.42 |
(>>=) :: IO a -> (a -> IO b) -> IO b
|
YES |
0.71 |
(>>) :: Monad m => m a -> m b -> m b
|
YES |
0.67 |
(>>) :: [] a -> [] b -> [] b
|
YES |
0.44 |
(>>) :: Maybe a -> Maybe b -> Maybe b
|
YES |
0.42 |
(>>) :: IO a -> IO b -> IO b
|
YES |
0.44 |
fail :: Monad m => String -> m a
|
YES |
0.39 |
fail :: String -> [] a
|
YES |
0.39 |
fail :: String -> Maybe a
|
YES |
0.42 |
fail :: String -> IO a
|
YES |
0.68 |
fmap :: Functor f => (a -> b) -> (f a -> f b)
|
YES |
0.63 |
fmap :: (a -> b) -> ([] a -> [] b)
|
YES |
0.44 |
fmap :: (a -> b) -> (Maybe a -> Maybe b)
|
YES |
0.4 |
fmap :: (a -> b) -> (IO a -> IO b)
|
MAYBE |
1.63 |
mapM :: Monad m => (a -> m b) -> [a] -> m [b]
|
MAYBE |
1.61 |
mapM :: (a -> [] b) -> [a] -> [] [b]
|
YES |
0.74 |
mapM :: (a -> Maybe b) -> [a] -> Maybe [b]
|
YES |
0.69 |
mapM :: (a -> IO b) -> [a] -> IO [b]
|
YES |
0.88 |
mapM_ :: Monad m => (a -> m b) -> [a] -> m ()
|
YES |
0.77 |
mapM_ :: (a -> [] b) -> [a] -> [] ()
|
YES |
0.67 |
mapM_ :: (a -> Maybe b) -> [a] -> Maybe ()
|
YES |
0.7 |
mapM_ :: (a -> IO b) -> [a] -> IO ()
|
YES |
0.84 |
sequence :: Monad m => [m a] -> m [a]
|
YES |
0.69 |
sequence :: [[] a] -> [] [a]
|
YES |
0.65 |
sequence :: [Maybe a] -> Maybe [a]
|
YES |
0.66 |
sequence :: [IO a] -> IO [a]
|
YES |
0.72 |
sequence_ :: Monad m => [m a] -> m ()
|
YES |
0.67 |
sequence_ :: [[] a] -> [] ()
|
YES |
0.66 |
sequence_ :: [Maybe a] -> Maybe ()
|
YES |
0.67 |
sequence_ :: [IO a] -> IO ()
|
YES |
0.78 |
(=<<) :: Monad m => (a -> m b) -> m a -> m b
|
YES |
0.66 |
(=<<) :: (a -> [] b) -> [] a -> [] b
|
YES |
0.42 |
(=<<) :: (a -> Maybe b) -> Maybe a -> Maybe b
|
YES |
0.45 |
(=<<) :: (a -> IO b) -> IO a -> IO b
|
YES |
0.38 |
maybe :: b -> (a -> b) -> Maybe a -> b
|
YES |
0.38 |
either :: (a -> c) -> (b -> c) -> Either a b -> c
|
YES |
0.67 |
map :: (a -> b) -> [a] -> [b]
|
YES |
0.62 |
(++) :: [a] -> [a] -> [a]
|
YES |
0.65 |
concat :: [[a]] -> [a]
|
YES |
0.64 |
filter :: (a -> Bool) -> [a] -> [a]
|
YES |
0.38 |
head :: [a] -> a
|
YES |
0.65 |
last :: [a] -> a
|
YES |
0.42 |
tail :: [a] -> [a]
|
YES |
0.68 |
init :: [a] -> [a]
|
YES |
0.39 |
null :: [a] -> Bool
|
YES |
0.7 |
length :: [a] -> Int
|
YES |
0.91 |
(!!) :: [a] -> Int -> a
|
YES |
0.65 |
foldl :: (a -> b -> a) -> a -> [b] -> a
|
YES |
0.66 |
foldl1 :: (a -> a -> a) -> [a] -> a
|
YES |
0.64 |
scanl :: (a -> b -> a) -> a -> [b] -> [a]
|
YES |
0.62 |
scanl1 :: (a -> a -> a) -> [a] -> [a]
|
YES |
0.61 |
foldr :: (a -> b -> b) -> b -> [a] -> b
|
YES |
0.61 |
foldr1 :: (a -> a -> a) -> [a] -> a
|
YES |
0.66 |
scanr :: (a -> b -> b) -> b -> [a] -> [b]
|
YES |
1.27 |
scanr1 :: (a -> a -> a) -> [a] -> [a]
|
YES |
0.85 |
take :: Int -> [a] -> [a]
|
YES |
0.84 |
drop :: Int -> [a] -> [a]
|
YES |
0.84 |
splitAt :: Int -> [a] -> ([a], [a])
|
YES |
0.66 |
takeWhile :: (a -> Bool) -> [a] -> [a]
|
YES |
0.65 |
dropWhile :: (a -> Bool) -> [a] -> [a]
|
YES |
0.67 |
span :: (a -> Bool) -> [a] -> ([a],[a])
|
YES |
0.68 |
break :: (a -> Bool) -> [a] -> ([a],[a])
|
YES |
0.68 |
reverse :: [a] -> [a]
|
YES |
0.67 |
any :: (a -> Bool) -> [a] -> Bool
|
YES |
0.64 |
all :: (a -> Bool) -> [a] -> Bool
|
YES |
1.3 |
elem :: Eq a => a -> [a] -> Bool
|
YES |
0.67 |
elem :: () -> [()] -> Bool
|
YES |
0.73 |
elem :: Char -> [Char] -> Bool
|
YES |
1.53 |
elem :: Eq a => [a] -> [[a]] -> Bool
|
YES |
0.78 |
elem :: Int -> [Int] -> Bool
|
YES |
0.75 |
elem :: Bool -> [Bool] -> Bool
|
YES |
0.71 |
elem :: Ordering -> [Ordering] -> Bool
|
YES |
0.94 |
elem :: Float -> [Float] -> Bool
|
YES |
0.79 |
elem :: (Ratio Int) -> [(Ratio Int)] -> Bool
|
YES |
1.58 |
elem :: Eq a => (Maybe a) -> [(Maybe a)] -> Bool
|
YES |
1.49 |
elem :: (Eq a, Eq k) => (Either a k) -> [(Either a k)] -> Bool
|
YES |
1.52 |
elem :: (Eq a, Eq k) => (a, k) -> [(a, k)] -> Bool
|
YES |
1.25 |
notElem :: Eq a => a -> [a] -> Bool
|
YES |
0.68 |
notElem :: () -> [()] -> Bool
|
YES |
0.71 |
notElem :: Char -> [Char] -> Bool
|
YES |
1.55 |
notElem :: Eq a => [a] -> [[a]] -> Bool
|
YES |
0.81 |
notElem :: Int -> [Int] -> Bool
|
YES |
0.68 |
notElem :: Bool -> [Bool] -> Bool
|
YES |
0.68 |
notElem :: Ordering -> [Ordering] -> Bool
|
YES |
0.97 |
notElem :: Float -> [Float] -> Bool
|
YES |
0.79 |
notElem :: (Ratio Int) -> [(Ratio Int)] -> Bool
|
YES |
1.5 |
notElem :: Eq a => (Maybe a) -> [(Maybe a)] -> Bool
|
YES |
1.51 |
notElem :: (Eq a, Eq k) => (Either a k) -> [(Either a k)] -> Bool
|
YES |
1.64 |
notElem :: (Eq a, Eq k) => (a, k) -> [(a, k)] -> Bool
|
YES |
1.67 |
lookup :: Eq a => a -> [(a,b)] -> Maybe b
|
YES |
0.41 |
lookup :: () -> [((),b)] -> Maybe b
|
YES |
0.92 |
lookup :: Char -> [(Char,b)] -> Maybe b
|
YES |
2.04 |
lookup :: Eq a => [a] -> [([a],b)] -> Maybe b
|
YES |
1.12 |
lookup :: Int -> [(Int,b)] -> Maybe b
|
YES |
0.79 |
lookup :: Bool -> [(Bool,b)] -> Maybe b
|
YES |
0.79 |
lookup :: Ordering -> [(Ordering,b)] -> Maybe b
|
YES |
33.55 |
lookup :: Float -> [(Float,b)] -> Maybe b
|
YES |
12.78 |
lookup :: (Ratio Int) -> [((Ratio Int),b)] -> Maybe b
|
YES |
1.72 |
lookup :: Eq a => (Maybe a) -> [((Maybe a),b)] -> Maybe b
|
YES |
2.15 |
lookup :: (Eq a, Eq k) => (Either a k) -> [((Either a k),b)] -> Maybe b
|
YES |
1.76 |
lookup :: (Eq a, Eq k) => (a, k) -> [((a, k),b)] -> Maybe b
|
Timeout |
[Timeout] |
sum :: Num a => [a] -> a
|
YES |
0.76 |
sum :: [Int] -> Int
|
YES |
0.81 |
sum :: [Float] -> Float
|
Timeout |
[Timeout] |
sum :: [(Ratio Int)] -> (Ratio Int)
|
Timeout |
[Timeout] |
product :: Num a => [a] -> a
|
YES |
0.76 |
product :: [Int] -> Int
|
YES |
0.73 |
product :: [Float] -> Float
|
MAYBE |
97.17 |
product :: [(Ratio Int)] -> (Ratio Int)
|
YES |
8.84 |
maximum :: Ord a => [a] -> a
|
YES |
0.79 |
maximum :: [()] -> ()
|
YES |
0.92 |
maximum :: [Char] -> Char
|
YES |
8.74 |
maximum :: Ord a => [[a]] -> [a]
|
YES |
1.13 |
maximum :: [Int] -> Int
|
YES |
18.21 |
maximum :: [Float] -> Float
|
YES |
22.82 |
maximum :: [(Ratio Int)] -> (Ratio Int)
|
YES |
0.74 |
maximum :: [Bool] -> Bool
|
YES |
4.4 |
maximum :: Ord a => [(Maybe a)] -> (Maybe a)
|
YES |
4.34 |
maximum :: (Ord a, Ord k) => [(Either a k)] -> (Either a k)
|
YES |
0.88 |
maximum :: [Ordering] -> Ordering
|
YES |
5.61 |
maximum :: (Ord a, Ord k) => [(a,k)] -> (a,k)
|
YES |
8.79 |
minimum :: Ord a => [a] -> a
|
YES |
0.77 |
minimum :: [()] -> ()
|
YES |
1.05 |
minimum :: [Char] -> Char
|
YES |
9.36 |
minimum :: Ord a => [[a]] -> [a]
|
YES |
1.18 |
minimum :: [Int] -> Int
|
YES |
16.34 |
minimum :: [Float] -> Float
|
YES |
23.21 |
minimum :: [(Ratio Int)] -> (Ratio Int)
|
YES |
0.75 |
minimum :: [Bool] -> Bool
|
YES |
4.55 |
minimum :: Ord a => [(Maybe a)] -> (Maybe a)
|
YES |
4.65 |
minimum :: (Ord a, Ord k) => [(Either a k)] -> (Either a k)
|
YES |
0.82 |
minimum :: [Ordering] -> Ordering
|
YES |
5.77 |
minimum :: (Ord a, Ord k) => [(a,k)] -> (a,k)
|
YES |
0.62 |
concatMap :: (a -> [b]) -> [a] -> [b]
|
YES |
0.7 |
zip :: [a] -> [b] -> [(a,b)]
|
YES |
0.63 |
zip3 :: [a] -> [b] -> [c] -> [(a,b,c)]
|
YES |
0.64 |
zipWith :: (a->b->c) -> [a]->[b]->[c]
|
YES |
0.63 |
zipWith3 :: (a->b->c->d) -> [a]->[b]->[c]->[d]
|
YES |
0.64 |
unzip :: [(a,b)] -> ([a],[b])
|
YES |
0.67 |
unzip3 :: [(a,b,c)] -> ([a],[b],[c])
|
YES |
0.82 |
replicate :: Int -> a -> [a]
|
YES |
1.25 |
(==) :: Eq a => a -> a -> Bool
|
YES |
0.42 |
(==) :: () -> () -> Bool
|
YES |
0.64 |
(==) :: Char -> Char -> Bool
|
YES |
1.44 |
(==) :: Eq a => [a] -> [a] -> Bool
|
YES |
0.72 |
(==) :: Int -> Int -> Bool
|
YES |
0.41 |
(==) :: Bool -> Bool -> Bool
|
YES |
0.43 |
(==) :: Ordering -> Ordering -> Bool
|
YES |
0.94 |
(==) :: Float -> Float -> Bool
|
YES |
0.75 |
(==) :: (Ratio Int) -> (Ratio Int) -> Bool
|
YES |
1.61 |
(==) :: Eq a => (Maybe a) -> (Maybe a) -> Bool
|
YES |
1.69 |
(==) :: (Eq a, Eq k) => (Either a k) -> (Either a k) -> Bool
|
YES |
1.54 |
(==) :: (Eq a, Eq k) => (a, k) -> (a, k) -> Bool
|
YES |
1.24 |
(/=) :: Eq a => a -> a -> Bool
|
YES |
0.44 |
(/=) :: () -> () -> Bool
|
YES |
0.72 |
(/=) :: Char -> Char -> Bool
|
YES |
1.65 |
(/=) :: Eq a => [a] -> [a] -> Bool
|
YES |
0.68 |
(/=) :: Int -> Int -> Bool
|
YES |
0.43 |
(/=) :: Bool -> Bool -> Bool
|
YES |
0.45 |
(/=) :: Ordering -> Ordering -> Bool
|
YES |
0.91 |
(/=) :: Float -> Float -> Bool
|
YES |
0.81 |
(/=) :: (Ratio Int) -> (Ratio Int) -> Bool
|
YES |
1.5 |
(/=) :: Eq a => (Maybe a) -> (Maybe a) -> Bool
|
YES |
1.4 |
(/=) :: (Eq a, Eq k) => (Either a k) -> (Either a k) -> Bool
|
YES |
1.5 |
(/=) :: (Eq a, Eq k) => (a, k) -> (a, k) -> Bool
|
YES |
5.44 |
compare :: Ord a => a -> a -> Ordering
|
YES |
0.41 |
compare :: () -> () -> Ordering
|
YES |
0.67 |
compare :: Char -> Char -> Ordering
|
YES |
5.47 |
compare :: Ord a => [a] -> [a] -> Ordering
|
YES |
0.68 |
compare :: Int -> Int -> Ordering
|
YES |
0.85 |
compare :: Float -> Float -> Ordering
|
YES |
0.82 |
compare :: (Ratio Int) -> (Ratio Int) -> Ordering
|
YES |
0.43 |
compare :: Bool -> Bool -> Ordering
|
YES |
3.72 |
compare :: Ord a => (Maybe a) -> (Maybe a) -> Ordering
|
YES |
3.97 |
compare :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> Ordering
|
YES |
0.52 |
compare :: Ordering -> Ordering -> Ordering
|
YES |
3.99 |
compare :: (Ord a, Ord k) => (a,k) -> (a,k) -> Ordering
|
YES |
5.36 |
(<) :: Ord a => a -> a -> Bool
|
YES |
0.45 |
(<) :: () -> () -> Bool
|
YES |
0.67 |
(<) :: Char -> Char -> Bool
|
YES |
5.16 |
(<) :: Ord a => [a] -> [a] -> Bool
|
YES |
0.72 |
(<) :: Int -> Int -> Bool
|
YES |
0.96 |
(<) :: Float -> Float -> Bool
|
YES |
1.03 |
(<) :: (Ratio Int) -> (Ratio Int) -> Bool
|
YES |
0.49 |
(<) :: Bool -> Bool -> Bool
|
YES |
3.61 |
(<) :: Ord a => (Maybe a) -> (Maybe a) -> Bool
|
YES |
4.49 |
(<) :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> Bool
|
YES |
0.49 |
(<) :: Ordering -> Ordering -> Bool
|
YES |
4.51 |
(<) :: (Ord a, Ord k) => (a,k) -> (a,k) -> Bool
|
YES |
3.32 |
(<=) :: Ord a => a -> a -> Bool
|
YES |
0.41 |
(<=) :: () -> () -> Bool
|
YES |
0.75 |
(<=) :: Char -> Char -> Bool
|
YES |
6.73 |
(<=) :: Ord a => [a] -> [a] -> Bool
|
YES |
0.74 |
(<=) :: Int -> Int -> Bool
|
YES |
0.98 |
(<=) :: Float -> Float -> Bool
|
YES |
1 |
(<=) :: (Ratio Int) -> (Ratio Int) -> Bool
|
YES |
0.43 |
(<=) :: Bool -> Bool -> Bool
|
YES |
3.4 |
(<=) :: Ord a => (Maybe a) -> (Maybe a) -> Bool
|
YES |
3.34 |
(<=) :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> Bool
|
YES |
0.41 |
(<=) :: Ordering -> Ordering -> Bool
|
YES |
4.77 |
(<=) :: (Ord a, Ord k) => (a,k) -> (a,k) -> Bool
|
YES |
6.88 |
(>=) :: Ord a => a -> a -> Bool
|
YES |
0.42 |
(>=) :: () -> () -> Bool
|
YES |
0.73 |
(>=) :: Char -> Char -> Bool
|
YES |
6.43 |
(>=) :: Ord a => [a] -> [a] -> Bool
|
YES |
0.72 |
(>=) :: Int -> Int -> Bool
|
YES |
0.99 |
(>=) :: Float -> Float -> Bool
|
YES |
0.97 |
(>=) :: (Ratio Int) -> (Ratio Int) -> Bool
|
YES |
0.5 |
(>=) :: Bool -> Bool -> Bool
|
YES |
3.08 |
(>=) :: Ord a => (Maybe a) -> (Maybe a) -> Bool
|
YES |
3.64 |
(>=) :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> Bool
|
YES |
0.51 |
(>=) :: Ordering -> Ordering -> Bool
|
YES |
3.8 |
(>=) :: (Ord a, Ord k) => (a,k) -> (a,k) -> Bool
|
YES |
5.17 |
(>) :: Ord a => a -> a -> Bool
|
YES |
0.46 |
(>) :: () -> () -> Bool
|
YES |
0.76 |
(>) :: Char -> Char -> Bool
|
YES |
5.82 |
(>) :: Ord a => [a] -> [a] -> Bool
|
YES |
0.8 |
(>) :: Int -> Int -> Bool
|
YES |
0.98 |
(>) :: Float -> Float -> Bool
|
YES |
0.93 |
(>) :: (Ratio Int) -> (Ratio Int) -> Bool
|
YES |
0.44 |
(>) :: Bool -> Bool -> Bool
|
YES |
3.47 |
(>) :: Ord a => (Maybe a) -> (Maybe a) -> Bool
|
YES |
3.48 |
(>) :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> Bool
|
YES |
0.51 |
(>) :: Ordering -> Ordering -> Bool
|
YES |
3.86 |
(>) :: (Ord a, Ord k) => (a,k) -> (a,k) -> Bool
|
YES |
4.02 |
max :: Ord a => a -> a -> a
|
YES |
0.43 |
max :: () -> () -> ()
|
YES |
0.87 |
max :: Char -> Char -> Char
|
YES |
5.98 |
max :: Ord a => [a] -> [a] -> [a]
|
YES |
1.09 |
max :: Int -> Int -> Int
|
YES |
14.05 |
max :: Float -> Float -> Float
|
YES |
15.36 |
max :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
|
YES |
0.46 |
max :: Bool -> Bool -> Bool
|
YES |
3.11 |
max :: Ord a => (Maybe a) -> (Maybe a) -> (Maybe a)
|
YES |
3.2 |
max :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> (Either a k)
|
YES |
0.44 |
max :: Ordering -> Ordering -> Ordering
|
YES |
4.26 |
max :: (Ord a, Ord k) => (a,k) -> (a,k) -> (a,k)
|
YES |
5.82 |
min :: Ord a => a -> a -> a
|
YES |
0.48 |
min :: () -> () -> ()
|
YES |
0.89 |
min :: Char -> Char -> Char
|
YES |
6.56 |
min :: Ord a => [a] -> [a] -> [a]
|
YES |
1.08 |
min :: Int -> Int -> Int
|
YES |
12.86 |
min :: Float -> Float -> Float
|
YES |
15.96 |
min :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
|
YES |
0.41 |
min :: Bool -> Bool -> Bool
|
YES |
3.02 |
min :: Ord a => (Maybe a) -> (Maybe a) -> (Maybe a)
|
YES |
3.04 |
min :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> (Either a k)
|
YES |
0.44 |
min :: Ordering -> Ordering -> Ordering
|
YES |
4.13 |
min :: (Ord a, Ord k) => (a,k) -> (a,k) -> (a,k)
|
YES |
8.41 |
(%) :: Int -> Int -> Ratio Int
|
YES |
0.44 |
numerator :: Ratio Int -> Int
|
YES |
0.38 |
denominator :: Ratio Int -> Int
|
Timeout |
[Timeout] |
approxRational :: RealFrac a => a -> a -> Rational
|
Timeout |
[Timeout] |
approxRational :: Float -> Float -> Rational
|
Timeout |
[Timeout] |
approxRational :: (Ratio Int) -> (Ratio Int) -> Rational
|
Timeout |
[Timeout] |
(+) :: Num a => a -> a -> a
|
YES |
0.77 |
(+) :: Int -> Int -> Int
|
YES |
0.78 |
(+) :: Float -> Float -> Float
|
MAYBE |
88.1 |
(+) :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
|
Timeout |
[Timeout] |
(-) :: Num a => a -> a -> a
|
YES |
0.65 |
(-) :: Int -> Int -> Int
|
YES |
0.68 |
(-) :: Float -> Float -> Float
|
MAYBE |
90.12 |
(-) :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
|
Timeout |
[Timeout] |
(*) :: Num a => a -> a -> a
|
YES |
0.74 |
(*) :: Int -> Int -> Int
|
YES |
0.67 |
(*) :: Float -> Float -> Float
|
MAYBE |
82.99 |
(*) :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
|
YES |
0.42 |
negate :: Num a => a -> a
|
YES |
0.39 |
negate :: Int -> Int
|
YES |
0.4 |
negate :: Float -> Float
|
YES |
0.42 |
negate :: (Ratio Int) -> (Ratio Int)
|
YES |
4.06 |
abs :: Num a => a -> a
|
YES |
0.51 |
abs :: Int -> Int
|
YES |
1.77 |
abs :: Float -> Float
|
YES |
0.53 |
abs :: (Ratio Int) -> (Ratio Int)
|
YES |
12.85 |
signum :: Num a => a -> a
|
YES |
0.92 |
signum :: Int -> Int
|
YES |
8.27 |
signum :: Float -> Float
|
YES |
1.05 |
signum :: (Ratio Int) -> (Ratio Int)
|
YES |
0.44 |
fromInteger :: Num a => Integer -> a
|
YES |
0.43 |
fromInteger :: Integer -> Int
|
YES |
0.41 |
fromInteger :: Integer -> Float
|
YES |
0.44 |
fromInteger :: Integer -> (Ratio Int)
|
YES |
0.4 |
fromInt :: Num a => Int -> a
|
YES |
0.41 |
fromInt :: Int -> Int
|
YES |
0.4 |
fromInt :: Int -> Float
|
YES |
0.5 |
fromInt :: Int -> (Ratio Int)
|
MAYBE |
8.72 |
toRational :: Real a => a -> Rational
|
YES |
3.75 |
toRational :: Int -> Rational
|
MAYBE |
9.78 |
toRational :: Float -> Rational
|
YES |
0.39 |
toRational :: (Ratio Int) -> Rational
|
YES |
1.62 |
quot :: Int -> Int -> Int
|
YES |
1.58 |
rem :: Int -> Int -> Int
|
YES |
1.92 |
div :: Int -> Int -> Int
|
YES |
2.25 |
mod :: Int -> Int -> Int
|
YES |
2.26 |
quotRem :: Int -> Int -> (Int, Int)
|
YES |
16.01 |
divMod :: Int -> Int -> (Int,Int)
|
YES |
0.63 |
even :: Int -> Bool
|
YES |
0.65 |
odd :: Int -> Bool
|
YES |
0.42 |
toInteger :: Int -> Integer
|
YES |
0.41 |
toInt :: Int -> Int
|
Timeout |
[Timeout] |
(/) :: Fractional a => a -> a -> a
|
YES |
0.73 |
(/) :: Float -> Float -> Float
|
YES |
8.52 |
(/) :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
|
YES |
0.45 |
recip :: Fractional a => a -> a
|
YES |
0.44 |
recip :: Float -> Float
|
YES |
0.41 |
recip :: (Ratio Int) -> (Ratio Int)
|
YES |
0.44 |
fromRational :: Fractional a => Rational -> a
|
YES |
0.39 |
fromRational :: Rational -> Float
|
YES |
0.41 |
fromRational :: Rational -> (Ratio Int)
|
Timeout |
[Timeout] |
fromDouble :: Fractional a => Double -> a
|
YES |
0.41 |
fromDouble :: Double -> Float
|
YES |
8.34 |
fromDouble :: Double -> (Ratio Int)
|
YES |
2.38 |
properFraction :: RealFrac a => a -> (Int,a)
|
YES |
1.79 |
properFraction :: Float -> (Int,Float)
|
YES |
2.25 |
properFraction :: (Ratio Int) -> (Int,(Ratio Int))
|
YES |
2 |
truncate :: RealFrac a => a -> Int
|
YES |
1.84 |
truncate :: Float -> Int
|
YES |
1.89 |
truncate :: (Ratio Int) -> Int
|
Timeout |
[Timeout] |
round :: RealFrac a => a -> Int
|
Timeout |
[Timeout] |
round :: Float -> Int
|
Timeout |
[Timeout] |
round :: (Ratio Int) -> Int
|
YES |
19.69 |
ceiling :: RealFrac a => a -> Int
|
MAYBE |
17.71 |
ceiling :: Float -> Int
|
YES |
10.05 |
ceiling :: (Ratio Int) -> Int
|
YES |
5.68 |
floor :: RealFrac a => a -> Int
|
YES |
15.42 |
floor :: Float -> Int
|
YES |
11.07 |
floor :: (Ratio Int) -> Int
|
YES |
0.41 |
floatRadix :: Float -> Integer
|
YES |
0.38 |
floatDigits :: Float -> Int
|
YES |
0.41 |
floatRange :: Float -> (Int, Int)
|
YES |
0.39 |
decodeFloat :: Float -> (Integer,Int)
|
YES |
1.6 |
encodeFloat :: Integer -> Int -> Float
|
YES |
0.8 |
exponent :: Float -> Int
|
YES |
2.17 |
significand :: Float -> Float
|
YES |
2.61 |
scaleFloat :: Int -> Float -> Float
|
YES |
0.39 |
isNaN :: Float -> Bool
|
YES |
0.39 |
isInfinite :: Float -> Bool
|
YES |
0.39 |
isDenormalized :: Float -> Bool
|
YES |
0.43 |
isIEEE :: Float -> Bool
|
YES |
0.38 |
isNegativeZero :: Float -> Bool
|
YES |
10.05 |
gcd :: Int -> Int -> Int
|
Timeout |
[Timeout] |
lcm :: Int -> Int -> Int
|
Timeout |
[Timeout] |
(^) :: Num a => a -> Int -> a
|
Timeout |
[Timeout] |
(^) :: Int -> Int -> Int
|
MAYBE |
5.06 |
(^) :: Float -> Int -> Float
|
Timeout |
[Timeout] |
(^) :: (Ratio Int) -> Int -> (Ratio Int)
|
Timeout |
[Timeout] |
(^^) :: Fractional a => a -> Int -> a
|
MAYBE |
5.9 |
(^^) :: Float -> Int -> Float
|
Timeout |
[Timeout] |
(^^) :: (Ratio Int) -> Int -> (Ratio Int)
|
Timeout |
[Timeout] |
subtract :: Num a => a -> a -> a
|
YES |
0.69 |
subtract :: Int -> Int -> Int
|
YES |
0.7 |
subtract :: Float -> Float -> Float
|
MAYBE |
90.84 |
subtract :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
|
YES |
0.43 |
fromIntegral :: Num a => Int -> a
|
YES |
0.4 |
fromIntegral :: Int -> Int
|
YES |
0.4 |
fromIntegral :: Int -> Float
|
YES |
0.41 |
fromIntegral :: Int -> (Ratio Int)
|
MAYBE |
8.82 |
realToFrac :: Real a => a -> Float
|
YES |
6.9 |
realToFrac :: Int -> Float
|
YES |
14.91 |
realToFrac :: Float -> Float
|
YES |
0.4 |
realToFrac :: (Ratio Int) -> Float
|
Timeout |
[Timeout] |
realToFrac :: Real a => a -> Ratio Int
|
YES |
10.13 |
realToFrac :: Int -> Ratio Int
|
YES |
17.67 |
realToFrac :: Float -> Ratio Int
|
YES |
0.41 |
realToFrac :: (Ratio Int) -> Ratio Int
|
YES |
48.72 |
lines :: String -> [String]
|
Timeout |
[Timeout] |
words :: String -> [String]
|
YES |
0.62 |
unlines :: [String] -> String
|
YES |
0.62 |
unwords :: [String] -> String
|
Timeout |
[Timeout] |
readsPrec :: Read a => Int -> String -> [(a,String)]
|
Timeout |
[Timeout] |
readsPrec :: Int -> String -> [((),String)]
|
Timeout |
[Timeout] |
readsPrec :: Int -> String -> [(Char,String)]
|
Timeout |
[Timeout] |
readsPrec :: Read a => Int -> String -> [([a],String)]
|
Timeout |
[Timeout] |
readsPrec :: Int -> String -> [(Int,String)]
|
Timeout |
[Timeout] |
readsPrec :: Int -> String -> [(Float,String)]
|
Timeout |
[Timeout] |
readsPrec :: Int -> String -> [((Ratio Int),String)]
|
Timeout |
[Timeout] |
readsPrec :: Int -> String -> [(Bool,String)]
|
Timeout |
[Timeout] |
readList :: Read a => String -> [([a],String)]
|
Timeout |
[Timeout] |
readList :: String -> [([()],String)]
|
Timeout |
[Timeout] |
readList :: String -> [([Char],String)]
|
Timeout |
[Timeout] |
readList :: Read a => String -> [([[a]],String)]
|
Timeout |
[Timeout] |
readList :: String -> [([Int],String)]
|
Timeout |
[Timeout] |
readList :: String -> [([Float],String)]
|
Timeout |
[Timeout] |
readList :: String -> [([(Ratio Int)],String)]
|
Timeout |
[Timeout] |
readList :: String -> [([Bool],String)]
|
Timeout |
[Timeout] |
reads :: Read a => String -> [(a,String)]
|
Timeout |
[Timeout] |
reads :: String -> [((),String)]
|
Timeout |
[Timeout] |
reads :: String -> [(Char,String)]
|
Timeout |
[Timeout] |
reads :: Read a => String -> [([a],String)]
|
Timeout |
[Timeout] |
reads :: String -> [(Int,String)]
|
Timeout |
[Timeout] |
reads :: String -> [(Float,String)]
|
Timeout |
[Timeout] |
reads :: String -> [((Ratio Int),String)]
|
Timeout |
[Timeout] |
reads :: String -> [(Bool,String)]
|
Timeout |
[Timeout] |
read :: Read a => String -> a
|
Timeout |
[Timeout] |
read :: String -> ()
|
Timeout |
[Timeout] |
read :: String -> Char
|
Timeout |
[Timeout] |
read :: Read a => String -> [a]
|
Timeout |
[Timeout] |
read :: String -> Int
|
Timeout |
[Timeout] |
read :: String -> Float
|
Timeout |
[Timeout] |
read :: String -> (Ratio Int)
|
Timeout |
[Timeout] |
read :: String -> Bool
|
Timeout |
[Timeout] |
lex :: String -> [(String,String)]
|
Timeout |
[Timeout] |
readParen :: Read a => Bool -> (String -> [(a,String)]) -> (String -> [(a,String)])
|
Timeout |
[Timeout] |
readParen :: Bool -> (String -> [((),String)]) -> (String -> [((),String)])
|
Timeout |
[Timeout] |
readParen :: Bool -> (String -> [(Char,String)]) -> (String -> [(Char,String)])
|
Timeout |
[Timeout] |
readParen :: Read a => Bool -> (String -> [([a],String)]) -> (String -> [([a],String)])
|
Timeout |
[Timeout] |
readParen :: Bool -> (String -> [(Int,String)]) -> (String -> [(Int,String)])
|
Timeout |
[Timeout] |
readParen :: Bool -> (String -> [(Float,String)]) -> (String -> [(Float,String)])
|
Timeout |
[Timeout] |
readParen :: Bool -> (String -> [((Ratio Int),String)]) -> (String -> [((Ratio Int),String)])
|
Timeout |
[Timeout] |
readParen :: Bool -> (String -> [(Bool,String)]) -> (String -> [(Bool,String)])
|
Timeout |
[Timeout] |
readLitChar :: String -> [(Char, String)]
|
Timeout |
[Timeout] |
lexLitChar :: String -> [(String,String)]
|
YES |
1.46 |
readInt :: Int -> (Char -> Bool) -> (Char -> Int) -> (String -> [(Int,String)])
|
YES |
11.11 |
readDec :: String -> [(Int,String)]
|
YES |
31.29 |
readOct :: String -> [(Int,String)]
|
YES |
283.48 |
readHex :: String -> [(Int,String)]
|
Timeout |
[Timeout] |
readSigned :: Real a => (String -> [(a,String)]) -> (String -> [(a,String)])
|
Timeout |
[Timeout] |
readSigned :: (String -> [(Int,String)]) -> (String -> [(Int,String)])
|
Timeout |
[Timeout] |
readSigned :: (String -> [(Float,String)]) -> (String -> [(Float,String)])
|
Timeout |
[Timeout] |
readSigned :: (String -> [((Ratio Int),String)]) -> (String -> [((Ratio Int),String)])
|
Timeout |
[Timeout] |
readFloat :: RealFrac a => (String -> [(a,String)])
|
Timeout |
[Timeout] |
readFloat :: (String -> [(Float,String)])
|
Timeout |
[Timeout] |
readFloat :: (String -> [((Ratio Int),String)])
|
YES |
4 |
lexDigits :: String -> [(String,String)]
|
Timeout |
[Timeout] |
show :: Show a => a -> String
|
YES |
0.56 |
show :: () -> String
|
Timeout |
[Timeout] |
show :: Char -> String
|
Timeout |
[Timeout] |
show :: Show a => [a] -> String
|
Timeout |
[Timeout] |
show :: Int -> String
|
YES |
0.45 |
show :: Float -> String
|
Timeout |
[Timeout] |
show :: (Ratio Int) -> String
|
YES |
11.09 |
show :: Bool -> String
|
Timeout |
[Timeout] |
show :: (Show a, Show k) => (a,k) -> String
|
Timeout |
[Timeout] |
show :: (Show a) => (Maybe a) -> String
|
Timeout |
[Timeout] |
show :: (Show a, Show k) => (Either a k) -> String
|
YES |
3.57 |
show :: Ordering -> String
|
Timeout |
[Timeout] |
showsPrec :: Show a => Int -> a -> String -> String
|
YES |
0.59 |
showsPrec :: Int -> () -> String -> String
|
Timeout |
[Timeout] |
showsPrec :: Int -> Char -> String -> String
|
Timeout |
[Timeout] |
showsPrec :: Show a => Int -> [a] -> String -> String
|
Timeout |
[Timeout] |
showsPrec :: Int -> Int -> String -> String
|
YES |
0.41 |
showsPrec :: Int -> Float -> String -> String
|
Timeout |
[Timeout] |
showsPrec :: Int -> (Ratio Int) -> String -> String
|
YES |
13.18 |
showsPrec :: Int -> Bool -> String -> String
|
Timeout |
[Timeout] |
showsPrec :: (Show a, Show k) => Int -> (a,k) -> String -> String
|
Timeout |
[Timeout] |
showsPrec :: (Show a) => Int -> (Maybe a) -> String -> String
|
Timeout |
[Timeout] |
showsPrec :: (Show a, Show k) => Int -> (Either a k) -> String -> String
|
YES |
3.53 |
showsPrec :: Int -> Ordering -> String -> String
|
Timeout |
[Timeout] |
showList :: Show a => [a] -> String -> String
|
YES |
1.07 |
showList :: [()] -> String -> String
|
Timeout |
[Timeout] |
showList :: [Char] -> String -> String
|
Timeout |
[Timeout] |
showList :: Show a => [[a]] -> String -> String
|
Timeout |
[Timeout] |
showList :: [Int] -> String -> String
|
YES |
1.12 |
showList :: [Float] -> String -> String
|
Timeout |
[Timeout] |
showList :: [(Ratio Int)] -> String -> String
|
YES |
19.75 |
showList :: [Bool] -> String -> String
|
Timeout |
[Timeout] |
showList :: (Show a, Show k) => [(a,k)] -> String -> String
|
Timeout |
[Timeout] |
showList :: (Show a) => [(Maybe a)] -> String -> String
|
Timeout |
[Timeout] |
showList :: (Show a, Show k) => [(Either a k)] -> String -> String
|
YES |
7.49 |
showList :: [Ordering] -> String -> String
|
Timeout |
[Timeout] |
shows :: Show a => a -> String -> String
|
YES |
0.54 |
shows :: () -> String -> String
|
Timeout |
[Timeout] |
shows :: Char -> String -> String
|
Timeout |
[Timeout] |
shows :: Show a => [a] -> String -> String
|
Timeout |
[Timeout] |
shows :: Int -> String -> String
|
YES |
0.43 |
shows :: Float -> String -> String
|
Timeout |
[Timeout] |
shows :: (Ratio Int) -> String -> String
|
YES |
12.04 |
shows :: Bool -> String -> String
|
Timeout |
[Timeout] |
shows :: (Show a, Show k) => (a,k) -> String -> String
|
Timeout |
[Timeout] |
shows :: (Show a) => (Maybe a) -> String -> String
|
Timeout |
[Timeout] |
shows :: (Show a, Show k) => (Either a k) -> String -> String
|
YES |
3.13 |
shows :: Ordering -> String -> String
|
YES |
0.37 |
showChar :: Char -> String -> String
|
YES |
0.7 |
showString :: String -> String -> String
|
YES |
0.49 |
showParen :: Bool -> (String -> String) -> String -> String
|
Timeout |
[Timeout] |
showLitChar :: Char -> String -> String
|
YES |
1.85 |
showSigned :: Real a => (a -> (String -> String)) -> Int -> a -> String -> String
|
YES |
0.79 |
showSigned :: (Int -> (String -> String)) -> Int -> Int -> String -> String
|
YES |
3.39 |
showSigned :: (Float -> (String -> String)) -> Int -> Float -> String -> String
|
YES |
2.42 |
showSigned :: ((Ratio Int) -> (String -> String)) -> Int -> (Ratio Int) -> String -> String
|
Timeout |
[Timeout] |
showInt :: Int -> String -> String
|
YES |
0.41 |
ioError :: IOError -> IO a
|
YES |
0.39 |
userError :: String -> IOError
|
YES |
0.41 |
catch :: IO a -> (IOError -> IO a) -> IO a
|
YES |
0.39 |
putChar :: Char -> IO ()
|
YES |
0.42 |
putStr :: String -> IO ()
|
YES |
0.44 |
putStrLn :: String -> IO ()
|
Timeout |
[Timeout] |
print :: Show a => a -> IO ()
|
YES |
0.61 |
print :: () -> IO ()
|
Timeout |
[Timeout] |
print :: Char -> IO ()
|
Timeout |
[Timeout] |
print :: Show a => [a] -> IO ()
|
Timeout |
[Timeout] |
print :: Int -> IO ()
|
YES |
0.57 |
print :: Float -> IO ()
|
Timeout |
[Timeout] |
print :: (Ratio Int) -> IO ()
|
YES |
11.95 |
print :: Bool -> IO ()
|
Timeout |
[Timeout] |
print :: (Show a, Show k) => (a,k) -> IO ()
|
Timeout |
[Timeout] |
print :: (Show a) => (Maybe a) -> IO ()
|
Timeout |
[Timeout] |
print :: (Show a, Show k) => (Either a k) -> IO ()
|
YES |
3.32 |
print :: Ordering -> IO ()
|
NO |
1.72 |
getChar :: IO Char
|
MAYBE |
4.53 |
getLine :: IO String
|
NO |
1.73 |
getContents :: IO String
|
NO |
1.75 |
readFile :: FilePath -> IO String
|
YES |
0.39 |
writeFile :: FilePath -> String -> IO ()
|
YES |
0.38 |
appendFile :: FilePath -> String -> IO ()
|
Timeout |
[Timeout] |
readIO :: Read a => String -> IO a
|
Timeout |
[Timeout] |
readIO :: String -> IO ()
|
Timeout |
[Timeout] |
readIO :: String -> IO Char
|
Timeout |
[Timeout] |
readIO :: Read a => String -> IO [a]
|
Timeout |
[Timeout] |
readIO :: String -> IO Int
|
Timeout |
[Timeout] |
readIO :: String -> IO Float
|
Timeout |
[Timeout] |
readIO :: String -> IO (Ratio Int)
|
Timeout |
[Timeout] |
readIO :: String -> IO Bool
|
Timeout |
[Timeout] |
readLn :: Read a => IO a
|
Timeout |
[Timeout] |
readLn :: IO ()
|
Timeout |
[Timeout] |
readLn :: IO Char
|
Timeout |
[Timeout] |
readLn :: Read a => IO [a]
|
Timeout |
[Timeout] |
readLn :: IO Int
|
Timeout |
[Timeout] |
readLn :: IO Float
|
Timeout |
[Timeout] |
readLn :: IO (Ratio Int)
|
Timeout |
[Timeout] |
readLn :: IO Bool
|
YES |
0.43 |
primExitWith :: Int -> IO a
|
MAYBE |
2.2 |
basicIORun :: IO a -> IOFinished a
|
NO |
1.4 |
blockIO :: ((a -> IOResult) -> IO ()) -> IO a
|
YES |
0.42 |
threadToIOResult :: IO a -> IOResult
|
NO |
1.5 |
catchHugsException :: IO a -> (HugsException -> IO a) -> IO a
|
NO |
1.29 |
primThrowException :: HugsException -> a
|
Timeout |
[Timeout] |
range :: Ix a => (a,a) -> [a]
|
YES |
0.48 |
range :: ((),()) -> [()]
|
MAYBE |
19.57 |
range :: (Char,Char) -> [Char]
|
MAYBE |
40.24 |
range :: (Int,Int) -> [Int]
|
YES |
1.57 |
range :: (Ordering,Ordering) -> [Ordering]
|
Timeout |
[Timeout] |
index :: Ix a => (a,a) -> a -> Int
|
YES |
0.42 |
index :: ((),()) -> () -> Int
|
YES |
1.61 |
index :: (Char,Char) -> Char -> Int
|
YES |
3.07 |
index :: (Int,Int) -> Int -> Int
|
YES |
3.24 |
index :: (Ordering,Ordering) -> Ordering -> Int
|
YES |
1.05 |
inRange :: Ix a => (a,a) -> a -> Bool
|
YES |
0.42 |
inRange :: ((),()) -> () -> Bool
|
YES |
0.83 |
inRange :: (Char,Char) -> Char -> Bool
|
YES |
0.86 |
inRange :: (Int,Int) -> Int -> Bool
|
YES |
0.6 |
inRange :: (Ordering,Ordering) -> Ordering -> Bool
|
MAYBE |
182.3 |
rangeSize :: Ix a => (a,a) -> Int
|
YES |
0.42 |
rangeSize :: ((),()) -> Int
|
YES |
3.62 |
rangeSize :: (Char,Char) -> Int
|
YES |
6.84 |
rangeSize :: (Int,Int) -> Int
|
YES |
4.84 |
rangeSize :: (Ordering,Ordering) -> Int
|
YES |
2.5 |
succ :: Enum a => a -> a
|
YES |
0.52 |
succ :: () -> ()
|
YES |
0.48 |
succ :: Char -> Char
|
YES |
0.41 |
succ :: Int -> Int
|
YES |
2.78 |
succ :: Float -> Float
|
YES |
2.86 |
succ :: (Ratio Int) -> (Ratio Int)
|
YES |
0.5 |
succ :: Bool -> Bool
|
YES |
0.56 |
succ :: Ordering -> Ordering
|
YES |
3.47 |
pred :: Enum a => a -> a
|
YES |
0.51 |
pred :: () -> ()
|
YES |
0.45 |
pred :: Char -> Char
|
YES |
0.4 |
pred :: Int -> Int
|
YES |
3.05 |
pred :: Float -> Float
|
YES |
3.02 |
pred :: (Ratio Int) -> (Ratio Int)
|
YES |
0.52 |
pred :: Bool -> Bool
|
YES |
0.51 |
pred :: Ordering -> Ordering
|
YES |
0.55 |
toEnum :: Enum a => Int -> a
|
YES |
0.42 |
toEnum :: Int -> ()
|
YES |
0.42 |
toEnum :: Int -> Char
|
YES |
0.38 |
toEnum :: Int -> Int
|
YES |
0.39 |
toEnum :: Int -> Float
|
YES |
0.4 |
toEnum :: Int -> (Ratio Int)
|
YES |
0.49 |
toEnum :: Int -> Bool
|
YES |
0.5 |
toEnum :: Int -> Ordering
|
YES |
2 |
fromEnum :: Enum a => a -> Int
|
YES |
0.4 |
fromEnum :: () -> Int
|
YES |
0.4 |
fromEnum :: Char -> Int
|
YES |
0.39 |
fromEnum :: Int -> Int
|
YES |
1.81 |
fromEnum :: Float -> Int
|
YES |
1.86 |
fromEnum :: (Ratio Int) -> Int
|
YES |
0.43 |
fromEnum :: Bool -> Int
|
YES |
0.43 |
fromEnum :: Ordering -> Int
|
Timeout |
[Timeout] |
enumFromTo :: Enum a => a -> a -> [a]
|
YES |
0.69 |
enumFromTo :: () -> () -> [()]
|
MAYBE |
19.66 |
enumFromTo :: Char -> Char -> [Char]
|
MAYBE |
40.12 |
enumFromTo :: Int -> Int -> [Int]
|
MAYBE |
117.4 |
enumFromTo :: Float -> Float -> [Float]
|
MAYBE |
86.92 |
enumFromTo :: (Ratio Int) -> (Ratio Int) -> [(Ratio Int)]
|
YES |
0.91 |
enumFromTo :: Bool -> Bool -> [Bool]
|
YES |
1.07 |
enumFromTo :: Ordering -> Ordering -> [Ordering]
|
Timeout |
[Timeout] |
enumFromThenTo :: Enum a => a -> a -> a -> [a]
|
MAYBE |
2.14 |
enumFromThenTo :: () -> () -> () -> [()]
|
NO |
177.49 |
enumFromThenTo :: Char -> Char -> Char -> [Char]
|
MAYBE |
20.9 |
enumFromThenTo :: Int -> Int -> Int -> [Int]
|
Timeout |
[Timeout] |
enumFromThenTo :: Float -> Float -> Float -> [Float]
|
Timeout |
[Timeout] |
enumFromThenTo :: (Ratio Int) -> (Ratio Int) -> (Ratio Int) -> [(Ratio Int)]
|
MAYBE |
4.02 |
enumFromThenTo :: Bool -> Bool -> Bool -> [Bool]
|
MAYBE |
104.16 |
enumFromThenTo :: Ordering -> Ordering -> Ordering -> [Ordering]
|
MAYBE |
1.81 |
minBound :: Bounded a => a
|
YES |
0.43 |
minBound :: ()
|
YES |
0.42 |
minBound :: Char
|
NO |
1.85 |
minBound :: Int
|
YES |
0.4 |
minBound :: Bool
|
YES |
0.39 |
minBound :: Ordering
|
MAYBE |
1.72 |
maxBound :: Bounded a => a
|
YES |
0.43 |
maxBound :: ()
|
YES |
0.41 |
maxBound :: Char
|
NO |
1.81 |
maxBound :: Int
|
YES |
0.38 |
maxBound :: Bool
|
YES |
0.38 |
maxBound :: Ordering
|
MAYBE |
1.35 |
iterate :: (a -> a) -> a -> [a]
|
NO |
1.39 |
repeat :: a -> [a]
|
MAYBE |
1.3 |
cycle :: [a] -> [a]
|
NO |
1.67 |
interact :: (String -> String) -> IO ()
|
MAYBE |
1.39 |
until :: (a -> Bool) -> (a -> a) -> a -> a
|
MAYBE |
28.91 |
enumFrom :: Enum a => a -> [a]
|
YES |
0.44 |
enumFrom :: () -> [()]
|
MAYBE |
22.04 |
enumFrom :: Char -> [Char]
|
MAYBE |
1.97 |
enumFrom :: Int -> [Int]
|
MAYBE |
1.97 |
enumFrom :: Float -> [Float]
|
MAYBE |
18.82 |
enumFrom :: (Ratio Int) -> [(Ratio Int)]
|
YES |
0.76 |
enumFrom :: Bool -> [Bool]
|
YES |
1.02 |
enumFrom :: Ordering -> [Ordering]
|
Timeout |
[Timeout] |
enumFromThen :: Enum a => a -> a -> [a]
|
MAYBE |
3.78 |
enumFromThen :: () -> () -> [()]
|
MAYBE |
123.53 |
enumFromThen :: Char -> Char -> [Char]
|
MAYBE |
2.89 |
enumFromThen :: Int -> Int -> [Int]
|
MAYBE |
3.09 |
enumFromThen :: Float -> Float -> [Float]
|
Timeout |
[Timeout] |
enumFromThen :: (Ratio Int) -> (Ratio Int) -> [(Ratio Int)]
|
MAYBE |
3.54 |
enumFromThen :: Bool -> Bool -> [Bool]
|
MAYBE |
4.79 |
enumFromThen :: Ordering -> Ordering -> [Ordering]
|
YES |
0.81 |
pi :: Float
|
YES |
0.37 |
exp :: Float -> Float
|
YES |
0.37 |
log :: Float -> Float
|
YES |
0.39 |
sqrt :: Float -> Float
|
YES |
0.75 |
(**) :: Float -> Float -> Float
|
YES |
0.66 |
logBase :: Float -> Float -> Float
|
YES |
0.42 |
sin :: Float -> Float
|
YES |
0.38 |
cos :: Float -> Float
|
YES |
0.4 |
tan :: Float -> Float
|
YES |
0.41 |
asin :: Float -> Float
|
YES |
0.36 |
acos :: Float -> Float
|
YES |
0.4 |
atan :: Float -> Float
|
YES |
0.78 |
sinh :: Float -> Float
|
YES |
0.75 |
cosh :: Float -> Float
|
YES |
1.01 |
tanh :: Float -> Float
|
YES |
0.73 |
asinh :: Float -> Float
|
YES |
0.85 |
acosh :: Float -> Float
|
YES |
0.82 |
atanh :: Float -> Float
|
Timeout |
[Timeout] |
atan2 :: Float -> Float -> Float
|