From 6de39ed25a10ecc4a9fa2a933cd214296228e57c Mon Sep 17 00:00:00 2001 From: David Roundy Date: Thu, 20 Sep 2007 19:45:29 +0200 Subject: add Read instance to Layout. darcs-hash:20070920174529-72aca-b1cf11419d5cccbf67edbc3a7bbb356502e9186d --- Operations.hs | 15 ++++++++++----- XMonad.hs | 4 +++- 2 files changed, 13 insertions(+), 6 deletions(-) diff --git a/Operations.hs b/Operations.hs index 1b642ed..1cb0201 100644 --- a/Operations.hs +++ b/Operations.hs @@ -351,14 +351,14 @@ instance Message IncMasterN -- simple fullscreen mode, just render all windows fullscreen. -- a plea for tuple sections: map . (,sc) -data Full a = Full deriving Show +data Full a = Full deriving ( Show, Read ) instance Layout Full a where doLayout Full sc (W.Stack f _ _) = return ([(f, sc)], Nothing) modifyLayout Full _ = return Nothing -- no changes -- -- The tiling mode of xmonad, and its operations. -- -data Tall a = Tall Int Rational Rational deriving Show +data Tall a = Tall Int Rational Rational deriving ( Show, Read ) instance Layout Tall a where doLayout (Tall nmaster _ frac) r = return . (\x->(x,Nothing)) . @@ -375,10 +375,15 @@ mirrorRect :: Rectangle -> Rectangle mirrorRect (Rectangle rx ry rw rh) = (Rectangle ry rx rh rw) -- | Mirror a layout, compute its 90 degree rotated form. -data Mirror a = forall l. Layout l a => Mirror (l a) -instance Show (Mirror a) where +data Mirror l a = Layout l a => Mirror (l a) +instance Layout l a => Show (Mirror l a) where show (Mirror l) = "Mirror "++show l -instance Layout Mirror a where +instance Layout l a => Read (Mirror l a) where + readsPrec _ s = case take (length "Mirror ") s of + "Mirror " -> map (\ (l,s') -> (Mirror l,s')) $ reads $ drop (length "Mirror ") s + _ -> [] + +instance Layout l a => Layout (Mirror l) a where doLayout (Mirror l) r s = do (wrs, ml') <- doLayout l (mirrorRect r) s return (map (second mirrorRect) wrs, Mirror `fmap` ml') modifyLayout (Mirror l) = fmap (fmap Mirror) . modifyLayout l diff --git a/XMonad.hs b/XMonad.hs index 56d7a00..a9253c9 100644 --- a/XMonad.hs +++ b/XMonad.hs @@ -134,8 +134,10 @@ atom_WM_STATE = getAtom "WM_STATE" data SomeLayout a = forall l. Layout l a => SomeLayout (l a) instance Show (SomeLayout a) where show (SomeLayout l) = show l +instance Read (SomeLayout a) where + readsPrec _ _ = [] -- We can't read an existential type!!! -class Show (layout a) => Layout layout a where +class (Show (layout a), Read (layout a)) => Layout layout a where doLayout :: layout a -> Rectangle -> Stack a -> X ([(a, Rectangle)], Maybe (layout a)) modifyLayout :: layout a -> SomeMessage -> X (Maybe (layout a)) -- cgit v1.2.3