twin/xmonad-contrib
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad-contrib.git synced 2025-05-19 11:30:22 -07:00
Code Issues Packages Projects Releases Wiki Activity

Use newtype deriving for Invisible

Browse Source
This commit is contained in:
Spencer Janssen 2007-10-01 15:15:55 +00:00
parent 39c272d85f
commit 59e4cc28f7
1 changed files with 3 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
Invisible.hs
View File

@ -1,3 +1,5 @@
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
----------------------------------------------------------------------------- -----------------------------------------------------------------------------
-- | -- |
-- Module : XMonadContrib.Invisible -- Module : XMonadContrib.Invisible
@ -23,7 +25,7 @@ module XMonadContrib.Invisible (
-- $usage -- $usage
-- A data type to store the layout state -- A data type to store the layout state
data Invisible m a = I (m a) newtype Invisible m a = I (m a) deriving (Monad, Functor)
instance (Functor m, Monad m) => Read (Invisible m a) where instance (Functor m, Monad m) => Read (Invisible m a) where
readsPrec _ s = [(fail "Read Invisible", s)] readsPrec _ s = [(fail "Read Invisible", s)]
@ -31,14 +33,6 @@ instance (Functor m, Monad m) => Read (Invisible m a) where
instance Monad m => Show (Invisible m a) where instance Monad m => Show (Invisible m a) where
show _ = "" show _ = ""
instance (Functor m, Monad m) => Monad (Invisible m) where
return a = I (return a)
m >>= f = m >>= f
fail s = I (fail s)
instance (Functor m, Monad m) => Functor (Invisible m) where
fmap f (I x) = I (fmap f x)
whenIJust :: (Monad m) => Invisible Maybe a -> (a -> m ()) -> m () whenIJust :: (Monad m) => Invisible Maybe a -> (a -> m ()) -> m ()
whenIJust (I (Just x)) f = f x whenIJust (I (Just x)) f = f x
whenIJust (I Nothing) _ = return () whenIJust (I Nothing) _ = return ()