From ed3b51f85d5c36b334282ed34ecd5ca87c29a4a2 Mon Sep 17 00:00:00 2001 From: Spencer Janssen Date: Tue, 24 Jul 2007 17:22:57 +0200 Subject: Remove unnecessary Integral constraints darcs-hash:20070724152257-a5988-508cf9ad44d8668d1cb03865a6e28b9454ce6cb5.gz --- StackSet.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/StackSet.hs b/StackSet.hs index 6097893..3951ec2 100644 --- a/StackSet.hs +++ b/StackSet.hs @@ -359,7 +359,7 @@ reverseStack (Stack t ls rs) = Stack t rs ls -- | /O(1) on current window, O(n) in general/. Focus the window 'w', -- and set its workspace as current. -- -focusWindow :: (Integral i, Eq s, Eq a) => a -> StackSet i a s sd -> StackSet i a s sd +focusWindow :: (Eq s, Eq a, Eq i) => a -> StackSet i a s sd -> StackSet i a s sd focusWindow w s | Just w == peek s = s | otherwise = maybe s id $ do n <- findIndex w s @@ -473,7 +473,7 @@ swapMaster = modify' $ \c -> case c of -- The actual focused workspace doesn't change. If there is -- no -- element on the current stack, the original stackSet is returned. -- -shift :: (Ord a, Eq s, Integral i) => i -> StackSet i a s sd -> StackSet i a s sd +shift :: (Ord a, Eq s, Eq i) => i -> StackSet i a s sd -> StackSet i a s sd shift n s = if n `tagMember` s && n /= curtag then maybe s go (peek s) else s where go w = view curtag . insertUp w . view n . delete w $ s -- cgit v1.2.3