diff options
| author | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-07-24 17:22:57 +0200 |
|---|---|---|
| committer | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-07-24 17:22:57 +0200 |
| commit | cec3703f08cefe8271709a783516efff72bb13e4 (patch) | |
| tree | cad8724b1eea4620df83e0ba34ce995cb36cf207 | |
| parent | 36b8561f5e83e68b1c2babc9f56c7d91fa5386e4 (diff) | |
| download | metatile-cec3703f08cefe8271709a783516efff72bb13e4.tar metatile-cec3703f08cefe8271709a783516efff72bb13e4.zip | |
Remove unnecessary Integral constraints
darcs-hash:20070724152257-a5988-508cf9ad44d8668d1cb03865a6e28b9454ce6cb5
| -rw-r--r-- | StackSet.hs | 4 |
1 files 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 |