<head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><style type="text/css">div.sourceCode { overflow-x: auto; }
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
margin: 0; padding: 0; vertical-align: baseline; border: none; }
table.sourceCode { width: 100%; line-height: 100%; }
td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; color: #aaaaaa; border-right: 1px solid #aaaaaa; }
td.sourceCode { padding-left: 5px; }
code > span.kw { color: #007020; font-weight: bold; }
code > span.dt { color: #902000; }
code > span.dv { color: #40a070; }
code > span.bn { color: #40a070; }
code > span.fl { color: #40a070; }
code > span.ch { color: #4070a0; }
code > span.st { color: #4070a0; }
code > span.co { color: #60a0b0; font-style: italic; }
code > span.ot { color: #007020; }
code > span.al { color: #ff0000; font-weight: bold; }
code > span.fu { color: #06287e; }
code > span.er { color: #ff0000; font-weight: bold; }
</style></head><body><div class="sourceCode"><pre class="sourceCode"><code class="sourceCode"><span class="kw" title="KeywordTok">import </span><span class="dt" title="DataTypeTok">Data.List</span> (delete)
<span class="kw" title="KeywordTok">import </span><span class="dt" title="DataTypeTok">Data.Char</span> (toUpper)
<span class="co" title="CommentTok">-- returns list of all solutions, each solution being a list of blocks</span>
<span class="ot" title="OtherTok">abc ::</span> (<span class="dt" title="DataTypeTok">Eq</span> a) <span class="ot" title="OtherTok">=></span> [[a]] <span class="ot" title="OtherTok">-></span> [a] <span class="ot" title="OtherTok">-></span> [[[a]]]
abc _ [] <span class="fu" title="FunctionTok">=</span> [[]]
abc blocks (c<span class="fu" title="FunctionTok">:</span>cs) <span class="fu" title="FunctionTok">=</span> [b<span class="fu" title="FunctionTok">:</span>ans <span class="fu" title="FunctionTok">|</span> b <span class="ot" title="OtherTok"><-</span> blocks, c <span class="ot" title="OtherTok">`elem`</span> b,
ans <span class="ot" title="OtherTok"><-</span> abc (delete b blocks) cs]
blocks <span class="fu" title="FunctionTok">=</span> [<span class="st" title="StringTok">"BO"</span>, <span class="st" title="StringTok">"XK"</span>, <span class="st" title="StringTok">"DQ"</span>, <span class="st" title="StringTok">"CP"</span>, <span class="st" title="StringTok">"NA"</span>, <span class="st" title="StringTok">"GT"</span>, <span class="st" title="StringTok">"RE"</span>, <span class="st" title="StringTok">"TG"</span>, <span class="st" title="StringTok">"QD"</span>, <span class="st" title="StringTok">"FS"</span>,
<span class="st" title="StringTok">"JW"</span>, <span class="st" title="StringTok">"HU"</span>, <span class="st" title="StringTok">"VI"</span>, <span class="st" title="StringTok">"AN"</span>, <span class="st" title="StringTok">"OB"</span>, <span class="st" title="StringTok">"ER"</span>, <span class="st" title="StringTok">"FS"</span>, <span class="st" title="StringTok">"LY"</span>, <span class="st" title="StringTok">"PC"</span>, <span class="st" title="StringTok">"ZM"</span>]
<span class="ot" title="OtherTok">main ::</span> <span class="dt" title="DataTypeTok">IO</span> ()
main <span class="fu" title="FunctionTok">=</span> mapM_ (\w <span class="ot" title="OtherTok">-></span> print (w, not <span class="fu" title="FunctionTok">.</span> null <span class="fu" title="FunctionTok">$</span> abc blocks (map toUpper w)))
[<span class="st" title="StringTok">""</span>, <span class="st" title="StringTok">"A"</span>, <span class="st" title="StringTok">"BARK"</span>, <span class="st" title="StringTok">"BoOK"</span>, <span class="st" title="StringTok">"TrEAT"</span>, <span class="st" title="StringTok">"COmMoN"</span>, <span class="st" title="StringTok">"SQUAD"</span>, <span class="st" title="StringTok">"conFUsE"</span>]</code></pre></div></body>