yfhe commited on
Commit
805f67a
·
verified ·
1 Parent(s): 916625f

Upload tfb.pure.json with huggingface_hub

Browse files
Files changed (1) hide show
  1. tfb.pure.json +1 -0
tfb.pure.json ADDED
@@ -0,0 +1 @@
 
 
1
+ [{"code":"f1 (x :% y) = f2 x `f3` f2 y","dependencies":["f2 :: Num t1 => Integer -> t1","f3 :: (Integral t1) => t1 -> t1 -> Ratio t1","data Ratio a = !a :% !a","type Rational = Ratio Integer"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => T2 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--fromRational"},{"code":"f1 f (Just x) (Just y) = Just (f x y) f1 _ _ _ = Nothing","dependencies":["data T1 a = Nothing | Just a"],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2 -> t3) -> T1 t1 -> T1 t2 -> T1 t3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--liftA2-Maybe"},{"code":"f1 f = f3 `f4` \\ s -> f2 (f s)","dependencies":["f2 :: T1 -> T2 ","f3 :: T2 T1","f4 :: T2 t1 -> (t1 -> T2 t2) -> T2 t2"],"poly_type":"Monomorphic","signature":"f1 :: (T1 -> T1) -> T2 ","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/System/IO.hs--interact"},{"code":"(f1) (x : xs) ys = x : xs `f1` ys (f1) [] ys = ys","dependencies":[],"poly_type":"Parametric","signature":"f1 :: [t1] -> [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--(++)"},{"code":"f1 LT = EQ f1 EQ = GT f1 GT = error \"bad argument\"","dependencies":["data T1 = LT | EQ | GT"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--succ-Ordering"},{"code":"x `f1` y = x `f2` f3 y","dependencies":["f2 :: T1 t1 => t1 -> t1 -> t1","f3 :: T1 t1 => t1 -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Num.hs--(-)"},{"code":"f1 = f2 `f4` f3","dependencies":["f2 :: T2 t1 => Integer -> t1","f3 :: T1 t1 => t1 -> Integer","f4 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--fromIntegral"},{"code":"f1 f = f3 c (f4 ()) where c x k = f x `f2` k","dependencies":["f2 :: T2 t1 => t1 t2 -> t1 t3 -> t1 t3","f3 :: T1 t1 => (t2 -> t3 -> t3) -> t3 -> t1 t2 -> t3","f4 :: T2 t1 => t2 -> t1 t2"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => (t3 -> t2 t4) -> t1 t3 -> t2 ","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--mapM_"},{"code":"f1 = f2 `f3` f4 Product","dependencies":["f2 :: Product t1 -> t1","f3 :: Coercible t1 t2 => (t1 -> t2) -> (t3 -> t1) -> (t3 -> t2)","f4 :: Monoid t1 => (t2 -> t1) -> t3 t2 -> t1","newtype Product a = Product{f2 :: a}"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 t2 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--product"},{"code":"f1 f3 = [] f1 s = cons (case f2 (f5 f4) s of (l, s') -> (l, case s' of [] -> [] _ : s'' -> f1 s'')) where cons ~(h, t) = h : t","dependencies":["f2 :: (t1 -> Bool) -> [t1] -> ([t1], [t1])","f3 :: T1","f4 :: Char","f5 :: Eq t1 => t1 -> t1 -> Bool"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> [T1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/OldList.hs--lines"},{"code":"f1 c = f2 f3 c","dependencies":["f2 :: Handle -> T1 -> T2 ","f3 :: Handle"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2 ","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/System/IO.hs--putChar"},{"code":"f1 x y = f2 f3 [f4 x, f4 y ..]","dependencies":["f2 :: (t1 -> t2) -> [t1] -> [t2]","f3 :: T1 t1 => Int -> t1","f4 :: T1 t1 => t1 -> Int"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--enumFromThen"},{"code":"f1 True = False f1 False = error \"bad argument\"","dependencies":["data T1 = False | True"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--pred-Bool"},{"code":"f1 x = [x]","dependencies":[],"poly_type":"Parametric","signature":"f1 :: t1 -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--pure-[]"},{"code":"f1 (_, y) = y","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1, t2) -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Tuple.hs--snd"},{"code":"f1 _ xs@[] = (xs, xs) f1 p xs@(x : xs') | p x = let (ys, zs) = f1 p xs' in (x : ys, zs) | otherwise = ([], xs)","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> T1) -> [t1] -> ([t1], [t1])","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--span"},{"code":"f1 _ q0 [] = [q0] f1 f q0 (x : xs) = f x q : qs where qs@(q : _) = f1 f q0 xs","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2 -> t2) -> t2 -> [t1] -> [t2]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--scanr"},{"code":"x `f1` y = y `f2` x","dependencies":["f2 :: T1 t1 => t1 -> t1 -> T2"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> T2","task_id":"data/repos/ghc/libraries/ghc-prim/GHC/Classes.hs--(>=)"},{"code":"f1 x = f2 f3 [f4 x ..]","dependencies":["f2 :: (t1 -> t2) -> [t1] -> [t2]","f3 :: T1 t1 => Int -> t1","f4 :: T1 t1 => t1 -> Int"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--enumFrom"},{"code":"f1 s = f2 f5 f4 (f3 s)","dependencies":["f2 :: (t1 -> t2) -> (t3 -> t2) -> Either t1 t3 -> t2","f3 :: T1 t1 => T2 -> Either T2 t1","f4 :: t1 -> t1","f5 :: T2 -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => T2 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Text/Read.hs--read"},{"code":"f1 = f2 (\\ (a, b) ~(as, bs) -> (a : as, b : bs)) ([], [])","dependencies":["f2 :: (t1 -> t2 -> t2) -> t2 -> [t1] -> t2"],"poly_type":"Parametric","signature":"f1 :: [(t1, t2)] -> ([t1], [t2])","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--unzip"},{"code":"f1 x = f4 `f3` f2 x","dependencies":["f2 :: T1 -> Int","f3 :: Eq t1 => t1 -> t1 -> T2","f4 :: Int"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--isNaN-Float"},{"code":"f1 cs = f2 f5 `f4` f3 cs `f4` f2 f5","dependencies":["f2 :: T1 -> T2","f3 :: String -> T2","type ShowS = String -> String","f4 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2","f5 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: [T1] -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Show.hs--showList--Char"},{"code":"f1 i (I_ j) = D_ (f2 i j)","dependencies":["data T3 = D_ Double_","f2 :: T1 -> Int_ -> Double_","data T2 = I_ Int_"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2 -> T3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--encodeFloat-Double"},{"code":"f1 = Right","dependencies":["data T1 a b = Left a | Right b"],"poly_type":"Parametric","signature":"f1 :: t1 -> T1 t2 t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--pure-Either"},{"code":"f1 _ [] = [] f1 f (x : xs) = f2 f x xs","dependencies":["f2 :: (t1 -> t2 -> t1) -> t1 -> [t2] -> [t1]"],"poly_type":"Parametric","signature":"f1 :: (t1 -> t1 -> t1) -> [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--scanl1"},{"code":"f1 _ [] = [] f1 p xs@(x : xs') | p x = f1 p xs' | otherwise = xs","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> T1) -> [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--dropWhile"},{"code":"x `f1` y = not (y `f2` x >)","dependencies":["f2 :: T1 t1 => t1 -> t1 -> T2"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> T2","task_id":"data/repos/ghc/libraries/ghc-prim/GHC/Classes.hs--(<)"},{"code":"f1 (x, _) = x","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1, t2) -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Tuple.hs--fst"},{"code":"n `f1` d = f2 (f3 n d)","dependencies":["f2 :: (t1, t2) -> t1","f3 :: T1 => t1 -> t1 -> (t1, t1)"],"poly_type":"Ad-hoc","signature":"f1 :: T1 => t1 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--quot"},{"code":"f1 f2 = []","dependencies":["f2 :: T1"],"poly_type":"Parametric","signature":"f1 :: T1 -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Control/Monad/Fail.hs--fail-[]"},{"code":"f1 (F f) = case f2 f_ of (i, e) -> (IS i, I e)","dependencies":["data T1 = F_ Float_","f2 :: Float_ -> (Int_, Int_)","data T2 = IS Int_","data T3 = I_ Int_"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> (T2, T3)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--decodeFloat-Float"},{"code":"f1 f = f2 ((f3) `f4` f) []","dependencies":["f2 :: Foldable t1 => (t2 -> t3 -> t3) -> t3 -> t1 t2 -> t3","f3 :: [t1] -> [t1] -> [t1]","f4 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2"],"poly_type":"Parametric","signature":"f1 :: (t1 -> [t2]) -> [t1] -> [t2]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--concatMap"},{"code":"f1 i = I_ (f2 i)","dependencies":["f2 :: T1 -> Int_","data T2 = I_ Int_"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Num.hs--fromInteger-Int"},{"code":"f1 c = f2 (f3 c `f4` f5)","dependencies":["f2 :: Int -> T1","f3 :: T1 -> Int","f4 :: Num t1 => t1 -> t1 -> t1","f5 :: Int"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--succ-Char"},{"code":"(f1) f = f","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2) -> t1 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--($)"},{"code":"f1 x = f2 (f3 x)","dependencies":["f2 :: String -> T2 ","f3 :: T1 t1 => t1 -> String"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> T2 ","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/System/IO.hs--print"},{"code":"f1 x = f3 `f2` x","dependencies":["f2 :: T1 t1 => t1 -> t1 -> t1","f3 :: T1 t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--recip"},{"code":"f1 f2 = f2","dependencies":["f2 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--fromEnum-Int"},{"code":"x `f1` n = if n `f2` 0 then x `f3` n else f4 (x `f3` (f5 n))","dependencies":["f2 :: Ord t1 => t1 -> t1 -> Bool","f3 :: (Num t1, T2 t2) => t1 -> t2 -> t1","f4 :: T1 t1 => t1 -> t1","f5 :: Num t1 => t1 -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 -> t2 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--(^^)"},{"code":"f1 x y = if x `f2` y then x else y","dependencies":["f2 :: T1 t1 => t1 -> t1 -> Bool"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc/libraries/ghc-prim/GHC/Classes.hs--min"},{"code":"(u, f) `f1` (v, x) = (u `f2` v, f x)","dependencies":["f2 :: Semigroup t1 => t1 -> t1 -> t1"],"poly_type":"Parametric ","signature":"f1 :: (t1, (t1 -> t2)) -> (t3, t1) -> (t3, t2)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--(<*>)-(,)"},{"code":"f1 x y = f2 f3 [f4 x .. f4 y]","dependencies":["f2 :: (t1 -> t2) -> [t1] -> [t2]","f3 :: T1 t1 => Int -> t1","f4 :: T1 t1 => t1 -> Int"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--enumFromTo"},{"code":"f1 f = go where go [] _ = [] go _ [] = [] go (x : xs) (y : ys) = f x y : go xs ys","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2 -> t3) -> [t1] -> [t2] -> [t3]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--zipWith"},{"code":"f1 = f2 f3","dependencies":["f2 :: ReadPrec t1 -> (T2 -> T3 t1)","f3 :: ReadPrec t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => T2 -> T3 t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Read.hs--readsPrec"},{"code":"f1 f x y = f y x","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2 -> t3) -> t2 -> t1 -> t3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--flip"},{"code":"f1 _ [] = [] f1 n (_ : xs) = f1 (n `f3` f5) xs f1 n xs | n `f2` f4 = xs","dependencies":["f2 :: Ord t1 => t1 -> t1 -> Bool","f3 :: Num t1 => t1 -> t1 -> t1","f4 :: T1","f5 :: T1"],"poly_type":"Parametric","signature":"f1 :: T1 -> [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--drop"},{"code":"f1 xs = f2 (\\ c n -> f3 (\\ x y -> f3 c y x) n xs)","dependencies":["f2 :: ((t1 -> t2 -> t2) -> t2 -> t2) -> [t1]","f3 :: T1 t1 => (t2 -> t3 -> t3) -> t3 -> t1 t2 -> t3"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 [t2] -> [t2]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--concat"},{"code":"f1 _ f (Just x) = f x f1 n _ Nothing = n","dependencies":["data T1 a = Nothing | Just a"],"poly_type":"Parametric","signature":"f1 :: t1 -> (t2 -> t1) -> T1 t2 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Maybe.hs--maybe"},{"code":"f1 = Just","dependencies":["data T1 a = Nothing | Just a"],"poly_type":"Parametric","signature":"f1 :: t1 -> T1 t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--pure-Maybe"},{"code":"(f1) = f3 f2","dependencies":["f2 :: t1 -> t1","f3 :: T1 t1 => (t2 -> t3 -> t4) -> t1 t2 -> t1 t3 -> t1 t4"],"poly_type":"Ad-hoc ","signature":"f1 :: T1 t1 => t1 (t2 -> t3) -> t1 t2 -> t1 t3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--(<*>)"},{"code":"f1 n = n `f2` f4 `f3` f5","dependencies":["f2 :: T1 t1 => t1 -> t1 -> t1","f3 :: Eq t1 => t1 -> t1 -> T2","f4 :: T1 t1 => t1","f5 :: T1 t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--even"},{"code":"f1 GT = EQ f1 EQ = LT f1 LT = error \"bad argument\"","dependencies":["data T1 = LT | EQ | GT"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--pred-Ordering"},{"code":"f1 x _ = x","dependencies":[],"poly_type":"Parametric","signature":"f1 :: t1 -> t2 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--const"},{"code":"f1 (x : xs) = x : f1 xs f1 [] = error f1 [x] = []","dependencies":[],"poly_type":"Parametric","signature":"f1 :: [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--init"},{"code":"f1 = f2 `f3` (f4)","dependencies":["f2 :: T1 t1 => (t2 -> T3) -> t1 t2 -> T3","f3 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2","f4 :: T2 t1 => t1 -> t1 -> T3"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t2 -> t1 t2 -> T3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--elem"},{"code":"f1 y x | x `f11` f14 = f2 (y `f4` x) | x `f8` f14 `f12` y `f11` f14 = f3 `f4` f15 | x `f9` f14 `f12` y `f11` f14 = f3 `f5` f2 (y `f4` x) | (x `f10` f14 `f12` y `f9` f14) `f13` (x `f9` f14 `f12` f7 y) `f13` (f7 x `f12` f7 y) = -f1 (-y) x | y `f8` f14 `f12` (x `f9` f14 `f13` f7 x) = f3 | x `f8` f14 `f12` y `f8` f14 = y | otherwise = x `f5` y","dependencies":["f2 :: Floating t1 => t1 -> t1","f3 :: Floating t1 => t1","f4 :: Fractional t1 => t1 -> t1 -> t1","f5 :: Num t1 => t1 -> t1 -> t1","f6 :: Num t1 => t1 -> t1 -> t1","f7 :: T1 t1 => t1 -> Bool","f8 :: Eq t1 => t1 -> t1 -> Bool","f9 :: Ord t1 => t1 -> t1 -> Bool","f10 :: Ord t1 => t1 -> t1 -> Bool","f11 :: Ord t1 => t1 -> t1 -> Bool","f12 :: Bool -> Bool -> Bool","f13 :: Bool -> Bool -> Bool","f14 :: Num t1 => t1","f15 :: Num t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--atan2"},{"code":"xs `f1` ys = [y | _ <- xs, y <- ys]","dependencies":[],"poly_type":"Parametric","signature":"f1 :: [t1] -> [t2] -> [t2]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--(*>)-[]"},{"code":"x `f1` y = not (x <= y)","dependencies":["f1 :: T1 t1 => t1 -> t1 -> T2"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> T2","task_id":"data/repos/ghc/libraries/ghc-prim/GHC/Classes.hs--(>)"},{"code":"f1 = f2 `f3` f4","dependencies":["f2 :: T2 -> T2","f3 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2","f4 :: T1 t1 => t1 -> T2"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--odd"},{"code":"f1 name = f2 name ReadMode `f3` f4","dependencies":["f2 :: T1 -> IOMode -> T2 Handle","f3 :: T2 t1 -> (t1 -> T2 t2) -> T2 t2","f4 :: Handle -> T2 T3","data IOMode = ReadMode | WriteMode | AppendMode | ReadWriteMode"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2 T3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/System/IO.hs--readFile"},{"code":"(f1) f g = \\ x -> f (g x)","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--(.)"},{"code":"f1 False = True f1 True = error \"bad argument\"","dependencies":["data T1 = False | True"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--succ-Bool"},{"code":"f1 f xs ys = [f x y | x <- xs, y <- ys]","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2 -> t3) -> [t1] -> [t2] -> [t3]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--liftA2--[]"},{"code":"f1 x = f2 x","dependencies":["f2 :: T1 -> T2"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--toInteger--Natural"},{"code":"f1 f3 = f2","dependencies":["f2 :: T2","f3 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--floatDigits-Float"},{"code":"f1 n d = if f6 r == f3 (f6 d) then (q `f5` 1, r `f4` d) else qr where qr@(q, r) = f2 n d","dependencies":["f2 :: T1 t1 => t1 -> t1 -> (t1, t1)","f3 :: Num t1 => t1 -> t1","f4 :: Num t1 => t1 -> t1 -> t1","f5 :: Num t1 => t1 -> t1 -> t1","f6 :: Num t1 => t1 -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> (t1, t1)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--divMod"},{"code":"f1 (_ : xs) = xs f1 [] = error","dependencies":[],"poly_type":"Parametric","signature":"f1 :: [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--tail"},{"code":"f1 (D_ x_) = case f2 x_ of (i, j) -> (i, I_ j)","dependencies":["data T1 = D_ Double_","f2 :: Double_ -> (T2, Int_)","data T3 = I_ Int_"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> (T2, T3)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--decodeFloat-Double"},{"code":"f1 f2 = Nothing","dependencies":["data T2 a = Nothing | Just a","f2 :: T1"],"poly_type":"Parametric","signature":"f1 :: T1 -> T2 t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Control/Monad/Fail.hs--fail-Maybe"},{"code":"x `f1` y | y `f2` f5 = error \"negative\" | y `f3` f5 = f6 | otherwise = f4 x y","dependencies":["f2 :: Ord t1 => t1 -> t1 -> Bool","f3 :: Eq t1 => t1 -> t1 -> Bool","f4 :: (T1 t1, T2 t2) => t1 -> t2 -> t1","f5 :: T1 t1 => t1","f6 :: T1 t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 -> t2 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--(^)"},{"code":"f1 x y = if x `f2` y then y else x","dependencies":["f2 :: T1 t1 => t1 -> t1 -> Bool"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc/libraries/ghc-prim/GHC/Classes.hs--max"},{"code":"f1 x y = y `f2` x","dependencies":["f2 :: T1 t1 => t1 -> t1 -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Num.hs--subtract"},{"code":"f1 f = f2 (f3 `f4` f) f5","dependencies":["f2 :: T1 t1 => (t2 -> t3 -> t3) -> t3 -> t1 t2 -> t3","f3 :: T2 t1 => t1 -> t1 -> t1","f4 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2","f5 :: T2 t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => (t3 -> t2) -> t1 t3 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--foldMap"},{"code":"f1 f4 = (f2, dbl_max_exp)","dependencies":["f2 :: T2","f2 :: T2","f4 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> (T2, T2)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--floatRange-Float"},{"code":"(f1) True True = True (f1) _ _ = False","dependencies":["data T1 = True | False"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--(&&)"},{"code":"f1 f txt = f3 f WriteMode (\\ hdl -> f2 hdl txt)","dependencies":["f2 :: Handle -> T2 -> T3 ","f3 :: T1 -> IOMode -> (Handle -> T3 t1) -> T3 t1","data IOMode = ReadMode | WriteMode | AppendMode | ReadWriteMode"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2 -> T3 ","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/System/IO.hs--writeFile"},{"code":"f1 f (u, x) (v, y) = (u `f2` v, f x y)","dependencies":["f2 :: t1 -> t1 -> t1"],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2 -> t3) -> (t4, t1) -> (t4, t2) -> (t4, t3)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--liftA2--(,)"},{"code":"f1 x = f4 `f3` f2 x","dependencies":["f2 :: T1 -> Int","f3 :: Eq t1 => t1 -> t1 -> T2","f4 :: Int"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--isNaN-Double"},{"code":"f1 i (I_ e) = F_ (f2 i e)","dependencies":["data T2 = I_ Int_","data T3 = F_ Float_","f2 :: T1 -> Int_ -> Float_"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2 -> T3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--encodeFloat-Float"},{"code":"f1 b g = if b then mandatory else optional where optional r = g r `f2` mandatory r mandatory r = f4 r `f5` \\ ([f6], s) -> optional s `f5` \\ (x, t) -> f4 t `f5` \\ ([f7], u) -> f3 (x, u)","dependencies":["f2 :: [t1] -> [t1] -> [t1]","f3 :: Monad t1 => t2 -> t1 t2","f4 :: String -> [(String, String)]","f5 :: Monad t1 => t1 t2 -> (t2 -> t1 t3) -> t1 t3","type ReadS a = String -> [(a, String)]","f6 :: Char","f7 :: Char"],"poly_type":"Parametric","signature":"f1 :: T1 -> T2 t1 -> T2 t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Read.hs--readParen"},{"code":"f1 z = go where go (a : as) (b : bs) (c : cs) = z a b c : go as bs cs go _ _ _ = []","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2 -> t3 -> t4) -> [t1] -> [t2] -> [t3] -> [t4]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--zipWith3"},{"code":"f1 = f2 (f3) []","dependencies":["f2 :: Foldable t1 => (t2 -> t3 -> t3) -> t3 -> t1 t2 -> t3","f3 :: [t1] -> [t1] -> [t1]"],"poly_type":"Parametric","signature":"f1 :: [[t1]] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--concat"},{"code":"f1 x1 x2 y = f2 f3 [f4 x1, f4 x2 .. f4 y]","dependencies":["f2 :: (t1 -> t2) -> [t1] -> [t2]","f3 :: T1 t1 => Int -> t1","f4 :: T1 t1 => t1 -> Int"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1 -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--enumFromThenTo"},{"code":"f1 p f = go where go x | p x = x | otherwise = go (f x)","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> T1) -> (t1 -> t1) -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--until"},{"code":"f1 a b = f2 a b","dependencies":["f2 :: T1 -> T1 -> (T1, T1)"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1 -> (T1, T1)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--quotRem-Int"},{"code":"f1 f2 = f2","dependencies":["f2 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--toEnum-Int"},{"code":"f1 _ g (Right y) = g y f1 f _ (Left x) = f x","dependencies":["data T1 a b = Left a | Right b"],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2) -> (t3 -> t2) -> T1 t1 t3 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Either.hs--either"},{"code":"f1 f (x, y) = (x, f y)","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2) -> (t3, t1) -> (t3, t2)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--fmap-(,)"},{"code":"f1 f xs = f3 (\\ c n -> f2 (\\ x b -> f2 c b (f x)) n xs)","dependencies":["f2 :: T1 t1 => (t2 -> t3 -> t3) -> t3 -> t1 t2 -> t3","f3 :: ((t1 -> t2 -> t2) -> t2 -> t2) -> [t1]"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => (t2 -> [t3]) -> t1 t2 -> [t3]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--concatMap"},{"code":"f1 _ [] = [] f1 p (x : xs) | p x = x : f1 p xs | otherwise = []","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> T1) -> [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--takeWhile"},{"code":"f1 n | n `f3` f5 = f2 f6 | n `f4` f5 = f5 | otherwise = f6","dependencies":["f2 :: Num t1 => t1 -> t1","f3 :: T1 -> T1 -> Bool","f4 :: T1 -> T1 -> Bool","f5 :: T1","f6 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Num.hs--signum-Int"},{"code":"f1 c = f2 (f3 c `f4` f5)","dependencies":["f2 :: Int -> T1","f3 :: T1 -> Int","f4 :: Num t1 => t1 -> t1 -> t1","f5 :: Int"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--pred-Char"},{"code":"f1 x = f2 x `f4` f3 x","dependencies":["f2 :: T1 t1 => t1 -> t1","f3 :: T1 t1 => t1 -> t1","f4 :: Fractional t1 => t1 -> t1 -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--tanh"},{"code":"f1 n | n `f2` f3 = False | n `f2` f4 = True | otherwise = error \"bad argument\"","dependencies":["data T2 = False | True","f2 :: Eq t1 => t1 -> t1 -> T2","f3 :: T1","f4 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--toEnum-Bool"},{"code":"f1 f x y = f (x, y)","dependencies":[],"poly_type":"Parametric","signature":"f1 :: ((t1, t2) -> t3) -> t1 -> t2 -> t3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Tuple.hs--curry"},{"code":"f1 x = f2 (f3 x)","dependencies":["f2 :: (t1, t2) -> t1","f3 :: (T1 t1, T2 t2) => t1 -> (t2, t1)"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--truncate"},{"code":"f1 x = f2 m (f5 (f4 x)) where (m, _) = f3 x","dependencies":["f2 :: T1 t1 => Integer -> Int -> t1","f3 :: T1 t1 => t1 -> (Integer, Int)","f4 :: T1 t1 => t1 -> Int","f5 :: Num t1 => t1 -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--significand"},{"code":"f1 x = xs where xs = x : xs","dependencies":[],"poly_type":"Parametric","signature":"f1 :: t1 -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--repeat"},{"code":"f1 [] = True f1 (_ : _) = False","dependencies":["data T1 = False | True"],"poly_type":"Parametric","signature":"f1 :: [t1] -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--null"},{"code":"f1 _ Nothing = Nothing f1 f (Just a) = Just (f a)","dependencies":["data T1 a = Nothing | Just a"],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2) -> T1 t1 -> T1 t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--fmap-Maybe"},{"code":"f1 x = f3 `f4` f2 x","dependencies":["f2 :: (T1 t1, T2 t2) => t2 -> t1 t2 -> T3","f3 :: T3 -> T3","f4 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t2 -> t1 t2 -> T3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--notElem"},{"code":"f1 _ x s = f2 x `f3` s","dependencies":["f2 :: T1 t1 => t1 -> String","f3 :: [t1] -> [t1] -> [t1]","type ShowS = String -> String"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => T2 -> t1 -> T3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Show.hs--showsPrec"},{"code":"f1 _ [] = [] f1 f (x : xs) = f x : f1 f xs","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2) -> [t1] -> [t2]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--map"},{"code":"f1 = f2 `f3` f4 Sum","dependencies":["f2 :: Sum t1 -> t1","f3 :: Coercible t1 t2 => (t1 -> t2) -> (t3 -> t1) -> (t3 -> t2)","f4 :: Monoid t1 => (t2 -> t1) -> t3 t2 -> t1","newtype Sum a = Sum{f2 :: a}"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 t2 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--sum"},{"code":"f1 = f2 (f3 (:)) []","dependencies":["f2 :: (t1 -> t2 -> t1) -> t1 -> [t2] -> t1","f3 :: (t1 -> t2 -> t3) -> t2 -> t1 -> t3"],"poly_type":"Parametric","signature":"f1 :: [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--reverse"},{"code":"f1 x = x `f2` f3","dependencies":["f2 :: T1 t1 => t1 -> t1 -> t1","f3 :: T1 t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--sqrt"},{"code":"f1 = f2 `f4` f3","dependencies":["f2 :: T2 t1 => Rational -> t1","f3 :: T1 t1 => t1 -> Rational","f4 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--realToFrac"},{"code":"f1 LT = f2 f1 EQ = f3 f1 GT = f4","dependencies":["data T1 = LT | EQ | GT","f2 :: T2","f3 :: T2","f4 :: T2"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--fromEnum-Ordering"},{"code":"f1 x = let (n, r) = f2 x m = if r `f8` f10 then n `f5` f11 else n `f4` f11 in case f6 (f3 r `f5` f9) of f12 -> n f10 -> if f7 n then n else m f11 -> m _ -> error \"Bad value\"","dependencies":["f2 :: (T1 t1, T2 t2) => t1 -> (t2, t1)","f3 :: Num t1 => t1 -> t1","f4 :: Num t1 => t1 -> t1 -> t1","f5 :: Num t1 => t1 -> t1 -> t1","f6 :: Num t1 => t1 -> t1","f7 :: T2 t1 => t1 -> Bool","f8 :: Ord t1 => t1 -> t1 -> Bool","f9 :: Fractional t1 => t1","f10 :: Num t1 => t1","f11 :: Num t1 => t1","f12 :: Num t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--round"},{"code":"n `f1` d = f2 (f3 n d)","dependencies":["f2 :: (t1, t2) -> t2","f3 :: T1 t1 => t1 -> t1 -> (t1, t1)"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--rem"},{"code":"f1 f x = x : f1 f (f x)","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> t1) -> t1 -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--iterate"},{"code":"f1 n xs = (f2 n xs, f3 n xs)","dependencies":["f2 :: T1 -> [t1] -> [t1]","f3 :: T1 -> [t1] -> [t1]"],"poly_type":"Parametric","signature":"f1 :: T1 -> [t1] -> ([t1], [t1])","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--splitAt"},{"code":"x `f1` y = f2 (x `f3` y)","dependencies":["f2 :: T2 -> T2","f3 :: T1 t1 => t1 -> t1 -> T2"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> T2","task_id":"data/repos/ghc/libraries/ghc-prim/GHC/Classes.hs--(/=)"},{"code":"f1 s = f2 f3 s","dependencies":["f2 :: Handle -> T1 -> T2 ","f3 :: Handle"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2 ","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/System/IO.hs--putStrLn"},{"code":"f1 [] = f5 f1 ws = f3 (\\ w s -> w `f2` f4 : s) ws","dependencies":["f2 :: [t1] -> [t1] -> [t1]","f3 :: Foldable t1 => (t2 -> t2 -> t2) -> t1 t2 -> t2","f4 :: Char","f5 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: [T1] -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/OldList.hs--unwords"},{"code":"f1 f x = (f2) (f3 f x)","dependencies":["f2 :: t1 (t2 -> t3) -> t1 t2 -> t1 t3","f3 :: (t1 -> t2) -> t3 t1 -> t3 t2"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => (t2 -> t3 -> t4) -> t1 t2 -> t1 t3 -> t1 t4","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--liftA2"},{"code":"f1 x = f2 x :% f3","dependencies":["f2 :: T1 -> Integer","f3 :: Integer","data Ratio a = !a :% !a","type Rational = Ratio Integer"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--toRational-Int"},{"code":"f1 = f2","dependencies":["f2 :: T1 -> T2"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--fromEnum-Char"},{"code":"f1 = f2 []","dependencies":["f2 :: T1 t1 => [t1] -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--mempty"},{"code":"x `f1` y = f2 (f3 x `f4` y)","dependencies":["f2 :: T1 t1 => t1 -> t1","f3 :: T1 t1 => t1 -> t1","f4 :: Num t1 => t1 -> t1 -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--(**)"},{"code":"f1 p = f2 (f3 `f4` p)","dependencies":["f2 :: (t1 -> T1) -> [t1] -> ([t1], [t1])","f3 :: T1 -> T1","f4 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2"],"poly_type":"Parametric","signature":"f1 :: (t1 -> T1) -> [t1] -> ([t1], [t1])","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--break"},{"code":"f1 _ [] = [] f1 _ [x] = [x] f1 f (x : xs) = f x q : qs where qs@(q : _) = f1 f xs","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> t1 -> t1) -> [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--scanr1"},{"code":"x `f1` y = case f2 x y of GT -> False _ -> True","dependencies":["f2 :: T1 t1 => t1 -> t1 -> Ordering","data Ordering = LT | EQ | GT"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> T2","task_id":"data/repos/ghc/libraries/ghc-prim/GHC/Classes.hs--(<=)"},{"code":"f1 x = x `f2` f3","dependencies":["f2 :: Ord t1 => t1 -> t1 -> t1","f3 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--succ-Int"},{"code":"n `f1` d = f2 (f3 n d)","dependencies":["f2 :: (t1, t2) -> t1","f3 :: T1 t1 => t1 -> t1 -> (t1, t1)"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--div"},{"code":"f1 x = if r `f4` f5 then n `f3` f6 else n where (n, r) = f2 x","dependencies":["f2 :: (T1 t1, T2 t2) => t1 -> (t2, t1)","f3 :: Num t1 => t1 -> t1 -> t1","f4 :: Ord t1 => t1 -> t1 -> Bool","f5 :: Num t1 => t1","f6 :: Num t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--ceiling"},{"code":"f1 = f2 f3","dependencies":["f2 :: t1 -> (t2 -> t1) -> T2 t2 -> t1","f3 :: T1 t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => (t2 -> t1) -> T2 t2 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--foldMap-Maybe"},{"code":"f1 s = case f3 f4 s of f5 -> [] s' -> w : f1 s'' where (w, s'') = f2 f4 s'","dependencies":["f2 :: (t1 -> Bool) -> [t1] -> ([t1], [t1])","f3 :: (t1 -> Bool) -> [t1] -> [t1]","f4 :: Char -> Bool","f5 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> [T1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/OldList.hs--words"},{"code":"f1 s = f2 f3 s","dependencies":["f2 :: Handle -> T1 -> T2 ","f3 :: Handle"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2 ","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/System/IO.hs--putStr"},{"code":"f1 xs = f2 xs f3","dependencies":["f2 :: [t1] -> T1 -> T1","f3 :: Num t1 => t1"],"poly_type":"Parametric","signature":"f1 :: [t1] -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--length"},{"code":"f1 n x = f2 n (f3 x)","dependencies":["f2 :: T1 -> [t1] -> [t1]","f3 :: t1 -> [t1]"],"poly_type":"Parametric","signature":"f1 :: T1 -> t1 -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--replicate"},{"code":"f1 n = if n `f2` f4 then n else f3 n","dependencies":["f2 :: Ord t1 => t1 -> t1 -> Bool","f3 :: Num t1 => t1 -> t1","f4 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Num.hs--abs-Int"},{"code":"f1 f p = f (f3 p) (f2 p)","dependencies":["f2 :: (t1, t2) -> t2","f3 :: (t1, t2) -> t1"],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2 -> t3) -> ((t1, t2) -> t3)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Tuple.hs--uncurry"},{"code":"f1 x = if m `f5` f6 then f6 else n `f4` floatDigit where (m, n) = f2 x","dependencies":["f2 :: T1 t1 => t1 -> (Integer, T2)","f3 :: T1 t1 => t1 -> T2","f4 :: Num t1 => t1 -> t1 -> t1","f5 :: Eq t1 => t1 -> t1 -> Bool","f6 :: Num t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--exponent"},{"code":"f1 (x :% y) = (f4 (f3 q), r :% y) where (q, r) = f2 x y","dependencies":["f2 :: T2 t1 => t1 -> t1 -> (t1, t1)","f3 :: T2 => t1 -> Integer","f4 :: T2 => Integer -> t1","data Ratio a = !a :% !a","type Rational = Ratio Integer"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 -> (t2, t1)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--properFraction"},{"code":"f1 x = (f2, x)","dependencies":["f2 :: t1"],"poly_type":"Parametric","signature":"f1 :: t1 -> (t2, t1)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--pure-(,)"},{"code":"f1 ls s = f2 f3 ls s","dependencies":["f2 :: (t1 -> T2) -> [t1] -> T2","f3 :: T1 t1 => t1 -> T2","type ShowS = String -> String"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => [t1] -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Show.hs--showList"},{"code":"f1 _key [] = Nothing f1 key ((x, y) : xys) | key `f2` x = Just y | otherwise = f1 key xys","dependencies":["data T2 a = Nothing | Just a","f2 :: T1 t1 => t1 -> t1 -> Bool"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1) => t1 -> [(t1, t2)] -> T2 t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--lookup"},{"code":"f1 x = 0 `f3` f2 x","dependencies":["f2 :: T1 -> Int","f3 :: Eq t1 => t1 -> t1 -> T2"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--isInfinite-Double"},{"code":"xs `f1` n | n `f2` f4 = error \"negative index\" [] `f1` _ = error \"too large\" (x : _) `f1` f4 = x (_ : xs) `f1` n = xs `f1` (n `f3` f5)","dependencies":["f2 :: Ord t1 => t1 -> t1 -> Bool","f3 :: Num t1 => t1 -> t1 -> t1","f4 :: T1","f5 :: T1"],"poly_type":"Parametric","signature":"f1 :: [t1] -> T1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--(!!)"},{"code":"f1 f = f2 `f3` f4 f","dependencies":["f2 :: (T1 t1, T2 t2) => t1 (t2 t3) -> t2 (t1 t3)","f3 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2","f4 :: Functor t1 => (t2 -> t3) -> t1 t2 -> t1 t3"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => (t3 -> t2 t4) -> t1 t3 -> t2 (t1 t4)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Traversable.hs--traverse"},{"code":"f1 f [] = [] f1 f (x : xs) | f x = x : f1 f xs | otherwise = f1 f xs","dependencies":[],"poly_type":"Parametric","signature":"f1 :: (t1 -> T1) -> [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--filter"},{"code":"x `f1` y = f2 (x `f3` y)","dependencies":["f2 :: T2 -> T2","f3 :: T1 t1 => t1 -> t1 -> T2"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> T2","task_id":"data/repos/ghc/libraries/ghc-prim/GHC/Classes.hs--(==)"},{"code":"f1 False = f2 f1 True = f3","dependencies":["data T1 = False | True","f2 :: T2","f3 :: T2"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--fromEnum-Bool"},{"code":"f1 n = f2 n :% f3","dependencies":["f2 :: T1 -> Integer","f3 :: Integer","data Ratio a = !a :% !a","type Rational = Ratio Integer"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--toRational-Natural"},{"code":"f1 x = f2 x `f4` f3 x","dependencies":["f2 :: T1 t1 => t1 -> t1","f3 :: T1 t1 => t1 -> t1","f4 :: Fractional t1 => t1 -> t1 -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--tan"},{"code":"(f1) = f2 `f4` f3","dependencies":["f2 :: T1 t1 => (t2 -> t3) -> t1 t2 -> t1 t3","f3 :: t1 -> t2 -> t1","f4 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t2 -> t1 t3 -> t1 t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--(<$)"},{"code":"f1 xss = [x | xs <- xss, x <- xs]","dependencies":[],"poly_type":"Parametric","signature":"f1 :: [[t1]] -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--mconcat-[]"},{"code":"f1 f (_, y) = f y","dependencies":[],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => (t2 -> t1) -> (t3, t2) -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--foldMap-(,)"},{"code":"f1 x y = gcd' (f2 x) (f2 y) where gcd' a f4 = a gcd' a b = gcd' b (a `f3` b)","dependencies":["f2 :: Num t1 => t1 -> t1","f3 :: T1 t1 => t1 -> t1 -> t1","f4 :: Num t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--gcd"},{"code":"f1 f z t = f2 (f3 (Endo `f4` f) t) z","dependencies":["f2 :: Endo t1 -> t1 -> t1","f3 :: Monoid t1 => (t2 -> t1) -> t3 t2 -> t1","f4 :: Coercible t1 t2 => (t1 -> t2) -> (t3 -> t1) -> (t3 -> t2)"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => (t2 -> t3 -> t3) -> t3 -> t1 t2 -> t3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--foldr"},{"code":"f1 f3 = f2","dependencies":["f2 :: T2","f3 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--floatRadix-Float"},{"code":"f1 = f2","dependencies":["f2 :: (t1 -> t2) -> [t1] -> [t2]"],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2) -> [t1] -> [t2]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--fmap-[]"},{"code":"f1 _ [] = [] f1 n (x : xs) = x : f1 (n `f3` f5) xs f1 n _ | n `f2` f4 = []","dependencies":["f2 :: Ord t1 => t1 -> t1 -> Bool","f3 :: Num t1 => t1 -> t1 -> t1","f4 :: T1","f5 :: T1"],"poly_type":"Parametric","signature":"f1 :: T1 -> [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--take"},{"code":"f1 p = f4 `f3` f2 (All `f3` p)","dependencies":["f2 :: Monoid t1 => (t2 -> t1) -> t3 t2 -> t1","f3 :: Coercible t1 t2 => (t1 -> t2) -> (t3 -> t1) -> (t3 -> t2)","f4 :: All -> T2","newtype All = All{f4 :: Bool}"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => (t2 -> T2) -> t1 t2 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--all"},{"code":"f1 n | n `f2` f3 = LT | n `f2` f4 = EQ | n `f2` f5 = GT | otherwise = error \"bad argument\"","dependencies":["data T2 = LT | EQ | GT","f2 :: Eq t1 => t1 -> t1 -> Bool","f3 :: T1","f4 :: T1","f5 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--toEnum-Ordering"},{"code":"f1 = f2 `f3` (f4 f6) `f3` f5","dependencies":["f2 :: T1 t1 => Int -> t1","f3 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2","f4 :: Num t1 => t1 -> t1 -> t1","f5 :: T1 t1 => t1 -> Int","f6 :: Int"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--pred"},{"code":"a1 `f1` a2 = (f2 `f3` a1) `f4` a2","dependencies":["f2 :: t1 -> t1","f3 :: Functor t1 => t2 -> t1 t3 -> t1 t2","f4 :: T1 t1 => t1 (t2 -> t3) -> t1 t2 -> t1 t3"],"poly_type":"Ad-hoc ","signature":"f1 :: T1 t1 => t1 t2 -> t1 t3 -> t1 t3","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--(*>)"},{"code":"f1 (_ : xs) = f1 xs f1 [] = error f1 [x] = x","dependencies":[],"poly_type":"Parametric","signature":"f1 :: [t1] -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--last"},{"code":"f1 (a : as) (b : bs) (c : cs) = (a, b, c) : f1 as bs cs f1 _ _ _ = []","dependencies":[],"poly_type":"Parametric","signature":"f1 :: [t1] -> [t2] -> [t3] -> [(t1, t2, t3)]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--zip3"},{"code":"f1 b p = if b then f2 f4 `f3` p `f3` f2 f5 else p","dependencies":["f2 :: Char -> T2","f3 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2","f4 :: Char","f5 :: Char","type ShowS = String -> String"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Show.hs--showParen"},{"code":"f1 x = x `f2` f3","dependencies":["f2 :: Num t1 => t1 -> t1 -> t1","f3 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--pred-Int"},{"code":"f1 f z t = f2 (f3 (f4 (Dual `f6` Endo `f6` f5 f) t)) z","dependencies":["f2 :: Endo t1 -> t1 -> t1","f3 :: Dual t1 -> t1","f4 :: Monoid t1 => (t2 -> t1) -> t3 t2 -> t1","newtype Dual a = Dual{f3 :: a}","newtype Endo a = Endo{f2 :: a -> a}","f5 :: (t1 -> t2 -> t3) -> t2 -> t1 -> t3","f6 :: (t1 -> t1) -> (t1 -> t1) -> (t1 -> t1)"],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2 -> t1) -> t1 -> t3 t2 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--foldl"},{"code":"f1 f6 _ = f6 f1 _ f6 = f6 f1 x y = f2 ((x `f5` (f3 x y)) `f4` y)","dependencies":["f2 :: Num t1 => t1 -> t1","f3 :: T1 t1 => t1 -> t1 -> t1","f4 :: Num t1 => t1 -> t1 -> t1","f5 :: T1 t1 => t1 -> t1 -> t1","f6 :: Num t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--lcm"},{"code":"f1 = f2 `f3` (f4 f6) `f3` f5","dependencies":["f2 :: T1 t1 => Int -> t1","f3 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2","f4 :: Num t1 => t1 -> t1 -> t1","f5 :: T1 t1 => t1 -> Int","f6 :: Int"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--succ"},{"code":"f1 = f2","dependencies":["f2 :: T1 -> T2"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Enum.hs--toEnum-Char"},{"code":"f1 f3 = f2 f3","dependencies":["f2 :: t1 -> t1","f3 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Num.hs--abs-Natural"},{"code":"f1 _ (Left x) = Left x f1 f (Right y) = Right (f y)","dependencies":["data T1 a b = Left a | Right b"],"poly_type":"Parametric","signature":"f1 :: (t1 -> t2) -> T1 t3 t1 -> T1 t3 t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Generics.hs--fmap-Either"},{"code":"f1 p = f4 `f3` f2 (Any `f3` p)","dependencies":["f2 :: Monoid t1 => (t2 -> t1) -> t3 t2 -> t1","f3 :: Coercible t1 t2 => (t1 -> t2) -> (t3 -> t1) -> (t3 -> t2)","f4 :: Any -> T2","newtype Any = Any{f4 :: Bool}"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => (t2 -> T2) -> t1 t2 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--any"},{"code":"f1 [] = error f1 xs = xs' where xs' = xs `f2` xs'","dependencies":["f2 :: [t1] -> [t1] -> [t1]"],"poly_type":"Parametric","signature":"f1 :: [t1] -> [t1]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--cycle"},{"code":"f1 = f2 f3","dependencies":["f2 :: (T1 t1, T2 t2) => (t3 -> t2 t4) -> t1 t3 -> t2 (t1 t4)","f3 :: t1 -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 (t2 t3) -> t2 (t1 t3)","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Traversable.hs--sequenceA"},{"code":"f1 (x : _) = x f1 [] = error \"empty\"","dependencies":[],"poly_type":"Parametric","signature":"f1 :: [t1] -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--head"},{"code":"f1 x = f4 `f3` f2 x","dependencies":["f2 :: T1 -> Int","f3 :: Eq t1 => t1 -> t1 -> T2","f4 :: Int"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--isInfinite-Float"},{"code":"(f1) = f2 f3","dependencies":["f2 :: T1 t1 => (t2 -> t3 -> t4) -> t1 t2 -> t1 t3 -> t1 t4","f3 :: t1 -> t2 -> t1"],"poly_type":"Ad-hoc ","signature":"f1 :: T1 t1 => t1 t2 -> t1 t3 -> t1 t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--(<*)"},{"code":"f1 x = f2 x f3","dependencies":["f2 :: (T1 t1) => t1 -> ShowS","type ShowS = String -> String","f3 :: T2"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Show.hs--show"},{"code":"f1 (a : as) (b : bs) = (a, b) : f1 as bs f1 [] _bs = [] f1 _as [] = []","dependencies":[],"poly_type":"Parametric","signature":"f1 :: [t1] -> [t2] -> [(t1, t2)]","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/List.hs--zip"},{"code":"f1 x = f3 `f2` x","dependencies":["f2 :: T1 t1 => t1 -> t1 -> t1","f3 :: T1 t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Num.hs--negate"},{"code":"n `f1` d = f2 (f3 n d)","dependencies":["f2 :: (t1, t2) -> t2","f3 :: T1 t1 => t1 -> t1 -> (t1, t1)"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--mod"},{"code":"f1 x = if r `f4` f5 then n `f3` f6 else n where (n, r) = f2 x","dependencies":["f2 :: (T1 t1, T2 t2) => t1 -> (t2, t1)","f3 :: Num t1 => t1 -> t1 -> t1","f4 :: Ord t1 => t1 -> t1 -> Bool","f5 :: Num t1 => t1","f6 :: Num t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: (T1 t1, T2 t2) => t1 -> t2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--floor"},{"code":"f1 x y = if x `f2` y then EQ else if x `f3` y then LT else GT","dependencies":["f2 :: Eq t1 => t1 -> t1 -> Bool","f3 :: T1 t1 => t1 -> t1 -> Bool","data T2 = LT | EQ | GT"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> T2","task_id":"data/repos/libraries/ghc-prim/GHC/Classes.hs--compare"},{"code":"f1 f txt = f3 f AppendMode (\\ hdl -> f2 hdl txt)","dependencies":["f2 :: Handle -> T2 -> T3 ","f3 :: T1 -> IOMode -> (Handle -> T3 t1) -> T3 t1","data IOMode = ReadMode | WriteMode | AppendMode | ReadWriteMode"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2 -> T3 ","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/System/IO.hs--appendFile"},{"code":"f1 x = f3 `f2` x","dependencies":["f2 :: Num t1 => t1 -> t1 -> t1","f3 :: T1"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Num.hs--negate-Int"},{"code":"f1 x y = f2 y `f3` f2 x","dependencies":["f2 :: T1 t1 => t1 -> t1","f3 :: Fractional t1 => t1 -> t1 -> t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => t1 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--logBase"},{"code":"f1 f12 x = x f1 f12 x = x f1 f12 x = x f1 k x | isFix = x | otherwise = f7 m (n `f5` f8 b k) where (m, n) = f9 x (l, h) = f3 x d = f2 x b = h - l `f5` f13 `f4` d isFix = x `f11` f12 || f10 x || f6 x","dependencies":["f2 :: T1 t1 => t1 -> T2","f3 :: T1 t1 => t1 -> (T2, T2)","f4 :: Num t1 => t1 -> t1 -> t1","f5 :: Num t1 => t1 -> t1 -> t1","f6 :: T1 t1 => t1 -> Bool","f7 :: T1 t1 => Integer -> T2 -> t1","f8 :: (Ord t1) => (t1, t1) -> t1 -> t1","f9 :: T1 t1 => t1 -> (Integer, T2)","f10 :: T1 t1 => t1 -> Bool","f11 :: Eq t1 => t1 -> t1 -> Bool","f12 :: T2","f13 :: T2"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => T2 -> t1 -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Float.hs--scaleFloat"},{"code":"f1 x = x :% f2","dependencies":["f2 :: T1","data Ratio a = !a :% !a","type Rational = Ratio Integer"],"poly_type":"Monomorphic","signature":"f1 :: T1 -> T2","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Real.hs--toRational-Integer"},{"code":"f1 = f2 f3 f4","dependencies":["f2 :: (t1 -> t2 -> t2) -> t2 -> [t1] -> t2","f3 :: T1 t1 => t1 -> t1 -> t1","f4 :: T1 t1 => t1"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => [t1] -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Base.hs--mconcat"},{"code":"f1 = (f2 f3) `f3` f4","dependencies":["f2 :: T1 t1 => [t1] -> t1","f3 :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2","f4 :: (t1 -> t2) -> [t1] -> [t2]"],"poly_type":"Ad-hoc","signature":"f1 :: T1 t1 => (t2 -> t1) -> [t2] -> t1","task_id":"data/repos/ghc-internal-9.1001.0/src/GHC/Internal/Data/Foldable.hs--foldMap-List"}]