<?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/LayoutHints.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, TypeSynonymInstances #-}</span>
<a name="line-2"></a><span class='hs-comment'>{-# LANGUAGE ParallelListComp, PatternGuards #-}</span>
<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.LayoutHints</span>
<a name="line-6"></a><span class='hs-comment'>-- Copyright : (c) David Roundy <droundy@darcs.net></span>
<a name="line-7"></a><span class='hs-comment'>-- License : BSD</span>
<a name="line-8"></a><span class='hs-comment'>--</span>
<a name="line-9"></a><span class='hs-comment'>-- Maintainer : none</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'>-- Make layouts respect size hints.</span>
<a name="line-14"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span>
<a name="line-15"></a>
<a name="line-16"></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'>LayoutHints</span>
<a name="line-17"></a> <span class='hs-layout'>(</span> <span class='hs-comment'>-- * usage</span>
<a name="line-18"></a> <span class='hs-comment'>-- $usage</span>
<a name="line-19"></a> <span class='hs-varid'>layoutHints</span>
<a name="line-20"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>layoutHintsWithPlacement</span>
<a name="line-21"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>layoutHintsToCenter</span>
<a name="line-22"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>LayoutHints</span>
<a name="line-23"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-24"></a>
<a name="line-25"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>XMonad</span><span class='hs-layout'>(</span><span class='hs-conid'>LayoutClass</span><span class='hs-layout'>(</span><span class='hs-varid'>runLayout</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>mkAdjust</span><span class='hs-layout'>,</span> <span class='hs-conid'>Window</span><span class='hs-layout'>,</span>
<a name="line-26"></a> <span class='hs-conid'>Dimension</span><span class='hs-layout'>,</span> <span class='hs-conid'>Position</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rectangle</span><span class='hs-layout'>(</span><span class='hs-conid'>Rectangle</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-conid'>D</span><span class='hs-layout'>)</span>
<a name="line-27"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</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'>W</span>
<a name="line-28"></a>
<a name="line-29"></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'>Decoration</span><span class='hs-layout'>(</span><span class='hs-varid'>isInStack</span><span class='hs-layout'>)</span>
<a name="line-30"></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><span class='hs-layout'>(</span><span class='hs-conid'>ModifiedLayout</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span>
<a name="line-31"></a> <span class='hs-conid'>LayoutModifier</span><span class='hs-layout'>(</span><span class='hs-varid'>modifyLayout</span><span class='hs-layout'>,</span> <span class='hs-varid'>redoLayout</span><span class='hs-layout'>,</span> <span class='hs-varid'>modifierDescription</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-32"></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-33"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Applicative</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varop'><$></span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-34"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Arrow</span><span class='hs-layout'>(</span><span class='hs-conid'>Arrow</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varop'>***</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>first</span><span class='hs-layout'>,</span> <span class='hs-varid'>second</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-35"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-layout'>(</span><span class='hs-conid'>Monad</span><span class='hs-layout'>(</span><span class='hs-varid'>return</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-varid'>mapM</span><span class='hs-layout'>,</span> <span class='hs-varid'>join</span><span class='hs-layout'>)</span>
<a name="line-36"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Function</span><span class='hs-layout'>(</span><span class='hs-varid'>on</span><span class='hs-layout'>)</span>
<a name="line-37"></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'>sortBy</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'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Set</span> <span class='hs-layout'>(</span><span class='hs-conid'>Set</span><span class='hs-layout'>)</span>
<a name="line-40"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Set</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>Set</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'>-- You can use this module with the following in your @~\/.xmonad\/xmonad.hs@:</span>
<a name="line-44"></a><span class='hs-comment'>--</span>
<a name="line-45"></a><span class='hs-comment'>-- > import XMonad.Layout.LayoutHints</span>
<a name="line-46"></a><span class='hs-comment'>--</span>
<a name="line-47"></a><span class='hs-comment'>-- Then edit your @layoutHook@ by adding the 'layoutHints' layout modifier</span>
<a name="line-48"></a><span class='hs-comment'>-- to some layout:</span>
<a name="line-49"></a><span class='hs-comment'>--</span>
<a name="line-50"></a><span class='hs-comment'>-- > myLayout = layoutHints (Tall 1 (3/100) (1/2)) ||| Full ||| etc..</span>
<a name="line-51"></a><span class='hs-comment'>-- > 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'>-- Or, to center the adapted window in its available area:</span>
<a name="line-54"></a><span class='hs-comment'>--</span>
<a name="line-55"></a><span class='hs-comment'>-- > myLayout = layoutHintsWithPlacement (0.5, 0.5) (Tall 1 (3/100) (1/2))</span>
<a name="line-56"></a><span class='hs-comment'>-- > ||| Full ||| etc..</span>
<a name="line-57"></a><span class='hs-comment'>--</span>
<a name="line-58"></a><span class='hs-comment'>-- Or, to make a reasonable attempt to eliminate gaps between windows:</span>
<a name="line-59"></a><span class='hs-comment'>--</span>
<a name="line-60"></a><span class='hs-comment'>-- > myLayout = layoutHintsToCenter (Tall 1 (3/100) (1/2))</span>
<a name="line-61"></a><span class='hs-comment'>--</span>
<a name="line-62"></a><span class='hs-comment'>-- For more detailed instructions on editing the layoutHook see:</span>
<a name="line-63"></a><span class='hs-comment'>--</span>
<a name="line-64"></a><span class='hs-comment'>-- "XMonad.Doc.Extending#Editing_the_layout_hook"</span>
<a name="line-65"></a>
<a name="line-66"></a><a name="layoutHints"></a><span class='hs-definition'>layoutHints</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>LayoutClass</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModifiedLayout</span> <span class='hs-conid'>LayoutHints</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span>
<a name="line-67"></a><span class='hs-definition'>layoutHints</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ModifiedLayout</span> <span class='hs-layout'>(</span><span class='hs-conid'>LayoutHints</span> <span class='hs-layout'>(</span><span class='hs-num'>0</span><span class='hs-layout'>,</span> <span class='hs-num'>0</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-68"></a>
<a name="line-69"></a><a name="layoutHintsWithPlacement"></a><span class='hs-comment'>-- | @layoutHintsWithPlacement (rx, ry) layout@ will adapt the sizes of a layout's</span>
<a name="line-70"></a><span class='hs-comment'>-- windows according to their size hints, and position them inside their</span>
<a name="line-71"></a><span class='hs-comment'>-- originally assigned area according to the @rx@ and @ry@ parameters.</span>
<a name="line-72"></a><span class='hs-comment'>-- (0, 0) places the window at the top left, (1, 0) at the top right, (0.5, 0.5)</span>
<a name="line-73"></a><span class='hs-comment'>-- at the center, etc.</span>
<a name="line-74"></a><span class='hs-definition'>layoutHintsWithPlacement</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>LayoutClass</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-layout'>(</span><span class='hs-conid'>Double</span><span class='hs-layout'>,</span> <span class='hs-conid'>Double</span><span class='hs-layout'>)</span>
<a name="line-75"></a> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModifiedLayout</span> <span class='hs-conid'>LayoutHints</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span>
<a name="line-76"></a><span class='hs-definition'>layoutHintsWithPlacement</span> <span class='hs-varid'>rs</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ModifiedLayout</span> <span class='hs-layout'>(</span><span class='hs-conid'>LayoutHints</span> <span class='hs-varid'>rs</span><span class='hs-layout'>)</span>
<a name="line-77"></a>
<a name="line-78"></a><a name="layoutHintsToCenter"></a><span class='hs-comment'>-- | @layoutHintsToCenter layout@ applies hints, sliding the window to the</span>
<a name="line-79"></a><span class='hs-comment'>-- center of the screen and expanding its neighbors to fill the gaps. Windows</span>
<a name="line-80"></a><span class='hs-comment'>-- are never expanded in a way that increases overlap.</span>
<a name="line-81"></a><span class='hs-comment'>--</span>
<a name="line-82"></a><span class='hs-comment'>-- @layoutHintsToCenter@ only makes one pass at resizing the neighbors of</span>
<a name="line-83"></a><span class='hs-comment'>-- hinted windows, so with some layouts (ex. the arrangement with two 'Mirror'</span>
<a name="line-84"></a><span class='hs-comment'>-- 'Tall' stacked vertically), @layoutHintsToCenter@ may leave some gaps.</span>
<a name="line-85"></a><span class='hs-comment'>-- Simple layouts like 'Tall' are unaffected.</span>
<a name="line-86"></a><span class='hs-definition'>layoutHintsToCenter</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>LayoutClass</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ModifiedLayout</span> <span class='hs-conid'>LayoutHintsToCenter</span> <span class='hs-varid'>l</span> <span class='hs-varid'>a</span>
<a name="line-87"></a><span class='hs-definition'>layoutHintsToCenter</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ModifiedLayout</span> <span class='hs-conid'>LayoutHintsToCenter</span>
<a name="line-88"></a>
<a name="line-89"></a><a name="LayoutHints"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>LayoutHints</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LayoutHints</span> <span class='hs-layout'>(</span><span class='hs-conid'>Double</span><span class='hs-layout'>,</span> <span class='hs-conid'>Double</span><span class='hs-layout'>)</span>
<a name="line-90"></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-91"></a>
<a name="line-92"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>LayoutModifier</span> <span class='hs-conid'>LayoutHints</span> <span class='hs-conid'>Window</span> <span class='hs-keyword'>where</span>
<a name="line-93"></a> <span class='hs-varid'>modifierDescription</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"Hinted"</span>
<a name="line-94"></a> <span class='hs-varid'>redoLayout</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>xs</span><span class='hs-layout'>,</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span>
<a name="line-95"></a> <span class='hs-varid'>redoLayout</span> <span class='hs-layout'>(</span><span class='hs-conid'>LayoutHints</span> <span class='hs-varid'>al</span><span class='hs-layout'>)</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span>
<a name="line-96"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>xs'</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>mapM</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>second</span> <span class='hs-layout'>(</span><span class='hs-varid'>placeRectangle</span> <span class='hs-varid'>al</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-varop'><$></span> <span class='hs-varid'>applyHint</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span>
<a name="line-97"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>xs'</span><span class='hs-layout'>,</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span>
<a name="line-98"></a> <span class='hs-keyword'>where</span>
<a name="line-99"></a> <span class='hs-varid'>applyHint</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-layout'>,</span><span class='hs-varid'>r</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Rectangle</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-varid'>c</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-100"></a> <span class='hs-varid'>adj</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>mkAdjust</span> <span class='hs-varid'>w</span>
<a name="line-101"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>c'</span><span class='hs-layout'>,</span><span class='hs-varid'>d'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>adj</span> <span class='hs-layout'>(</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>)</span>
<a name="line-102"></a> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-layout'>,</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>isInStack</span> <span class='hs-varid'>s</span> <span class='hs-varid'>w</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Rectangle</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-varid'>c'</span> <span class='hs-varid'>d'</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span>
<a name="line-103"></a>
<a name="line-104"></a><a name="placeRectangle"></a><span class='hs-comment'>-- | @placeRectangle (rx, ry) r0 r@ will return a new rectangle with the same dimensions</span>
<a name="line-105"></a><span class='hs-comment'>-- as @r@, but positioned inside of @r0@ as specified by the (rx, ry) parameters (see</span>
<a name="line-106"></a><span class='hs-comment'>-- 'layoutHintsWithPlacement').</span>
<a name="line-107"></a><span class='hs-definition'>placeRectangle</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>RealFrac</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=></span> <span class='hs-layout'>(</span><span class='hs-varid'>r</span><span class='hs-layout'>,</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</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-108"></a><span class='hs-definition'>placeRectangle</span> <span class='hs-layout'>(</span><span class='hs-varid'>rx</span><span class='hs-layout'>,</span> <span class='hs-varid'>ry</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rectangle</span> <span class='hs-varid'>x0</span> <span class='hs-varid'>y0</span> <span class='hs-varid'>w</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rectangle</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>dx</span> <span class='hs-varid'>dy</span><span class='hs-layout'>)</span>
<a name="line-109"></a> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Rectangle</span> <span class='hs-layout'>(</span><span class='hs-varid'>align</span> <span class='hs-varid'>x0</span> <span class='hs-varid'>dx</span> <span class='hs-varid'>w</span> <span class='hs-varid'>rx</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>align</span> <span class='hs-varid'>y0</span> <span class='hs-varid'>dy</span> <span class='hs-varid'>h</span> <span class='hs-varid'>ry</span><span class='hs-layout'>)</span> <span class='hs-varid'>dx</span> <span class='hs-varid'>dy</span>
<a name="line-110"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>align</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>RealFrac</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Position</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Dimension</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Dimension</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Position</span>
<a name="line-111"></a> <span class='hs-varid'>align</span> <span class='hs-varid'>z0</span> <span class='hs-varid'>dz</span> <span class='hs-varid'>d</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>z0</span> <span class='hs-varop'>+</span> <span class='hs-varid'>truncate</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>d</span> <span class='hs-comment'>-</span> <span class='hs-varid'>dz</span><span class='hs-layout'>)</span> <span class='hs-varop'>*</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span>
<a name="line-112"></a>
<a name="line-113"></a><a name="fitting"></a><span class='hs-definition'>fitting</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Rectangle</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span>
<a name="line-114"></a><span class='hs-definition'>fitting</span> <span class='hs-varid'>rects</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>sum</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>do</span>
<a name="line-115"></a> <span class='hs-varid'>r</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>rects</span>
<a name="line-116"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-varid'>length</span> <span class='hs-varop'>$</span> <span class='hs-varid'>filter</span> <span class='hs-layout'>(</span><span class='hs-varid'>touching</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-varid'>rects</span>
<a name="line-117"></a>
<a name="line-118"></a><a name="applyOrder"></a><span class='hs-definition'>applyOrder</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>Window</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rectangle</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>t</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>Window</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rectangle</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>t</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span>
<a name="line-119"></a><span class='hs-definition'>applyOrder</span> <span class='hs-varid'>root</span> <span class='hs-varid'>wrs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-120"></a> <span class='hs-comment'>-- perhaps it would just be better to take all permutations, or apply the</span>
<a name="line-121"></a> <span class='hs-comment'>-- resizing multiple times</span>
<a name="line-122"></a> <span class='hs-varid'>f</span> <span class='hs-keyglyph'><-</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>maximum</span><span class='hs-layout'>,</span> <span class='hs-varid'>minimum</span><span class='hs-layout'>,</span> <span class='hs-varid'>sum</span><span class='hs-layout'>,</span> <span class='hs-varid'>sum</span> <span class='hs-varop'>.</span> <span class='hs-varid'>map</span> <span class='hs-varid'>sq</span><span class='hs-keyglyph'>]</span>
<a name="line-123"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-varid'>sortBy</span> <span class='hs-layout'>(</span><span class='hs-varid'>compare</span> <span class='hs-varop'>`on`</span> <span class='hs-layout'>(</span><span class='hs-varid'>f</span> <span class='hs-varop'>.</span> <span class='hs-varid'>distance</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>wrs</span>
<a name="line-124"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>distFC</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uncurry</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varop'>+</span><span class='hs-layout'>)</span> <span class='hs-varop'>`on`</span> <span class='hs-varid'>sq</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>pairWise</span> <span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>center</span> <span class='hs-varid'>root</span><span class='hs-layout'>)</span>
<a name="line-125"></a> <span class='hs-varid'>distance</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>distFC</span> <span class='hs-varop'>.</span> <span class='hs-varid'>corners</span> <span class='hs-varop'>.</span> <span class='hs-varid'>snd</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fst</span>
<a name="line-126"></a> <span class='hs-varid'>pairWise</span> <span class='hs-varid'>f</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>f</span> <span class='hs-varid'>a</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-varid'>f</span> <span class='hs-varid'>b</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span>
<a name="line-127"></a> <span class='hs-varid'>sq</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>join</span> <span class='hs-layout'>(</span><span class='hs-varop'>*</span><span class='hs-layout'>)</span>
<a name="line-128"></a>
<a name="line-129"></a><a name="LayoutHintsToCenter"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>LayoutHintsToCenter</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>LayoutHintsToCenter</span> <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-130"></a>
<a name="line-131"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>LayoutModifier</span> <span class='hs-conid'>LayoutHintsToCenter</span> <span class='hs-conid'>Window</span> <span class='hs-keyword'>where</span>
<a name="line-132"></a> <span class='hs-varid'>modifyLayout</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>ws</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>W</span><span class='hs-varop'>.</span><span class='hs-conid'>Workspace</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>runLayout</span> <span class='hs-varid'>ws</span> <span class='hs-varid'>r</span>
<a name="line-133"></a> <span class='hs-varid'>modifyLayout</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>ws</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>W</span><span class='hs-varop'>.</span><span class='hs-conid'>Workspace</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>st</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-134"></a> <span class='hs-layout'>(</span><span class='hs-varid'>arrs</span><span class='hs-layout'>,</span><span class='hs-varid'>ol</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>runLayout</span> <span class='hs-varid'>ws</span> <span class='hs-varid'>r</span>
<a name="line-135"></a> <span class='hs-varid'>flip</span> <span class='hs-conid'>(,)</span> <span class='hs-varid'>ol</span>
<a name="line-136"></a> <span class='hs-varop'>.</span> <span class='hs-varid'>head</span> <span class='hs-varop'>.</span> <span class='hs-varid'>reverse</span> <span class='hs-varop'>.</span> <span class='hs-varid'>sortBy</span> <span class='hs-layout'>(</span><span class='hs-varid'>compare</span> <span class='hs-varop'>`on`</span> <span class='hs-layout'>(</span><span class='hs-varid'>fitting</span> <span class='hs-varop'>.</span> <span class='hs-varid'>map</span> <span class='hs-varid'>snd</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-137"></a> <span class='hs-varop'>.</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>applyHints</span> <span class='hs-varid'>st</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>applyOrder</span> <span class='hs-varid'>r</span>
<a name="line-138"></a> <span class='hs-varop'><$></span> <span class='hs-varid'>mapM</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>x</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-conid'>(,)</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mkAdjust</span> <span class='hs-layout'>(</span><span class='hs-varid'>fst</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>arrs</span>
<a name="line-139"></a>
<a name="line-140"></a><a name="applyHints"></a><span class='hs-comment'>-- apply hints to first, grow adjacent windows</span>
<a name="line-141"></a><span class='hs-definition'>applyHints</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>W</span><span class='hs-varop'>.</span><span class='hs-conid'>Stack</span> <span class='hs-conid'>Window</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>Window</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rectangle</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-conid'>D</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>D</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Window</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rectangle</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-142"></a><span class='hs-definition'>applyHints</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-143"></a><span class='hs-definition'>applyHints</span> <span class='hs-varid'>s</span> <span class='hs-varid'>root</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-layout'>,</span><span class='hs-varid'>lrect</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Rectangle</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-varid'>c</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>adj</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span>
<a name="line-144"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>c'</span><span class='hs-layout'>,</span><span class='hs-varid'>d'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>adj</span> <span class='hs-layout'>(</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>)</span>
<a name="line-145"></a> <span class='hs-varid'>redr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>placeRectangle</span> <span class='hs-layout'>(</span><span class='hs-varid'>centerPlacement</span> <span class='hs-varid'>root</span> <span class='hs-varid'>lrect</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Double</span><span class='hs-layout'>,</span><span class='hs-conid'>Double</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>lrect</span>
<a name="line-146"></a> <span class='hs-varop'>$</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>isInStack</span> <span class='hs-varid'>s</span> <span class='hs-varid'>w</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Rectangle</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-varid'>c'</span> <span class='hs-varid'>d'</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>lrect</span>
<a name="line-147"></a>
<a name="line-148"></a> <span class='hs-varid'>ds</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>c</span> <span class='hs-comment'>-</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>c'</span><span class='hs-layout'>,</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>d</span> <span class='hs-comment'>-</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>d'</span><span class='hs-layout'>)</span>
<a name="line-149"></a> <span class='hs-varid'>growOther'</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>growOther</span> <span class='hs-varid'>ds</span> <span class='hs-varid'>lrect</span> <span class='hs-layout'>(</span><span class='hs-varid'>freeDirs</span> <span class='hs-varid'>root</span> <span class='hs-varid'>lrect</span><span class='hs-layout'>)</span> <span class='hs-varid'>r</span>
<a name="line-150"></a> <span class='hs-varid'>mapSnd</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varid'>first</span> <span class='hs-varop'>$</span> <span class='hs-varid'>second</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span>
<a name="line-151"></a> <span class='hs-varid'>next</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>applyHints</span> <span class='hs-varid'>s</span> <span class='hs-varid'>root</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mapSnd</span> <span class='hs-varid'>growOther'</span> <span class='hs-varid'>xs</span>
<a name="line-152"></a> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-layout'>,</span><span class='hs-varid'>redr</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-varid'>next</span>
<a name="line-153"></a>
<a name="line-154"></a><a name="growOther"></a><span class='hs-definition'>growOther</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Position</span><span class='hs-layout'>,</span> <span class='hs-conid'>Position</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Set</span> <span class='hs-conid'>Direction2D</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-155"></a><span class='hs-definition'>growOther</span> <span class='hs-varid'>ds</span> <span class='hs-varid'>lrect</span> <span class='hs-varid'>fds</span> <span class='hs-varid'>r</span>
<a name="line-156"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>dirs</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>flipDir</span> <span class='hs-varop'><$></span> <span class='hs-conid'>Set</span><span class='hs-varop'>.</span><span class='hs-varid'>toList</span> <span class='hs-layout'>(</span><span class='hs-conid'>Set</span><span class='hs-varop'>.</span><span class='hs-varid'>intersection</span> <span class='hs-varid'>adj</span> <span class='hs-varid'>fds</span><span class='hs-layout'>)</span>
<a name="line-157"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>not</span> <span class='hs-varop'>$</span> <span class='hs-varid'>any</span> <span class='hs-layout'>(</span><span class='hs-varid'>uncurry</span> <span class='hs-varid'>opposite</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>cross</span> <span class='hs-varid'>dirs</span> <span class='hs-keyglyph'>=</span>
<a name="line-158"></a> <span class='hs-varid'>foldr</span> <span class='hs-layout'>(</span><span class='hs-varid'>flip</span> <span class='hs-varid'>grow</span> <span class='hs-varid'>ds</span><span class='hs-layout'>)</span> <span class='hs-varid'>r</span> <span class='hs-varid'>dirs</span>
<a name="line-159"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>r</span>
<a name="line-160"></a> <span class='hs-keyword'>where</span>
<a name="line-161"></a> <span class='hs-varid'>adj</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>adjacent</span> <span class='hs-varid'>lrect</span> <span class='hs-varid'>r</span>
<a name="line-162"></a> <span class='hs-varid'>cross</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</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'>xs</span><span class='hs-layout'>,</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>]</span>
<a name="line-163"></a>
<a name="line-164"></a> <span class='hs-varid'>flipDir</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Direction2D</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Direction2D</span>
<a name="line-165"></a> <span class='hs-varid'>flipDir</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>d</span> <span class='hs-keyword'>of</span> <span class='hs-layout'>{</span> <span class='hs-conid'>L</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>R</span><span class='hs-layout'>;</span> <span class='hs-conid'>U</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>D</span><span class='hs-layout'>;</span> <span class='hs-conid'>R</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>L</span><span class='hs-layout'>;</span> <span class='hs-conid'>D</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>U</span> <span class='hs-layout'>}</span>
<a name="line-166"></a>
<a name="line-167"></a> <span class='hs-varid'>opposite</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Direction2D</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Direction2D</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span>
<a name="line-168"></a> <span class='hs-varid'>opposite</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>flipDir</span> <span class='hs-varid'>x</span> <span class='hs-varop'>==</span> <span class='hs-varid'>y</span>
<a name="line-169"></a>
<a name="line-170"></a><a name="grow"></a><span class='hs-comment'>-- | Leave the opposite edges where they were</span>
<a name="line-171"></a><span class='hs-definition'>grow</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Direction2D</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Position</span><span class='hs-layout'>,</span><span class='hs-conid'>Position</span><span class='hs-layout'>)</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-172"></a><span class='hs-definition'>grow</span> <span class='hs-conid'>L</span> <span class='hs-layout'>(</span><span class='hs-varid'>px</span><span class='hs-layout'>,</span><span class='hs-keyword'>_</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-comment'>-</span><span class='hs-varid'>px</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-varop'>+</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>px</span><span class='hs-layout'>)</span> <span class='hs-varid'>h</span>
<a name="line-173"></a><span class='hs-definition'>grow</span> <span class='hs-conid'>U</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span> <span class='hs-layout'>,</span><span class='hs-varid'>py</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-comment'>-</span><span class='hs-varid'>py</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-varop'>+</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>py</span><span class='hs-layout'>)</span>
<a name="line-174"></a><span class='hs-definition'>grow</span> <span class='hs-conid'>R</span> <span class='hs-layout'>(</span><span class='hs-varid'>px</span><span class='hs-layout'>,</span><span class='hs-keyword'>_</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-varop'>+</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>px</span><span class='hs-layout'>)</span> <span class='hs-varid'>h</span>
<a name="line-175"></a><span class='hs-definition'>grow</span> <span class='hs-conid'>D</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span> <span class='hs-layout'>,</span><span class='hs-varid'>py</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-varop'>+</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>py</span><span class='hs-layout'>)</span>
<a name="line-176"></a>
<a name="line-177"></a><a name="comparingEdges"></a><span class='hs-definition'>comparingEdges</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Position</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Position</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Set</span> <span class='hs-conid'>Direction2D</span>
<a name="line-178"></a><span class='hs-definition'>comparingEdges</span> <span class='hs-varid'>surrounds</span> <span class='hs-varid'>r1</span> <span class='hs-varid'>r2</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Set</span><span class='hs-varop'>.</span><span class='hs-varid'>fromList</span> <span class='hs-varop'>$</span> <span class='hs-varid'>map</span> <span class='hs-varid'>fst</span> <span class='hs-varop'>$</span> <span class='hs-varid'>filter</span> <span class='hs-varid'>snd</span> <span class='hs-keyglyph'>[</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>k</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'>k</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span>
<a name="line-179"></a> <span class='hs-varid'>any</span> <span class='hs-varid'>and</span> <span class='hs-keyglyph'>[</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>dir</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>R</span><span class='hs-layout'>,</span><span class='hs-conid'>L</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-varid'>allEq</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>w</span><span class='hs-layout'>,</span><span class='hs-varid'>y</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>`surrounds`</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span><span class='hs-varid'>z</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span>
<a name="line-180"></a> <span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>dir</span> <span class='hs-varop'>`elem`</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>U</span><span class='hs-layout'>,</span><span class='hs-conid'>D</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-varid'>allEq</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>,</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span><span class='hs-varid'>z</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-layout'>,</span><span class='hs-varid'>c</span><span class='hs-keyglyph'>]</span> <span class='hs-varop'>`surrounds`</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>w</span><span class='hs-layout'>,</span><span class='hs-varid'>y</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span>
<a name="line-181"></a> <span class='hs-keyglyph'>|</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-varid'>d</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>edge</span> <span class='hs-varop'>$</span> <span class='hs-varid'>corners</span> <span class='hs-varid'>r1</span>
<a name="line-182"></a> <span class='hs-keyglyph'>|</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>w</span><span class='hs-layout'>,</span><span class='hs-varid'>x</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-varid'>y</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-keyglyph'><-</span> <span class='hs-varid'>edge</span> <span class='hs-varop'>$</span> <span class='hs-varid'>delay</span> <span class='hs-num'>2</span> <span class='hs-varop'>$</span> <span class='hs-varid'>corners</span> <span class='hs-varid'>r2</span>
<a name="line-183"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>dir</span> <span class='hs-keyglyph'><-</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>U</span><span class='hs-layout'>,</span><span class='hs-conid'>R</span><span class='hs-layout'>,</span><span class='hs-conid'>D</span><span class='hs-layout'>,</span><span class='hs-conid'>L</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span>
<a name="line-184"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>edge</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-varid'>zip</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-layout'>(</span><span class='hs-varid'>xs</span> <span class='hs-varop'>++</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>x</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
<a name="line-185"></a> <span class='hs-varid'>edge</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span>
<a name="line-186"></a> <span class='hs-varid'>delay</span> <span class='hs-varid'>n</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>drop</span> <span class='hs-varid'>n</span> <span class='hs-varid'>xs</span> <span class='hs-varop'>++</span> <span class='hs-varid'>take</span> <span class='hs-varid'>n</span> <span class='hs-varid'>xs</span>
<a name="line-187"></a> <span class='hs-varid'>allEq</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>all</span> <span class='hs-layout'>(</span><span class='hs-varid'>uncurry</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>edge</span>
<a name="line-188"></a>
<a name="line-189"></a><a name="adjacent"></a><span class='hs-comment'>-- | in what direction is the second window from the first that can expand if the</span>
<a name="line-190"></a><span class='hs-comment'>-- first is shrunk, assuming that the root window is fully covered:</span>
<a name="line-191"></a><span class='hs-comment'>-- one direction for a common edge</span>
<a name="line-192"></a><span class='hs-comment'>-- two directions for a common corner</span>
<a name="line-193"></a><span class='hs-definition'>adjacent</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Set</span> <span class='hs-conid'>Direction2D</span>
<a name="line-194"></a><span class='hs-definition'>adjacent</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>comparingEdges</span> <span class='hs-layout'>(</span><span class='hs-varid'>all</span> <span class='hs-varop'>.</span> <span class='hs-varid'>onClosedInterval</span><span class='hs-layout'>)</span>
<a name="line-195"></a>
<a name="line-196"></a><a name="touching"></a><span class='hs-comment'>-- | True whenever two edges touch. not (Set.null $ adjacent x y) ==> touching x y</span>
<a name="line-197"></a><span class='hs-definition'>touching</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span>
<a name="line-198"></a><span class='hs-definition'>touching</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>not</span> <span class='hs-varop'>.</span> <span class='hs-conid'>Set</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varop'>$</span> <span class='hs-varid'>comparingEdges</span> <span class='hs-varid'>c</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span>
<a name="line-199"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>c</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>any</span> <span class='hs-layout'>(</span><span class='hs-varid'>onClosedInterval</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'>any</span> <span class='hs-layout'>(</span><span class='hs-varid'>onClosedInterval</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span>
<a name="line-200"></a>
<a name="line-201"></a><a name="onClosedInterval"></a><span class='hs-definition'>onClosedInterval</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Ord</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span>
<a name="line-202"></a><span class='hs-definition'>onClosedInterval</span> <span class='hs-varid'>bds</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>minimum</span> <span class='hs-varid'>bds</span> <span class='hs-varop'><=</span> <span class='hs-varid'>x</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>maximum</span> <span class='hs-varid'>bds</span> <span class='hs-varop'>>=</span> <span class='hs-varid'>x</span>
<a name="line-203"></a>
<a name="line-204"></a><a name="corners"></a><span class='hs-comment'>-- | starting top left going clockwise</span>
<a name="line-205"></a><span class='hs-definition'>corners</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Position</span><span class='hs-layout'>,</span> <span class='hs-conid'>Position</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-206"></a><span class='hs-definition'>corners</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-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span><span class='hs-varid'>y</span><span class='hs-layout'>)</span>
<a name="line-207"></a> <span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-varop'>+</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>w</span><span class='hs-layout'>,</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span>
<a name="line-208"></a> <span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-varop'>+</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>w</span><span class='hs-layout'>,</span> <span class='hs-varid'>y</span><span class='hs-varop'>+</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span>
<a name="line-209"></a> <span class='hs-layout'>,</span><span class='hs-layout'>(</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'>fromIntegral</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span>
<a name="line-210"></a>
<a name="line-211"></a><a name="center"></a><span class='hs-definition'>center</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Position</span><span class='hs-layout'>,</span> <span class='hs-conid'>Position</span><span class='hs-layout'>)</span>
<a name="line-212"></a><span class='hs-definition'>center</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-layout'>(</span><span class='hs-varid'>avg</span> <span class='hs-varid'>x</span> <span class='hs-varid'>w</span><span class='hs-layout'>,</span> <span class='hs-varid'>avg</span> <span class='hs-varid'>y</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span>
<a name="line-213"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>avg</span> <span class='hs-varid'>a</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>a</span> <span class='hs-varop'>+</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>b</span> <span class='hs-varop'>`div`</span> <span class='hs-num'>2</span>
<a name="line-214"></a>
<a name="line-215"></a><a name="centerPlacement"></a><span class='hs-definition'>centerPlacement</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>RealFrac</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>r</span><span class='hs-layout'>,</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span>
<a name="line-216"></a><span class='hs-definition'>centerPlacement</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>centerPlacement'</span> <span class='hs-varid'>clamp</span>
<a name="line-217"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>clamp</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>signum</span> <span class='hs-varid'>n</span> <span class='hs-keyword'>of</span>
<a name="line-218"></a> <span class='hs-num'>0</span> <span class='hs-keyglyph'>-></span> <span class='hs-num'>0.5</span>
<a name="line-219"></a> <span class='hs-num'>1</span> <span class='hs-keyglyph'>-></span> <span class='hs-num'>1</span>
<a name="line-220"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-num'>0</span>
<a name="line-221"></a>
<a name="line-222"></a><a name="freeDirs"></a><span class='hs-definition'>freeDirs</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Set</span> <span class='hs-conid'>Direction2D</span>
<a name="line-223"></a><span class='hs-definition'>freeDirs</span> <span class='hs-varid'>root</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Set</span><span class='hs-varop'>.</span><span class='hs-varid'>fromList</span> <span class='hs-varop'>.</span> <span class='hs-varid'>uncurry</span> <span class='hs-layout'>(</span><span class='hs-varop'>++</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-varid'>lr</span> <span class='hs-varop'>***</span> <span class='hs-varid'>ud</span><span class='hs-layout'>)</span>
<a name="line-224"></a> <span class='hs-varop'>.</span> <span class='hs-varid'>centerPlacement'</span> <span class='hs-varid'>signum</span> <span class='hs-varid'>root</span>
<a name="line-225"></a> <span class='hs-keyword'>where</span>
<a name="line-226"></a> <span class='hs-varid'>lr</span> <span class='hs-num'>1</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>L</span><span class='hs-keyglyph'>]</span>
<a name="line-227"></a> <span class='hs-varid'>lr</span> <span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>R</span><span class='hs-keyglyph'>]</span>
<a name="line-228"></a> <span class='hs-varid'>lr</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>L</span><span class='hs-layout'>,</span><span class='hs-conid'>R</span><span class='hs-keyglyph'>]</span>
<a name="line-229"></a> <span class='hs-varid'>ud</span> <span class='hs-num'>1</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>U</span><span class='hs-keyglyph'>]</span>
<a name="line-230"></a> <span class='hs-varid'>ud</span> <span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>D</span><span class='hs-keyglyph'>]</span>
<a name="line-231"></a> <span class='hs-varid'>ud</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>U</span><span class='hs-layout'>,</span><span class='hs-conid'>D</span><span class='hs-keyglyph'>]</span>
<a name="line-232"></a>
<a name="line-233"></a><a name="centerPlacement'"></a><span class='hs-definition'>centerPlacement'</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Position</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>r</span><span class='hs-layout'>,</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span>
<a name="line-234"></a><span class='hs-definition'>centerPlacement'</span> <span class='hs-varid'>cf</span> <span class='hs-varid'>root</span> <span class='hs-varid'>assigned</span>
<a name="line-235"></a> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>cf</span> <span class='hs-varop'>$</span> <span class='hs-varid'>cx</span> <span class='hs-comment'>-</span> <span class='hs-varid'>cwx</span><span class='hs-layout'>,</span> <span class='hs-varid'>cf</span> <span class='hs-varop'>$</span> <span class='hs-varid'>cy</span> <span class='hs-comment'>-</span> <span class='hs-varid'>cwy</span><span class='hs-layout'>)</span>
<a name="line-236"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>cx</span><span class='hs-layout'>,</span><span class='hs-varid'>cy</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>center</span> <span class='hs-varid'>root</span>
<a name="line-237"></a> <span class='hs-layout'>(</span><span class='hs-varid'>cwx</span><span class='hs-layout'>,</span><span class='hs-varid'>cwy</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>center</span> <span class='hs-varid'>assigned</span>
</pre></body>
</html>
