<?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/Gaps.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, DeriveDataTypeable, TypeSynonymInstances, PatternGuards #-}</span>
<a name="line-2"></a>
<a name="line-3"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span>
<a name="line-4"></a><span class='hs-comment'>-- |</span>
<a name="line-5"></a><span class='hs-comment'>-- Module : XMonad.Layout.Gaps</span>
<a name="line-6"></a><span class='hs-comment'>-- Copyright : (c) 2008 Brent Yorgey</span>
<a name="line-7"></a><span class='hs-comment'>-- License : BSD3</span>
<a name="line-8"></a><span class='hs-comment'>--</span>
<a name="line-9"></a><span class='hs-comment'>-- Maintainer : <byorgey@gmail.com></span>
<a name="line-10"></a><span class='hs-comment'>-- Stability : unstable</span>
<a name="line-11"></a><span class='hs-comment'>-- Portability : unportable</span>
<a name="line-12"></a><span class='hs-comment'>--</span>
<a name="line-13"></a><span class='hs-comment'>-- Create manually-sized gaps along edges of the screen which will not</span>
<a name="line-14"></a><span class='hs-comment'>-- be used for tiling, along with support for toggling gaps on and</span>
<a name="line-15"></a><span class='hs-comment'>-- off.</span>
<a name="line-16"></a><span class='hs-comment'>--</span>
<a name="line-17"></a><span class='hs-comment'>-- Note that "XMonad.Hooks.ManageDocks" is the preferred solution for</span>
<a name="line-18"></a><span class='hs-comment'>-- leaving space for your dock-type applications (status bars,</span>
<a name="line-19"></a><span class='hs-comment'>-- toolbars, docks, etc.), since it automatically sets up appropriate</span>
<a name="line-20"></a><span class='hs-comment'>-- gaps, allows them to be toggled, etc. However, this module may</span>
<a name="line-21"></a><span class='hs-comment'>-- still be useful in some situations where the automated approach of</span>
<a name="line-22"></a><span class='hs-comment'>-- ManageDocks does not work; for example, to work with a dock-type</span>
<a name="line-23"></a><span class='hs-comment'>-- application that does not properly set the STRUTS property, or to</span>
<a name="line-24"></a><span class='hs-comment'>-- leave part of the screen blank which is truncated by a projector,</span>
<a name="line-25"></a><span class='hs-comment'>-- and so on.</span>
<a name="line-26"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span>
<a name="line-27"></a>
<a name="line-28"></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'>Gaps</span> <span class='hs-layout'>(</span>
<a name="line-29"></a> <span class='hs-comment'>-- * Usage</span>
<a name="line-30"></a> <span class='hs-comment'>-- $usage</span>
<a name="line-31"></a> <span class='hs-conid'>Direction2D</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-32"></a> <span class='hs-conid'>GapSpec</span><span class='hs-layout'>,</span> <span class='hs-varid'>gaps</span><span class='hs-layout'>,</span> <span class='hs-conid'>GapMessage</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span>
<a name="line-33"></a>
<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><span class='hs-varop'>.</span><span class='hs-conid'>Core</span>
<a name="line-37"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Graphics</span><span class='hs-varop'>.</span><span class='hs-conid'>X11</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rectangle</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-38"></a>
<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'>Layout</span><span class='hs-varop'>.</span><span class='hs-conid'>LayoutModifier</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'>Util</span><span class='hs-varop'>.</span><span class='hs-conid'>Types</span> <span class='hs-layout'>(</span><span class='hs-conid'>Direction2D</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-41"></a>
<a name="line-42"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>List</span> <span class='hs-layout'>(</span><span class='hs-varid'>delete</span><span class='hs-layout'>)</span>
<a name="line-43"></a>
<a name="line-44"></a><span class='hs-comment'>-- $usage</span>
<a name="line-45"></a><span class='hs-comment'>-- You can use this module by importing it into your @~\/.xmonad\/xmonad.hs@ file:</span>
<a name="line-46"></a><span class='hs-comment'>--</span>
<a name="line-47"></a><span class='hs-comment'>-- > import XMonad.Layout.Gaps</span>
<a name="line-48"></a><span class='hs-comment'>--</span>
<a name="line-49"></a><span class='hs-comment'>-- and applying the 'gaps' modifier to your layouts as follows (for</span>
<a name="line-50"></a><span class='hs-comment'>-- example):</span>
<a name="line-51"></a><span class='hs-comment'>--</span>
<a name="line-52"></a><span class='hs-comment'>-- > layoutHook = gaps [(U,18), (R,23)] $ Tall 1 (3/100) (1/2) ||| Full -- leave gaps at the top and right</span>
<a name="line-53"></a><span class='hs-comment'>--</span>
<a name="line-54"></a><span class='hs-comment'>-- You can additionally add some keybindings to toggle or modify the gaps,</span>
<a name="line-55"></a><span class='hs-comment'>-- for example:</span>
<a name="line-56"></a><span class='hs-comment'>--</span>
<a name="line-57"></a><span class='hs-comment'>-- > , ((modm .|. controlMask, xK_g), sendMessage $ ToggleGaps) -- toggle all gaps</span>
<a name="line-58"></a><span class='hs-comment'>-- > , ((modm .|. controlMask, xK_t), sendMessage $ ToggleGap U) -- toggle the top gap</span>
<a name="line-59"></a><span class='hs-comment'>-- > , ((modm .|. controlMask, xK_w), sendMessage $ IncGap R 5) -- increment the right-hand gap</span>
<a name="line-60"></a><span class='hs-comment'>-- > , ((modm .|. controlMask, xK_q), sendMessage $ DecGap R 5) -- decrement the right-hand gap</span>
<a name="line-61"></a><span class='hs-comment'>--</span>
<a name="line-62"></a><span class='hs-comment'>-- If you want complete control over all gaps, you could include</span>
<a name="line-63"></a><span class='hs-comment'>-- something like this in your keybindings, assuming in this case you</span>
<a name="line-64"></a><span class='hs-comment'>-- are using 'XMonad.Util.EZConfig.mkKeymap' or</span>
<a name="line-65"></a><span class='hs-comment'>-- 'XMonad.Util.EZConfig.additionalKeysP' from "XMonad.Util.EZConfig"</span>
<a name="line-66"></a><span class='hs-comment'>-- for string keybinding specifications:</span>
<a name="line-67"></a><span class='hs-comment'>--</span>
<a name="line-68"></a><span class='hs-comment'>-- > ++</span>
<a name="line-69"></a><span class='hs-comment'>-- > [ ("M-g " ++ f ++ " " ++ k, sendMessage $ m d)</span>
<a name="line-70"></a><span class='hs-comment'>-- > | (k, d) <- [("a",L), ("s",D), ("w",U), ("d",R)]</span>
<a name="line-71"></a><span class='hs-comment'>-- > , (f, m) <- [("v", ToggleGap), ("h", IncGap 10), ("f", DecGap 10)]</span>
<a name="line-72"></a><span class='hs-comment'>-- > ]</span>
<a name="line-73"></a><span class='hs-comment'>--</span>
<a name="line-74"></a><span class='hs-comment'>-- Given the above keybinding definition, for example, you could type</span>
<a name="line-75"></a><span class='hs-comment'>-- @M-g, v, a@ to toggle the top gap.</span>
<a name="line-76"></a><span class='hs-comment'>--</span>
<a name="line-77"></a><span class='hs-comment'>-- To configure gaps differently per-screen, use</span>
<a name="line-78"></a><span class='hs-comment'>-- "XMonad.Layout.PerScreen" (coming soon).</span>
<a name="line-79"></a>
<a name="line-80"></a><a name="GapSpec"></a><span class='hs-comment'>-- | A manual gap configuration. Each side of the screen on which a</span>
<a name="line-81"></a><a name="GapSpec"></a><span class='hs-comment'>-- gap is enabled is paired with a size in pixels.</span>
<a name="line-82"></a><a name="GapSpec"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>GapSpec</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Direction2D</span><span class='hs-layout'>,</span><span class='hs-conid'>Int</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-83"></a>
<a name="line-84"></a><a name="Gaps"></a><span class='hs-comment'>-- | The gap state. The first component is the configuration (which</span>
<a name="line-85"></a><a name="Gaps"></a><span class='hs-comment'>-- gaps are allowed, and their current size), the second is the gaps</span>
<a name="line-86"></a><a name="Gaps"></a><span class='hs-comment'>-- which are currently active.</span>
<a name="line-87"></a><a name="Gaps"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Gaps</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Gaps</span> <span class='hs-conid'>GapSpec</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Direction2D</span><span class='hs-keyglyph'>]</span>
<a name="line-88"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Show</span><span class='hs-layout'>,</span> <span class='hs-conid'>Read</span><span class='hs-layout'>)</span>
<a name="line-89"></a>
<a name="line-90"></a><a name="GapMessage"></a><span class='hs-comment'>-- | Messages which can be sent to a gap modifier.</span>
<a name="line-91"></a><a name="GapMessage"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>GapMessage</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ToggleGaps</span> <span class='hs-comment'>-- ^ Toggle all gaps.</span>
<a name="line-92"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>ToggleGap</span> <span class='hs-varop'>!</span><span class='hs-conid'>Direction2D</span> <span class='hs-comment'>-- ^ Toggle a single gap.</span>
<a name="line-93"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>IncGap</span> <span class='hs-varop'>!</span><span class='hs-conid'>Int</span> <span class='hs-varop'>!</span><span class='hs-conid'>Direction2D</span> <span class='hs-comment'>-- ^ Increase a gap by a certain number of pixels.</span>
<a name="line-94"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>DecGap</span> <span class='hs-varop'>!</span><span class='hs-conid'>Int</span> <span class='hs-varop'>!</span><span class='hs-conid'>Direction2D</span> <span class='hs-comment'>-- ^ Decrease a gap.</span>
<a name="line-95"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Typeable</span><span class='hs-layout'>)</span>
<a name="line-96"></a>
<a name="line-97"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Message</span> <span class='hs-conid'>GapMessage</span>
<a name="line-98"></a>
<a name="line-99"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>LayoutModifier</span> <span class='hs-conid'>Gaps</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>where</span>
<a name="line-100"></a> <span class='hs-varid'>modifyLayout</span> <span class='hs-varid'>g</span> <span class='hs-varid'>w</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>runLayout</span> <span class='hs-varid'>w</span> <span class='hs-layout'>(</span><span class='hs-varid'>applyGaps</span> <span class='hs-varid'>g</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span>
<a name="line-101"></a>
<a name="line-102"></a> <span class='hs-varid'>pureMess</span> <span class='hs-layout'>(</span><span class='hs-conid'>Gaps</span> <span class='hs-varid'>conf</span> <span class='hs-varid'>cur</span><span class='hs-layout'>)</span> <span class='hs-varid'>m</span>
<a name="line-103"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Just</span> <span class='hs-conid'>ToggleGaps</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>fromMessage</span> <span class='hs-varid'>m</span>
<a name="line-104"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Gaps</span> <span class='hs-varid'>conf</span> <span class='hs-layout'>(</span><span class='hs-varid'>toggleGaps</span> <span class='hs-varid'>conf</span> <span class='hs-varid'>cur</span><span class='hs-layout'>)</span>
<a name="line-105"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>ToggleGap</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>fromMessage</span> <span class='hs-varid'>m</span>
<a name="line-106"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Gaps</span> <span class='hs-varid'>conf</span> <span class='hs-layout'>(</span><span class='hs-varid'>toggleGap</span> <span class='hs-varid'>conf</span> <span class='hs-varid'>cur</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span>
<a name="line-107"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>IncGap</span> <span class='hs-varid'>i</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>fromMessage</span> <span class='hs-varid'>m</span>
<a name="line-108"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Gaps</span> <span class='hs-layout'>(</span><span class='hs-varid'>incGap</span> <span class='hs-varid'>conf</span> <span class='hs-varid'>d</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <span class='hs-varid'>cur</span>
<a name="line-109"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-conid'>DecGap</span> <span class='hs-varid'>i</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>fromMessage</span> <span class='hs-varid'>m</span>
<a name="line-110"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Gaps</span> <span class='hs-layout'>(</span><span class='hs-varid'>incGap</span> <span class='hs-varid'>conf</span> <span class='hs-varid'>d</span> <span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-varid'>i</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>cur</span>
<a name="line-111"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span>
<a name="line-112"></a>
<a name="line-113"></a><a name="applyGaps"></a><span class='hs-definition'>applyGaps</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Gaps</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span>
<a name="line-114"></a><span class='hs-definition'>applyGaps</span> <span class='hs-varid'>gs</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>foldr</span> <span class='hs-varid'>applyGap</span> <span class='hs-varid'>r</span> <span class='hs-layout'>(</span><span class='hs-varid'>activeGaps</span> <span class='hs-varid'>gs</span><span class='hs-layout'>)</span>
<a name="line-115"></a> <span class='hs-keyword'>where</span>
<a name="line-116"></a> <span class='hs-varid'>applyGap</span> <span class='hs-layout'>(</span><span class='hs-conid'>U</span><span class='hs-layout'>,</span><span class='hs-varid'>z</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rectangle</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-varid'>w</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Rectangle</span> <span class='hs-varid'>x</span> <span class='hs-layout'>(</span><span class='hs-varid'>y</span> <span class='hs-varop'>+</span> <span class='hs-varid'>fi</span> <span class='hs-varid'>z</span><span class='hs-layout'>)</span> <span class='hs-varid'>w</span> <span class='hs-layout'>(</span><span class='hs-varid'>h</span> <span class='hs-comment'>-</span> <span class='hs-varid'>fi</span> <span class='hs-varid'>z</span><span class='hs-layout'>)</span>
<a name="line-117"></a> <span class='hs-varid'>applyGap</span> <span class='hs-layout'>(</span><span class='hs-conid'>D</span><span class='hs-layout'>,</span><span class='hs-varid'>z</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rectangle</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-varid'>w</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Rectangle</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-varid'>w</span> <span class='hs-layout'>(</span><span class='hs-varid'>h</span> <span class='hs-comment'>-</span> <span class='hs-varid'>fi</span> <span class='hs-varid'>z</span><span class='hs-layout'>)</span>
<a name="line-118"></a> <span class='hs-varid'>applyGap</span> <span class='hs-layout'>(</span><span class='hs-conid'>L</span><span class='hs-layout'>,</span><span class='hs-varid'>z</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rectangle</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-varid'>w</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Rectangle</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+</span> <span class='hs-varid'>fi</span> <span class='hs-varid'>z</span><span class='hs-layout'>)</span> <span class='hs-varid'>y</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span> <span class='hs-comment'>-</span> <span class='hs-varid'>fi</span> <span class='hs-varid'>z</span><span class='hs-layout'>)</span> <span class='hs-varid'>h</span>
<a name="line-119"></a> <span class='hs-varid'>applyGap</span> <span class='hs-layout'>(</span><span class='hs-conid'>R</span><span class='hs-layout'>,</span><span class='hs-varid'>z</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rectangle</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-varid'>w</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Rectangle</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span> <span class='hs-comment'>-</span> <span class='hs-varid'>fi</span> <span class='hs-varid'>z</span><span class='hs-layout'>)</span> <span class='hs-varid'>h</span>
<a name="line-120"></a>
<a name="line-121"></a><a name="activeGaps"></a><span class='hs-definition'>activeGaps</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Gaps</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>GapSpec</span>
<a name="line-122"></a><span class='hs-definition'>activeGaps</span> <span class='hs-layout'>(</span><span class='hs-conid'>Gaps</span> <span class='hs-varid'>conf</span> <span class='hs-varid'>cur</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>filter</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varop'>`elem`</span> <span class='hs-varid'>cur</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fst</span><span class='hs-layout'>)</span> <span class='hs-varid'>conf</span>
<a name="line-123"></a>
<a name="line-124"></a><a name="toggleGaps"></a><span class='hs-definition'>toggleGaps</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GapSpec</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Direction2D</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Direction2D</span><span class='hs-keyglyph'>]</span>
<a name="line-125"></a><span class='hs-definition'>toggleGaps</span> <span class='hs-varid'>conf</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>fst</span> <span class='hs-varid'>conf</span>
<a name="line-126"></a><span class='hs-definition'>toggleGaps</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-127"></a>
<a name="line-128"></a><a name="toggleGap"></a><span class='hs-definition'>toggleGap</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GapSpec</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Direction2D</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Direction2D</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Direction2D</span><span class='hs-keyglyph'>]</span>
<a name="line-129"></a><span class='hs-definition'>toggleGap</span> <span class='hs-varid'>conf</span> <span class='hs-varid'>cur</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>d</span> <span class='hs-varop'>`elem`</span> <span class='hs-varid'>cur</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>delete</span> <span class='hs-varid'>d</span> <span class='hs-varid'>cur</span>
<a name="line-130"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>d</span> <span class='hs-varop'>`elem`</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>fst</span> <span class='hs-varid'>conf</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>d</span><span class='hs-conop'>:</span><span class='hs-varid'>cur</span>
<a name="line-131"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>cur</span>
<a name="line-132"></a>
<a name="line-133"></a><a name="incGap"></a><span class='hs-definition'>incGap</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GapSpec</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Direction2D</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>GapSpec</span>
<a name="line-134"></a><span class='hs-definition'>incGap</span> <span class='hs-varid'>gs</span> <span class='hs-varid'>d</span> <span class='hs-varid'>i</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-layout'>(</span><span class='hs-varid'>dir</span><span class='hs-layout'>,</span><span class='hs-varid'>j</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>if</span> <span class='hs-varid'>dir</span> <span class='hs-varop'>==</span> <span class='hs-varid'>d</span> <span class='hs-keyword'>then</span> <span class='hs-layout'>(</span><span class='hs-varid'>dir</span><span class='hs-layout'>,</span><span class='hs-varid'>max</span> <span class='hs-layout'>(</span><span class='hs-varid'>j</span><span class='hs-varop'>+</span><span class='hs-varid'>i</span><span class='hs-layout'>)</span> <span class='hs-num'>0</span><span class='hs-layout'>)</span> <span class='hs-keyword'>else</span> <span class='hs-layout'>(</span><span class='hs-varid'>dir</span><span class='hs-layout'>,</span><span class='hs-varid'>j</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>gs</span>
<a name="line-135"></a>
<a name="line-136"></a><a name="fi"></a><span class='hs-definition'>fi</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Num</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Integral</span> <span class='hs-varid'>a</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-varid'>b</span>
<a name="line-137"></a><span class='hs-definition'>fi</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromIntegral</span>
<a name="line-138"></a>
<a name="line-139"></a><a name="gaps"></a><span class='hs-comment'>-- | Add togglable manual gaps to a layout.</span>
<a name="line-140"></a><span class='hs-definition'>gaps</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GapSpec</span> <span class='hs-comment'>-- ^ The gaps to allow, paired with their initial sizes.</span>
<a name="line-141"></a> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-comment'>-- ^ The layout to modify.</span>
<a name="line-142"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModifiedLayout</span> <span class='hs-conid'>Gaps</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span>
<a name="line-143"></a><span class='hs-definition'>gaps</span> <span class='hs-varid'>g</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ModifiedLayout</span> <span class='hs-layout'>(</span><span class='hs-conid'>Gaps</span> <span class='hs-varid'>g</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>fst</span> <span class='hs-varid'>g</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-144"></a>
</pre></body>
</html>
