Sophie

Sophie

distrib > Fedora > 18 > i386 > by-pkgid > 16551e78563a5b49ff9624ee1c8b8101 > files > 1307

ghc-xmonad-contrib-devel-0.11-1.1.fc18.i686.rpm

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://code.haskell.org/~malcolm/hscolour/ -->
<title>XMonad/Layout/Drawer.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE MultiParamTypeClasses, TypeSynonymInstances, FlexibleInstances, FlexibleContexts #-}</span>
<a name="line-2"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span>
<a name="line-3"></a><span class='hs-comment'>-- |</span>
<a name="line-4"></a><span class='hs-comment'>-- Module      :  XMonad.Layout.Drawer</span>
<a name="line-5"></a><span class='hs-comment'>-- Copyright   :  (c) 2009 Max Rabkin</span>
<a name="line-6"></a><span class='hs-comment'>-- License     :  BSD-style (see xmonad/LICENSE)</span>
<a name="line-7"></a><span class='hs-comment'>--</span>
<a name="line-8"></a><span class='hs-comment'>-- Maintainer  :  max.rabkin@gmail.com</span>
<a name="line-9"></a><span class='hs-comment'>-- Stability   :  unstable</span>
<a name="line-10"></a><span class='hs-comment'>-- Portability :  unportable</span>
<a name="line-11"></a><span class='hs-comment'>--</span>
<a name="line-12"></a><span class='hs-comment'>-- A layout modifier that puts some windows in a "drawer" which retracts and</span>
<a name="line-13"></a><span class='hs-comment'>-- expands depending on whether any window in it has focus.</span>
<a name="line-14"></a><span class='hs-comment'>--</span>
<a name="line-15"></a><span class='hs-comment'>-- Useful for music players, tool palettes, etc.</span>
<a name="line-16"></a><span class='hs-comment'>--</span>
<a name="line-17"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span>
<a name="line-18"></a>
<a name="line-19"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>XMonad</span><span class='hs-varop'>.</span><span class='hs-conid'>Layout</span><span class='hs-varop'>.</span><span class='hs-conid'>Drawer</span>
<a name="line-20"></a>    <span class='hs-layout'>(</span> <span class='hs-comment'>-- * Usage</span>
<a name="line-21"></a>      <span class='hs-comment'>-- $usage</span>
<a name="line-22"></a>
<a name="line-23"></a>      <span class='hs-comment'>-- * Drawers</span>
<a name="line-24"></a>      <span class='hs-varid'>simpleDrawer</span>
<a name="line-25"></a>    <span class='hs-layout'>,</span> <span class='hs-varid'>drawer</span>
<a name="line-26"></a>
<a name="line-27"></a>      <span class='hs-comment'>-- * Placing drawers</span>
<a name="line-28"></a>      <span class='hs-comment'>-- The drawer can be placed on any side of the screen with these functions</span>
<a name="line-29"></a>    <span class='hs-layout'>,</span> <span class='hs-varid'>onLeft</span><span class='hs-layout'>,</span> <span class='hs-varid'>onTop</span><span class='hs-layout'>,</span> <span class='hs-varid'>onRight</span><span class='hs-layout'>,</span> <span class='hs-varid'>onBottom</span>
<a name="line-30"></a>
<a name="line-31"></a>    <span class='hs-layout'>,</span> <span class='hs-keyword'>module</span> <span class='hs-conid'>XMonad</span><span class='hs-varop'>.</span><span class='hs-conid'>Util</span><span class='hs-varop'>.</span><span class='hs-conid'>WindowProperties</span>
<a name="line-32"></a>
<a name="line-33"></a>    <span class='hs-layout'>,</span> <span class='hs-conid'>Drawer</span><span class='hs-layout'>,</span> <span class='hs-conid'>Reflected</span>
<a name="line-34"></a>    <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-35"></a>
<a name="line-36"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>XMonad</span>
<a name="line-37"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>XMonad</span><span class='hs-varop'>.</span><span class='hs-conid'>Layout</span><span class='hs-varop'>.</span><span class='hs-conid'>LayoutModifier</span>
<a name="line-38"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>XMonad</span><span class='hs-varop'>.</span><span class='hs-conid'>Util</span><span class='hs-varop'>.</span><span class='hs-conid'>WindowProperties</span>
<a name="line-39"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>XMonad</span><span class='hs-varop'>.</span><span class='hs-conid'>StackSet</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>S</span>
<a name="line-40"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>XMonad</span><span class='hs-varop'>.</span><span class='hs-conid'>Layout</span><span class='hs-varop'>.</span><span class='hs-conid'>Reflect</span>
<a name="line-41"></a>
<a name="line-42"></a><span class='hs-comment'>-- $usage</span>
<a name="line-43"></a><span class='hs-comment'>-- To use this module, add the following import to @~\/.xmonad\/xmonad.hs@:</span>
<a name="line-44"></a><span class='hs-comment'>--</span>
<a name="line-45"></a><span class='hs-comment'>-- &gt; import XMonad.Layout.Drawer</span>
<a name="line-46"></a><span class='hs-comment'>--</span>
<a name="line-47"></a><span class='hs-comment'>-- &gt; myLayout = drawer `onTop` (Tall 1 0.03 0.5) ||| Full ||| RandomOtherLayout...</span>
<a name="line-48"></a><span class='hs-comment'>-- &gt;     where</span>
<a name="line-49"></a><span class='hs-comment'>-- &gt;         drawer = simpleDrawer 0.01 0.3 (ClassName "Rhythmbox" `Or` ClassName "Xchat")</span>
<a name="line-50"></a><span class='hs-comment'>-- &gt;</span>
<a name="line-51"></a><span class='hs-comment'>-- &gt; main = xmonad defaultConfig { layoutHook = myLayout }</span>
<a name="line-52"></a><span class='hs-comment'>--</span>
<a name="line-53"></a><span class='hs-comment'>-- This will place the Rhythmbox and Xchat windows in at the top of the screen</span>
<a name="line-54"></a><span class='hs-comment'>-- only when using the 'Tall' layout.  See "XMonad.Util.WindowProperties" for</span>
<a name="line-55"></a><span class='hs-comment'>-- more information on selecting windows.</span>
<a name="line-56"></a>
<a name="line-57"></a><a name="Drawer"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Drawer</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Drawer</span> <span class='hs-conid'>Rational</span> <span class='hs-conid'>Rational</span> <span class='hs-conid'>Property</span> <span class='hs-layout'>(</span><span class='hs-varid'>l</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span>
<a name="line-58"></a>    <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Read</span><span class='hs-layout'>,</span> <span class='hs-conid'>Show</span><span class='hs-layout'>)</span>
<a name="line-59"></a>
<a name="line-60"></a><a name="partitionM"></a><span class='hs-comment'>-- | filter : filterM :: partition : partitionM</span>
<a name="line-61"></a><span class='hs-definition'>partitionM</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Monad</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>=&gt;</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>m</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>m</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-62"></a><span class='hs-definition'>partitionM</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-conid'>[]</span><span class='hs-layout'>,</span> <span class='hs-conid'>[]</span><span class='hs-layout'>)</span>
<a name="line-63"></a><span class='hs-definition'>partitionM</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-64"></a>    <span class='hs-varid'>b</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>f</span> <span class='hs-varid'>x</span>
<a name="line-65"></a>    <span class='hs-layout'>(</span><span class='hs-varid'>ys</span><span class='hs-layout'>,</span> <span class='hs-varid'>zs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>partitionM</span> <span class='hs-varid'>f</span> <span class='hs-varid'>xs</span>
<a name="line-66"></a>    <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>b</span>
<a name="line-67"></a>                <span class='hs-keyword'>then</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>ys</span><span class='hs-layout'>,</span> <span class='hs-varid'>zs</span><span class='hs-layout'>)</span>
<a name="line-68"></a>                <span class='hs-keyword'>else</span> <span class='hs-layout'>(</span><span class='hs-varid'>ys</span><span class='hs-layout'>,</span> <span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>zs</span><span class='hs-layout'>)</span>
<a name="line-69"></a>
<a name="line-70"></a><a name="instance%20LayoutModifier%20(Drawer%20l)%20Window"></a><span class='hs-keyword'>instance</span> <span class='hs-layout'>(</span><span class='hs-conid'>LayoutClass</span> <span class='hs-varid'>l</span> <span class='hs-conid'>Window</span><span class='hs-layout'>,</span> <span class='hs-conid'>Read</span> <span class='hs-layout'>(</span><span class='hs-varid'>l</span> <span class='hs-conid'>Window</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=&gt;</span> <span class='hs-conid'>LayoutModifier</span> <span class='hs-layout'>(</span><span class='hs-conid'>Drawer</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-conid'>Window</span> <span class='hs-keyword'>where</span>
<a name="line-71"></a>    <span class='hs-varid'>modifyLayout</span> <span class='hs-layout'>(</span><span class='hs-conid'>Drawer</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>rb</span> <span class='hs-varid'>p</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-varid'>ws</span> <span class='hs-varid'>rect</span> <span class='hs-keyglyph'>=</span>
<a name="line-72"></a>        <span class='hs-keyword'>case</span> <span class='hs-varid'>stack</span> <span class='hs-varid'>ws</span> <span class='hs-keyword'>of</span>
<a name="line-73"></a>            <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>runLayout</span> <span class='hs-varid'>ws</span> <span class='hs-varid'>rect</span>
<a name="line-74"></a>            <span class='hs-conid'>Just</span> <span class='hs-varid'>stk</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Stack</span> <span class='hs-layout'>{</span> <span class='hs-varid'>up</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>up_</span><span class='hs-layout'>,</span> <span class='hs-varid'>down</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>down_</span><span class='hs-layout'>,</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>focus</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>w</span> <span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-keyword'>do</span>
<a name="line-75"></a>                    <span class='hs-layout'>(</span><span class='hs-varid'>upD</span><span class='hs-layout'>,</span> <span class='hs-varid'>upM</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>partitionM</span> <span class='hs-layout'>(</span><span class='hs-varid'>hasProperty</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span> <span class='hs-varid'>up_</span>
<a name="line-76"></a>                    <span class='hs-layout'>(</span><span class='hs-varid'>downD</span><span class='hs-layout'>,</span> <span class='hs-varid'>downM</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>partitionM</span> <span class='hs-layout'>(</span><span class='hs-varid'>hasProperty</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span> <span class='hs-varid'>down_</span>
<a name="line-77"></a>                    <span class='hs-varid'>b</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>hasProperty</span> <span class='hs-varid'>p</span> <span class='hs-varid'>w</span>
<a name="line-78"></a>                    <span class='hs-varid'>focusedWindow</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>gets</span> <span class='hs-layout'>(</span><span class='hs-varid'>fmap</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>focus</span> <span class='hs-varop'>.</span> <span class='hs-varid'>stack</span> <span class='hs-varop'>.</span> <span class='hs-varid'>workspace</span> <span class='hs-varop'>.</span> <span class='hs-varid'>current</span> <span class='hs-varop'>.</span> <span class='hs-varid'>windowset</span><span class='hs-layout'>)</span>
<a name="line-79"></a>
<a name="line-80"></a>                    <span class='hs-keyword'>let</span> <span class='hs-varid'>rectD</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>b</span> <span class='hs-varop'>&amp;&amp;</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>w</span> <span class='hs-varop'>==</span> <span class='hs-varid'>focusedWindow</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>rectB</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>rectS</span>
<a name="line-81"></a>
<a name="line-82"></a>                    <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>stackD</span><span class='hs-layout'>,</span> <span class='hs-varid'>stackM</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>b</span>
<a name="line-83"></a>                                            <span class='hs-keyword'>then</span> <span class='hs-layout'>(</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-varid'>stk</span> <span class='hs-layout'>{</span> <span class='hs-varid'>up</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>upD</span><span class='hs-layout'>,</span> <span class='hs-varid'>down</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>downD</span> <span class='hs-layout'>}</span>
<a name="line-84"></a>                                                 <span class='hs-layout'>,</span> <span class='hs-varid'>mkStack</span> <span class='hs-varid'>upM</span> <span class='hs-varid'>downM</span> <span class='hs-layout'>)</span>
<a name="line-85"></a>                                            <span class='hs-keyword'>else</span> <span class='hs-layout'>(</span> <span class='hs-varid'>mkStack</span> <span class='hs-varid'>upD</span> <span class='hs-varid'>downD</span>
<a name="line-86"></a>                                                 <span class='hs-layout'>,</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-varid'>stk</span> <span class='hs-layout'>{</span> <span class='hs-varid'>up</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>upM</span><span class='hs-layout'>,</span> <span class='hs-varid'>down</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>downM</span> <span class='hs-layout'>}</span> <span class='hs-layout'>)</span>
<a name="line-87"></a>
<a name="line-88"></a>                    <span class='hs-layout'>(</span><span class='hs-varid'>winsD</span><span class='hs-layout'>,</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>runLayout</span> <span class='hs-layout'>(</span><span class='hs-varid'>ws</span> <span class='hs-layout'>{</span> <span class='hs-varid'>layout</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>l</span><span class='hs-layout'>,</span> <span class='hs-varid'>stack</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>stackD</span> <span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-varid'>rectD</span>
<a name="line-89"></a>                    <span class='hs-layout'>(</span><span class='hs-varid'>winsM</span><span class='hs-layout'>,</span> <span class='hs-varid'>u'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>&lt;-</span> <span class='hs-varid'>runLayout</span> <span class='hs-layout'>(</span><span class='hs-varid'>ws</span> <span class='hs-layout'>{</span> <span class='hs-varid'>stack</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>stackM</span> <span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-varid'>rectM</span>
<a name="line-90"></a>                    <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>winsD</span> <span class='hs-varop'>++</span> <span class='hs-varid'>winsM</span><span class='hs-layout'>,</span> <span class='hs-varid'>u'</span><span class='hs-layout'>)</span>
<a name="line-91"></a>      <span class='hs-keyword'>where</span>
<a name="line-92"></a>        <span class='hs-varid'>mkStack</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span>
<a name="line-93"></a>        <span class='hs-varid'>mkStack</span> <span class='hs-varid'>xs</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-conop'>:</span><span class='hs-varid'>ys</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>Stack</span> <span class='hs-layout'>{</span> <span class='hs-varid'>up</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>xs</span><span class='hs-layout'>,</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>focus</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>y</span><span class='hs-layout'>,</span> <span class='hs-varid'>down</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>ys</span> <span class='hs-layout'>}</span><span class='hs-layout'>)</span>
<a name="line-94"></a>        <span class='hs-varid'>mkStack</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-varid'>ys</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>Stack</span> <span class='hs-layout'>{</span> <span class='hs-varid'>up</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>xs</span><span class='hs-layout'>,</span> <span class='hs-conid'>S</span><span class='hs-varop'>.</span><span class='hs-varid'>focus</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span> <span class='hs-varid'>down</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>ys</span> <span class='hs-layout'>}</span><span class='hs-layout'>)</span>
<a name="line-95"></a>
<a name="line-96"></a>        <span class='hs-varid'>rectB</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>rect</span> <span class='hs-layout'>{</span> <span class='hs-varid'>rect_width</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>round</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>rect_width</span> <span class='hs-varid'>rect</span><span class='hs-layout'>)</span> <span class='hs-varop'>*</span> <span class='hs-varid'>rb</span> <span class='hs-layout'>}</span>
<a name="line-97"></a>        <span class='hs-varid'>rectS</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>rectB</span> <span class='hs-layout'>{</span> <span class='hs-varid'>rect_x</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>rect_x</span> <span class='hs-varid'>rectB</span> <span class='hs-comment'>-</span> <span class='hs-layout'>(</span><span class='hs-varid'>round</span> <span class='hs-varop'>$</span> <span class='hs-layout'>(</span><span class='hs-varid'>rb</span> <span class='hs-comment'>-</span> <span class='hs-varid'>rs</span><span class='hs-layout'>)</span> <span class='hs-varop'>*</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>rect_width</span> <span class='hs-varid'>rect</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-layout'>}</span>
<a name="line-98"></a>        <span class='hs-varid'>rectM</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>rect</span> <span class='hs-layout'>{</span> <span class='hs-varid'>rect_x</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>rect_x</span> <span class='hs-varid'>rect</span> <span class='hs-varop'>+</span> <span class='hs-varid'>round</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>rect_width</span> <span class='hs-varid'>rect</span><span class='hs-layout'>)</span> <span class='hs-varop'>*</span> <span class='hs-varid'>rs</span><span class='hs-layout'>)</span>
<a name="line-99"></a>                     <span class='hs-layout'>,</span> <span class='hs-varid'>rect_width</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>rect_width</span> <span class='hs-varid'>rect</span> <span class='hs-comment'>-</span> <span class='hs-varid'>round</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>rect_width</span> <span class='hs-varid'>rect</span><span class='hs-layout'>)</span> <span class='hs-varop'>*</span> <span class='hs-varid'>rs</span><span class='hs-layout'>)</span> <span class='hs-layout'>}</span>
<a name="line-100"></a>
<a name="line-101"></a><a name="Reflected"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>Reflected</span> <span class='hs-varid'>l</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ModifiedLayout</span> <span class='hs-conid'>Reflect</span> <span class='hs-varid'>l</span>
<a name="line-102"></a>
<a name="line-103"></a><a name="simpleDrawer"></a><span class='hs-comment'>-- | Construct a drawer with a simple layout of the windows inside</span>
<a name="line-104"></a><span class='hs-definition'>simpleDrawer</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rational</span> <span class='hs-comment'>-- ^ The portion of the screen taken up by the drawer when closed</span>
<a name="line-105"></a>              <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Rational</span>   <span class='hs-comment'>-- ^ The portion of the screen taken up by the drawer when open</span>
<a name="line-106"></a>              <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Property</span>   <span class='hs-comment'>-- ^ Which windows to put in the drawer</span>
<a name="line-107"></a>              <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Drawer</span> <span class='hs-conid'>Tall</span> <span class='hs-varid'>a</span>
<a name="line-108"></a><span class='hs-definition'>simpleDrawer</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>rb</span> <span class='hs-varid'>p</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Drawer</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>rb</span> <span class='hs-varid'>p</span> <span class='hs-varid'>vertical</span>
<a name="line-109"></a>    <span class='hs-keyword'>where</span>
<a name="line-110"></a>        <span class='hs-varid'>vertical</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Tall</span> <span class='hs-num'>0</span> <span class='hs-num'>0</span> <span class='hs-num'>0</span>
<a name="line-111"></a>
<a name="line-112"></a><a name="drawer"></a><span class='hs-comment'>-- Export a synonym for the constructor as a Haddock workaround</span>
<a name="line-113"></a><span class='hs-comment'>-- | Construct a drawer with an arbitrary layout for windows inside</span>
<a name="line-114"></a><span class='hs-definition'>drawer</span> <span class='hs-keyglyph'>::</span>    <span class='hs-conid'>Rational</span>   <span class='hs-comment'>-- ^ The portion of the screen taken up by the drawer when closed</span>
<a name="line-115"></a>          <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Rational</span>   <span class='hs-comment'>-- ^ The portion of the screen taken up by the drawer when open</span>
<a name="line-116"></a>          <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Property</span>   <span class='hs-comment'>-- ^ Which windows to put in the drawer</span>
<a name="line-117"></a>          <span class='hs-keyglyph'>-&gt;</span> <span class='hs-layout'>(</span><span class='hs-varid'>l</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span>      <span class='hs-comment'>-- ^ The layout of windows in the drawer</span>
<a name="line-118"></a>          <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Drawer</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span>
<a name="line-119"></a><span class='hs-definition'>drawer</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Drawer</span>
<a name="line-120"></a>
<a name="line-121"></a><a name="onLeft"></a><span class='hs-definition'>onLeft</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Drawer</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>l'</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>ModifiedLayout</span> <span class='hs-layout'>(</span><span class='hs-conid'>Drawer</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-varid'>l'</span> <span class='hs-varid'>a</span>
<a name="line-122"></a><span class='hs-definition'>onLeft</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ModifiedLayout</span>
<a name="line-123"></a>
<a name="line-124"></a><a name="onRight"></a><span class='hs-definition'>onRight</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Drawer</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>l'</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Reflected</span> <span class='hs-layout'>(</span><span class='hs-conid'>ModifiedLayout</span> <span class='hs-layout'>(</span><span class='hs-conid'>Drawer</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Reflected</span> <span class='hs-varid'>l'</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>a</span>
<a name="line-125"></a><span class='hs-definition'>onRight</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>reflectHoriz</span> <span class='hs-varop'>.</span> <span class='hs-varid'>onLeft</span> <span class='hs-varid'>d</span> <span class='hs-varop'>.</span> <span class='hs-varid'>reflectHoriz</span>
<a name="line-126"></a>
<a name="line-127"></a><a name="onTop"></a><span class='hs-definition'>onTop</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Drawer</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>l'</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Mirror</span> <span class='hs-layout'>(</span><span class='hs-conid'>ModifiedLayout</span> <span class='hs-layout'>(</span><span class='hs-conid'>Drawer</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Mirror</span> <span class='hs-varid'>l'</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>a</span>
<a name="line-128"></a><span class='hs-definition'>onTop</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Mirror</span> <span class='hs-varop'>.</span> <span class='hs-varid'>onLeft</span> <span class='hs-varid'>d</span> <span class='hs-varop'>.</span> <span class='hs-conid'>Mirror</span>
<a name="line-129"></a>
<a name="line-130"></a><a name="onBottom"></a><span class='hs-definition'>onBottom</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Drawer</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-varid'>l'</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-&gt;</span> <span class='hs-conid'>Reflected</span> <span class='hs-layout'>(</span><span class='hs-conid'>Mirror</span> <span class='hs-layout'>(</span><span class='hs-conid'>ModifiedLayout</span> <span class='hs-layout'>(</span><span class='hs-conid'>Drawer</span> <span class='hs-varid'>l</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Mirror</span> <span class='hs-layout'>(</span><span class='hs-conid'>Reflected</span> <span class='hs-varid'>l'</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>a</span>
<a name="line-131"></a><span class='hs-definition'>onBottom</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>reflectVert</span> <span class='hs-varop'>.</span> <span class='hs-varid'>onTop</span> <span class='hs-varid'>d</span> <span class='hs-varop'>.</span> <span class='hs-varid'>reflectVert</span>
</pre></body>
</html>