Skip to content

Commit 5f519e6

Browse files
committed
Remove unnecessary (Sized *) constraints.
1 parent 6004065 commit 5f519e6

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

Data/Sequence.hs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -640,13 +640,13 @@ deep :: Sized a => Digit a -> FingerTree (Node a) -> Digit a -> Finge
640640
deep pr m sf = Deep (size pr + size m + size sf) pr m sf
641641

642642
{-# INLINE pullL #-}
643-
pullL :: Sized a => Int -> FingerTree (Node a) -> Digit a -> FingerTree a
643+
pullL :: Int -> FingerTree (Node a) -> Digit a -> FingerTree a
644644
pullL s m sf = case viewLTree m of
645645
Nothing2 -> digitToTree' s sf
646646
Just2 pr m' -> Deep s (nodeToDigit pr) m' sf
647647

648648
{-# INLINE pullR #-}
649-
pullR :: Sized a => Int -> Digit a -> FingerTree (Node a) -> FingerTree a
649+
pullR :: Int -> Digit a -> FingerTree (Node a) -> FingerTree a
650650
pullR s pr m = case viewRTree m of
651651
Nothing2 -> digitToTree' s pr
652652
Just2 m' sf -> Deep s pr m' (nodeToDigit sf)
@@ -1840,7 +1840,7 @@ initsNode (Node3 s a b c) = Node3 s (One a) (Two a b) (Three a b c)
18401840
{-# SPECIALIZE tailsTree :: (FingerTree (Node a) -> Node b) -> FingerTree (Node a) -> FingerTree (Node b) #-}
18411841
-- | Given a function to apply to tails of a tree, applies that function
18421842
-- to every tail of the specified tree.
1843-
tailsTree :: (Sized a, Sized b) => (FingerTree a -> b) -> FingerTree a -> FingerTree b
1843+
tailsTree :: Sized a => (FingerTree a -> b) -> FingerTree a -> FingerTree b
18441844
tailsTree _ Empty = Empty
18451845
tailsTree f (Single x) = Single (f (Single x))
18461846
tailsTree f (Deep n pr m sf) =
@@ -1855,7 +1855,7 @@ tailsTree f (Deep n pr m sf) =
18551855
{-# SPECIALIZE initsTree :: (FingerTree (Node a) -> Node b) -> FingerTree (Node a) -> FingerTree (Node b) #-}
18561856
-- | Given a function to apply to inits of a tree, applies that function
18571857
-- to every init of the specified tree.
1858-
initsTree :: (Sized a, Sized b) => (FingerTree a -> b) -> FingerTree a -> FingerTree b
1858+
initsTree :: Sized a => (FingerTree a -> b) -> FingerTree a -> FingerTree b
18591859
initsTree _ Empty = Empty
18601860
initsTree f (Single x) = Single (f (Single x))
18611861
initsTree f (Deep n pr m sf) =

0 commit comments

Comments
 (0)