<?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://www.cs.york.ac.uk/fp/darcs/hscolour/ --> <title>XMonad/Layout/Spiral.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 #-}</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.Spiral</span> <a name="line-6"></a><span class='hs-comment'>-- Copyright : (c) Joe Thornber <joe.thornber@gmail.com></span> <a name="line-7"></a><span class='hs-comment'>-- License : BSD3-style (see LICENSE)</span> <a name="line-8"></a><span class='hs-comment'>--</span> <a name="line-9"></a><span class='hs-comment'>-- Maintainer : Joe Thornber <joe.thornber@gmail.com></span> <a name="line-10"></a><span class='hs-comment'>-- Stability : stable</span> <a name="line-11"></a><span class='hs-comment'>-- Portability : portable</span> <a name="line-12"></a><span class='hs-comment'>--</span> <a name="line-13"></a><span class='hs-comment'>-- A spiral tiling layout.</span> <a name="line-14"></a><span class='hs-comment'>--</span> <a name="line-15"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span> <a name="line-16"></a> <a name="line-17"></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'>Spiral</span> <span class='hs-layout'>(</span> <a name="line-18"></a> <span class='hs-comment'>-- * Usage</span> <a name="line-19"></a> <span class='hs-comment'>-- $usage</span> <a name="line-20"></a> <span class='hs-varid'>spiral</span> <a name="line-21"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>spiralWithDir</span> <a name="line-22"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>Rotation</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span> <a name="line-23"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>Direction</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span> <a name="line-24"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-25"></a> <a name="line-26"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Ratio</span> <a name="line-27"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>XMonad</span> <a name="line-28"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>XMonad</span><span class='hs-varop'>.</span><span class='hs-conid'>StackSet</span> <span class='hs-layout'>(</span> <span class='hs-varid'>integrate</span> <span class='hs-layout'>)</span> <a name="line-29"></a> <a name="line-30"></a><span class='hs-comment'>-- $usage</span> <a name="line-31"></a><span class='hs-comment'>-- You can use this module with the following in your @~\/.xmonad\/xmonad.hs@:</span> <a name="line-32"></a><span class='hs-comment'>--</span> <a name="line-33"></a><span class='hs-comment'>-- > import XMonad.Layout.Spiral</span> <a name="line-34"></a><span class='hs-comment'>--</span> <a name="line-35"></a><span class='hs-comment'>-- Then edit your @layoutHook@ by adding the Spiral layout:</span> <a name="line-36"></a><span class='hs-comment'>--</span> <a name="line-37"></a><span class='hs-comment'>-- > myLayout = spiral (6/7) ||| etc..</span> <a name="line-38"></a><span class='hs-comment'>-- > main = xmonad defaultConfig { layoutHook = myLayout }</span> <a name="line-39"></a><span class='hs-comment'>--</span> <a name="line-40"></a><span class='hs-comment'>-- For more detailed instructions on editing the layoutHook see:</span> <a name="line-41"></a><span class='hs-comment'>--</span> <a name="line-42"></a><span class='hs-comment'>-- "XMonad.Doc.Extending#Editing_the_layout_hook"</span> <a name="line-43"></a> <a name="line-44"></a><a name="fibs"></a><span class='hs-definition'>fibs</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Integer</span><span class='hs-keyglyph'>]</span> <a name="line-45"></a><span class='hs-definition'>fibs</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>1</span> <span class='hs-conop'>:</span> <span class='hs-num'>1</span> <span class='hs-conop'>:</span> <span class='hs-varid'>zipWith</span> <span class='hs-layout'>(</span><span class='hs-varop'>+</span><span class='hs-layout'>)</span> <span class='hs-varid'>fibs</span> <span class='hs-layout'>(</span><span class='hs-varid'>tail</span> <span class='hs-varid'>fibs</span><span class='hs-layout'>)</span> <a name="line-46"></a> <a name="line-47"></a><a name="mkRatios"></a><span class='hs-definition'>mkRatios</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Integer</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Rational</span><span class='hs-keyglyph'>]</span> <a name="line-48"></a><span class='hs-definition'>mkRatios</span> <span class='hs-layout'>(</span><span class='hs-varid'>x1</span><span class='hs-conop'>:</span><span class='hs-varid'>x2</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-layout'>(</span><span class='hs-varid'>x1</span> <span class='hs-varop'>%</span> <span class='hs-varid'>x2</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>mkRatios</span> <span class='hs-layout'>(</span><span class='hs-varid'>x2</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <a name="line-49"></a><span class='hs-definition'>mkRatios</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>[]</span> <a name="line-50"></a> <a name="line-51"></a><a name="Rotation"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Rotation</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>CW</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>CCW</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-52"></a><a name="Direction"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Direction</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>East</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>South</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>West</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>North</span> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span><span class='hs-layout'>,</span> <span class='hs-conid'>Enum</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-53"></a> <a name="line-54"></a><a name="blend"></a><span class='hs-definition'>blend</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rational</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Rational</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Rational</span><span class='hs-keyglyph'>]</span> <a name="line-55"></a><span class='hs-definition'>blend</span> <span class='hs-varid'>scale</span> <span class='hs-varid'>ratios</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>zipWith</span> <span class='hs-layout'>(</span><span class='hs-varop'>+</span><span class='hs-layout'>)</span> <span class='hs-varid'>ratios</span> <span class='hs-varid'>scaleFactors</span> <a name="line-56"></a> <span class='hs-keyword'>where</span> <a name="line-57"></a> <span class='hs-varid'>len</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>length</span> <span class='hs-varid'>ratios</span> <a name="line-58"></a> <span class='hs-varid'>step</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>scale</span> <span class='hs-comment'>-</span> <span class='hs-layout'>(</span><span class='hs-num'>1</span> <span class='hs-varop'>%</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>/</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>len</span><span class='hs-layout'>)</span> <a name="line-59"></a> <span class='hs-varid'>scaleFactors</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varop'>*</span> <span class='hs-varid'>step</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>reverse</span> <span class='hs-varop'>.</span> <span class='hs-varid'>take</span> <span class='hs-varid'>len</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>[</span><span class='hs-num'>0</span><span class='hs-keyglyph'>..</span><span class='hs-keyglyph'>]</span> <a name="line-60"></a> <a name="line-61"></a><a name="spiral"></a><span class='hs-comment'>-- | A spiral layout. The parameter controls the size ratio between</span> <a name="line-62"></a><span class='hs-comment'>-- successive windows in the spiral. Sensible values range from 0</span> <a name="line-63"></a><span class='hs-comment'>-- up to the aspect ratio of your monitor (often 4\/3).</span> <a name="line-64"></a><span class='hs-comment'>--</span> <a name="line-65"></a><span class='hs-comment'>-- By default, the spiral is counterclockwise, starting to the east.</span> <a name="line-66"></a><span class='hs-comment'>-- See also 'spiralWithDir'.</span> <a name="line-67"></a><span class='hs-definition'>spiral</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rational</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>SpiralWithDir</span> <span class='hs-varid'>a</span> <a name="line-68"></a><span class='hs-definition'>spiral</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>spiralWithDir</span> <span class='hs-conid'>East</span> <span class='hs-conid'>CW</span> <a name="line-69"></a> <a name="line-70"></a><a name="spiralWithDir"></a><span class='hs-comment'>-- | Create a spiral layout, specifying the starting cardinal direction,</span> <a name="line-71"></a><span class='hs-comment'>-- the spiral direction (clockwise or counterclockwise), and the</span> <a name="line-72"></a><span class='hs-comment'>-- size ratio.</span> <a name="line-73"></a><span class='hs-definition'>spiralWithDir</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Direction</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rotation</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rational</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>SpiralWithDir</span> <span class='hs-varid'>a</span> <a name="line-74"></a><span class='hs-definition'>spiralWithDir</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>SpiralWithDir</span> <a name="line-75"></a> <a name="line-76"></a><a name="SpiralWithDir"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>SpiralWithDir</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>SpiralWithDir</span> <span class='hs-conid'>Direction</span> <span class='hs-conid'>Rotation</span> <span class='hs-conid'>Rational</span> <a name="line-77"></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-78"></a> <a name="line-79"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>LayoutClass</span> <span class='hs-conid'>SpiralWithDir</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>where</span> <a name="line-80"></a> <span class='hs-varid'>pureLayout</span> <span class='hs-layout'>(</span><span class='hs-conid'>SpiralWithDir</span> <span class='hs-varid'>dir</span> <span class='hs-varid'>rot</span> <span class='hs-varid'>scale</span><span class='hs-layout'>)</span> <span class='hs-varid'>sc</span> <span class='hs-varid'>stack</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>zip</span> <span class='hs-varid'>ws</span> <span class='hs-varid'>rects</span> <a name="line-81"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>ws</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>integrate</span> <span class='hs-varid'>stack</span> <a name="line-82"></a> <span class='hs-varid'>ratios</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>blend</span> <span class='hs-varid'>scale</span> <span class='hs-varop'>.</span> <span class='hs-varid'>reverse</span> <span class='hs-varop'>.</span> <span class='hs-varid'>take</span> <span class='hs-layout'>(</span><span class='hs-varid'>length</span> <span class='hs-varid'>ws</span> <span class='hs-comment'>-</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>mkRatios</span> <span class='hs-varop'>$</span> <span class='hs-varid'>tail</span> <span class='hs-varid'>fibs</span> <a name="line-83"></a> <span class='hs-varid'>rects</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>divideRects</span> <span class='hs-layout'>(</span><span class='hs-varid'>zip</span> <span class='hs-varid'>ratios</span> <span class='hs-varid'>dirs</span><span class='hs-layout'>)</span> <span class='hs-varid'>sc</span> <a name="line-84"></a> <span class='hs-varid'>dirs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dropWhile</span> <span class='hs-layout'>(</span><span class='hs-varop'>/=</span> <span class='hs-varid'>dir</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>rot</span> <span class='hs-keyword'>of</span> <a name="line-85"></a> <span class='hs-conid'>CW</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>cycle</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>East</span> <span class='hs-keyglyph'>..</span> <span class='hs-conid'>North</span><span class='hs-keyglyph'>]</span> <a name="line-86"></a> <span class='hs-conid'>CCW</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>cycle</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>North</span><span class='hs-layout'>,</span> <span class='hs-conid'>West</span><span class='hs-layout'>,</span> <span class='hs-conid'>South</span><span class='hs-layout'>,</span> <span class='hs-conid'>East</span><span class='hs-keyglyph'>]</span> <a name="line-87"></a> <span class='hs-varid'>handleMessage</span> <span class='hs-layout'>(</span><span class='hs-conid'>SpiralWithDir</span> <span class='hs-varid'>dir</span> <span class='hs-varid'>rot</span> <span class='hs-varid'>scale</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>return</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fmap</span> <span class='hs-varid'>resize</span> <span class='hs-varop'>.</span> <span class='hs-varid'>fromMessage</span> <a name="line-88"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>resize</span> <span class='hs-conid'>Expand</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>spiralWithDir</span> <span class='hs-varid'>dir</span> <span class='hs-varid'>rot</span> <span class='hs-varop'>$</span> <span class='hs-layout'>(</span><span class='hs-num'>21</span> <span class='hs-varop'>%</span> <span class='hs-num'>20</span><span class='hs-layout'>)</span> <span class='hs-varop'>*</span> <span class='hs-varid'>scale</span> <a name="line-89"></a> <span class='hs-varid'>resize</span> <span class='hs-conid'>Shrink</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>spiralWithDir</span> <span class='hs-varid'>dir</span> <span class='hs-varid'>rot</span> <span class='hs-varop'>$</span> <span class='hs-layout'>(</span><span class='hs-num'>20</span> <span class='hs-varop'>%</span> <span class='hs-num'>21</span><span class='hs-layout'>)</span> <span class='hs-varop'>*</span> <span class='hs-varid'>scale</span> <a name="line-90"></a> <span class='hs-varid'>description</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"Spiral"</span> <a name="line-91"></a> <a name="line-92"></a><a name="divideRects"></a><span class='hs-comment'>-- This will produce one more rectangle than there are splits details</span> <a name="line-93"></a><span class='hs-definition'>divideRects</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Rational</span><span class='hs-layout'>,</span> <span class='hs-conid'>Direction</span><span class='hs-layout'>)</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'>Rectangle</span><span class='hs-keyglyph'>]</span> <a name="line-94"></a><span class='hs-definition'>divideRects</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>r</span><span class='hs-keyglyph'>]</span> <a name="line-95"></a><span class='hs-definition'>divideRects</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>r</span><span class='hs-layout'>,</span><span class='hs-varid'>d</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-varid'>rect</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>divideRect</span> <span class='hs-varid'>r</span> <span class='hs-varid'>d</span> <span class='hs-varid'>rect</span> <span class='hs-keyword'>of</span> <a name="line-96"></a> <span class='hs-layout'>(</span><span class='hs-varid'>r1</span><span class='hs-layout'>,</span> <span class='hs-varid'>r2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>r1</span> <span class='hs-conop'>:</span> <span class='hs-layout'>(</span><span class='hs-varid'>divideRects</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>r2</span><span class='hs-layout'>)</span> <a name="line-97"></a> <a name="line-98"></a><a name="Rect"></a><span class='hs-comment'>-- It's much simpler if we work with all Integers and convert to</span> <a name="line-99"></a><a name="Rect"></a><span class='hs-comment'>-- Rectangle at the end.</span> <a name="line-100"></a><a name="Rect"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Rect</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Rect</span> <span class='hs-conid'>Integer</span> <span class='hs-conid'>Integer</span> <span class='hs-conid'>Integer</span> <span class='hs-conid'>Integer</span> <a name="line-101"></a> <a name="line-102"></a><a name="fromRect"></a><span class='hs-definition'>fromRect</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rect</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rectangle</span> <a name="line-103"></a><span class='hs-definition'>fromRect</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rect</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'>fromIntegral</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>w</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span> <a name="line-104"></a> <a name="line-105"></a><a name="toRect"></a><span class='hs-definition'>toRect</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rectangle</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rect</span> <a name="line-106"></a><span class='hs-definition'>toRect</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'>Rect</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>w</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span> <a name="line-107"></a> <a name="line-108"></a><a name="divideRect"></a><span class='hs-definition'>divideRect</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rational</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Direction</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'>Rectangle</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rectangle</span><span class='hs-layout'>)</span> <a name="line-109"></a><span class='hs-definition'>divideRect</span> <span class='hs-varid'>r</span> <span class='hs-varid'>d</span> <span class='hs-varid'>rect</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>r1</span><span class='hs-layout'>,</span> <span class='hs-varid'>r2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>divideRect'</span> <span class='hs-varid'>r</span> <span class='hs-varid'>d</span> <span class='hs-varop'>$</span> <span class='hs-varid'>toRect</span> <span class='hs-varid'>rect</span> <span class='hs-keyword'>in</span> <a name="line-110"></a> <span class='hs-layout'>(</span><span class='hs-varid'>fromRect</span> <span class='hs-varid'>r1</span><span class='hs-layout'>,</span> <span class='hs-varid'>fromRect</span> <span class='hs-varid'>r2</span><span class='hs-layout'>)</span> <a name="line-111"></a> <a name="line-112"></a><a name="divideRect'"></a><span class='hs-definition'>divideRect'</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rational</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Direction</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Rect</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Rect</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rect</span><span class='hs-layout'>)</span> <a name="line-113"></a><span class='hs-definition'>divideRect'</span> <span class='hs-varid'>ratio</span> <span class='hs-varid'>dir</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rect</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> <a name="line-114"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>dir</span> <span class='hs-keyword'>of</span> <a name="line-115"></a> <span class='hs-conid'>East</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>w1</span><span class='hs-layout'>,</span> <span class='hs-varid'>w2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>chop</span> <span class='hs-varid'>ratio</span> <span class='hs-varid'>w</span> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rect</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-varid'>w1</span> <span class='hs-varid'>h</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rect</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+</span> <span class='hs-varid'>w1</span><span class='hs-layout'>)</span> <span class='hs-varid'>y</span> <span class='hs-varid'>w2</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span> <a name="line-116"></a> <span class='hs-conid'>South</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>h1</span><span class='hs-layout'>,</span> <span class='hs-varid'>h2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>chop</span> <span class='hs-varid'>ratio</span> <span class='hs-varid'>h</span> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rect</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-varid'>w</span> <span class='hs-varid'>h1</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rect</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'>h1</span><span class='hs-layout'>)</span> <span class='hs-varid'>w</span> <span class='hs-varid'>h2</span><span class='hs-layout'>)</span> <a name="line-117"></a> <span class='hs-conid'>West</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>w1</span><span class='hs-layout'>,</span> <span class='hs-varid'>w2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>chop</span> <span class='hs-layout'>(</span><span class='hs-num'>1</span> <span class='hs-comment'>-</span> <span class='hs-varid'>ratio</span><span class='hs-layout'>)</span> <span class='hs-varid'>w</span> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rect</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-varop'>+</span> <span class='hs-varid'>w1</span><span class='hs-layout'>)</span> <span class='hs-varid'>y</span> <span class='hs-varid'>w2</span> <span class='hs-varid'>h</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rect</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-varid'>w1</span> <span class='hs-varid'>h</span><span class='hs-layout'>)</span> <a name="line-118"></a> <span class='hs-conid'>North</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>h1</span><span class='hs-layout'>,</span> <span class='hs-varid'>h2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>chop</span> <span class='hs-layout'>(</span><span class='hs-num'>1</span> <span class='hs-comment'>-</span> <span class='hs-varid'>ratio</span><span class='hs-layout'>)</span> <span class='hs-varid'>h</span> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-conid'>Rect</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'>h1</span><span class='hs-layout'>)</span> <span class='hs-varid'>w</span> <span class='hs-varid'>h2</span><span class='hs-layout'>,</span> <span class='hs-conid'>Rect</span> <span class='hs-varid'>x</span> <span class='hs-varid'>y</span> <span class='hs-varid'>w</span> <span class='hs-varid'>h1</span><span class='hs-layout'>)</span> <a name="line-119"></a> <a name="line-120"></a><a name="chop"></a><span class='hs-definition'>chop</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Rational</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Integer</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Integer</span><span class='hs-layout'>,</span> <span class='hs-conid'>Integer</span><span class='hs-layout'>)</span> <a name="line-121"></a><span class='hs-definition'>chop</span> <span class='hs-varid'>rat</span> <span class='hs-varid'>n</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>n</span><span class='hs-layout'>)</span> <span class='hs-varop'>*</span> <span class='hs-layout'>(</span><span class='hs-varid'>numerator</span> <span class='hs-varid'>rat</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>`div`</span> <span class='hs-layout'>(</span><span class='hs-varid'>denominator</span> <span class='hs-varid'>rat</span><span class='hs-layout'>)</span> <span class='hs-keyword'>in</span> <a name="line-122"></a> <span class='hs-layout'>(</span><span class='hs-varid'>f</span><span class='hs-layout'>,</span> <span class='hs-varid'>n</span> <span class='hs-comment'>-</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> </pre></body> </html>