Blame view

backend/makest/js/plugins/codemirror/mode/haskell/index.html 2.14 KB
d1f8bd40   Alexey Boroda   first commit
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
  <!doctype html>
  
  <title>CodeMirror: Haskell mode</title>
  <meta charset="utf-8"/>
  <link rel=stylesheet href="../../doc/docs.css">
  
  <link rel="stylesheet" href="../../lib/codemirror.css">
  <link rel="stylesheet" href="../../theme/elegant.css">
  <script src="../../lib/codemirror.js"></script>
  <script src="../../addon/edit/matchbrackets.js"></script>
  <script src="haskell.js"></script>
  <style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
  <div id=nav>
    <a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a>
  
    <ul>
      <li><a href="../../index.html">Home</a>
      <li><a href="../../doc/manual.html">Manual</a>
      <li><a href="https://github.com/codemirror/codemirror">Code</a>
    </ul>
    <ul>
      <li><a href="../index.html">Language modes</a>
      <li><a class=active href="#">Haskell</a>
    </ul>
  </div>
  
  <article>
  <h2>Haskell mode</h2>
  <form><textarea id="code" name="code">
  module UniquePerms (
      uniquePerms
      )
  where
  
  -- | Find all unique permutations of a list where there might be duplicates.
  uniquePerms :: (Eq a) => [a] -> [[a]]
  uniquePerms = permBag . makeBag
  
  -- | An unordered collection where duplicate values are allowed,
  -- but represented with a single value and a count.
  type Bag a = [(a, Int)]
  
  makeBag :: (Eq a) => [a] -> Bag a
  makeBag [] = []
  makeBag (a:as) = mix a $ makeBag as
    where
      mix a []                        = [(a,1)]
      mix a (bn@(b,n):bs) | a == b    = (b,n+1):bs
                          | otherwise = bn : mix a bs
  
  permBag :: Bag a -> [[a]]
  permBag [] = [[]]
  permBag bs = concatMap (\(f,cs) -> map (f:) $ permBag cs) . oneOfEach $ bs
    where
      oneOfEach [] = []
      oneOfEach (an@(a,n):bs) =
          let bs' = if n == 1 then bs else (a,n-1):bs
          in (a,bs') : mapSnd (an:) (oneOfEach bs)
      
      apSnd f (a,b) = (a, f b)
      mapSnd = map . apSnd
  </textarea></form>
  
      <script>
        var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
          lineNumbers: true,
          matchBrackets: true,
          theme: "elegant"
        });
      </script>
  
      <p><strong>MIME types defined:</strong> <code>text/x-haskell</code>.</p>
    </article>