From a5a349ba23e50e4b0e7b64046b4c40e4e90a05eb Mon Sep 17 00:00:00 2001 From: Patrick Thomson Date: Thu, 20 Jun 2019 12:59:40 -0400 Subject: [PATCH] Remove unused liftCons5 function. --- test/Data/Functor/Listable.hs | 7 ------- 1 file changed, 7 deletions(-) diff --git a/test/Data/Functor/Listable.hs b/test/Data/Functor/Listable.hs index 9c31ec66f..5d9dbf6a5 100644 --- a/test/Data/Functor/Listable.hs +++ b/test/Data/Functor/Listable.hs @@ -104,13 +104,6 @@ liftCons4 :: [Tier a] -> [Tier b] -> [Tier c] -> [Tier d] -> (a -> b -> c -> d - liftCons4 tiers1 tiers2 tiers3 tiers4 f = mapT (uncurry4 f) (tiers1 >< tiers2 >< tiers3 >< tiers4) `addWeight` 1 where uncurry4 f (a, (b, (c, d))) = f a b c d --- | Lifts a quinary constructor to a list of tiers, given lists of tiers for its arguments. --- --- Commonly used in the definition of 'Listable1' and 'Listable2' instances. -_liftCons5 :: [Tier a] -> [Tier b] -> [Tier c] -> [Tier d] -> [Tier e] -> (a -> b -> c -> d -> e -> f) -> [Tier f] -_liftCons5 tiers1 tiers2 tiers3 tiers4 tiers5 f = mapT (uncurry5 f) (tiers1 >< tiers2 >< tiers3 >< tiers4 >< tiers5) `addWeight` 1 - where uncurry5 f (a, (b, (c, (d, e)))) = f a b c d e - -- | Lifts a senary constructor to a list of tiers, given lists of tiers for its arguments. -- -- Commonly used in the definition of 'Listable1' and 'Listable2' instances.