Fix #1674: add search to doc site

author: Felix Mulder <felix.mulder@gmail.com> 2016-11-07 15:36:20 +0100
committer: Felix Mulder <felix.mulder@gmail.com> 2016-11-07 15:57:52 +0100
commit: fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c (patch)
tree: f99953c897acd0c2fabf75060e1845650547ccac /docs
parent: 5d590242132b0f38fc04afed2c787dadfd8d6c2f (diff)
download: dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.gz
dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.bz2
dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.zip
22 files changed, 179 insertions, 46 deletions
diff --git a/docs/_includes/toc.html b/docs/_includes/toc.html
index cac31d2bf..45cbb5940 100644
--- a/docs/_includes/toc.html
+++ b/docs/_includes/toc.html
@@ -4,6 +4,9 @@
             {% include scala-logo.html %}
         </div>
     </a>
+    <form id="search-form" action="/search.html" method="get">
+        <input placeholder="Search" type="text" id="search-box" name="query">
+    </form>
     <ul id="categories">
         <li><ul><li><a href="{{ site.baseurl }}/blog">Blog</a></li></ul></li>
         <li><ul><li><a href="{{ site.baseurl }}/docs">Dotty Docs</a></li></ul></li>
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index ce1345145..65a2cd859 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -15,6 +15,7 @@
                 </div>
             </a>
             <div id="content">
+                <h1>{{ page.title }}</h1>
                 {{ content }}
             </div>
             <div id="toc">
diff --git a/docs/_layouts/search.html b/docs/_layouts/search.html
new file mode 100644
index 000000000..14994ab62
--- /dev/null
+++ b/docs/_layouts/search.html
@@ -0,0 +1,17 @@
+<html>
+    <head>
+        <meta charset="utf-8">
+
+        <title>Dotty - {{ page.title }}</title>
+        <link rel="shortcut icon" type="image/png" href="{{ site.baseurl}}/images/favicon.png"/>
+        <link rel="stylesheet" href="http://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.7.0/styles/github.min.css">
+        <link rel="stylesheet" href="{{ site.baseurl }}/css/main.css">
+    </head>
+    <body>
+        <div id="container">
+            <div class="search">
+                {{ content }}
+            </div>
+        </div>
+    </body>
+</html>
diff --git a/docs/blog/index.html b/docs/blog/index.html
index e58018857..ac4b33c8a 100644
--- a/docs/blog/index.html
+++ b/docs/blog/index.html
@@ -3,8 +3,6 @@ layout: default
 title: "Blog"
 ---
 
-<h1>Blog</h1>
-
 <ul class="post-list">
     {% for post in site.posts %}
     <li>
diff --git a/docs/css/main.scss b/docs/css/main.scss
index c6b41594f..2fca7d8ea 100644
--- a/docs/css/main.scss
+++ b/docs/css/main.scss
@@ -15,8 +15,8 @@ $base-line-height: 1.5;
 
 $spacing-unit:     30px;
 
-$text-color:       #111;
-$background-color: #fdfdfd;
+$text-color:       #efefef;
+$background-color: #002B36;
 $brand-color:      #2a7ae2;
 
 
@@ -25,6 +25,8 @@ $blue-light:    rgba(52, 152, 219, 0.12);
 $grey:          #f8f8f8;
 $red:           #de332e;
 
+$link-color: $blue;
+
 // content area
 $distance-top:     80px;
 $content-width:    1150px;
@@ -49,6 +51,14 @@ html {
     box-sizing: inherit;
 }
 
+*:focus {
+    outline: none;
+}
+
+a, a:focus, a:hover, a:visited {
+    color: $link-color;
+}
+
 div#container {
     position: relative;
     max-width: $content-width;
@@ -80,10 +90,25 @@ div#container {
         padding-right: 20px;
         width: $toc-width;
 
+        form#search-form {
+            input#search-box {
+                width: 100%;
+                border: 0;
+                height: 24px;
+                font-size: 14px;
+                padding-left: 4px;
+            }
+
+            input#search-button {
+                margin-top: 3px;
+            }
+        }
+
         > div {
             position: fixed;
             top: $distance-top;
             bottom: auto;
+            max-width: $toc-width;
 
             a > div#scala-logo {
                 width: 64px;
@@ -125,6 +150,21 @@ div#container {
     }
 }
 
+h1#search {
+    margin-top: 50px;
+}
+
+form#search-bar {
+    width: 100%;
+    > input {
+        width: 100%;
+        border: 0;
+        height: 24px;
+        font-size: 14px;
+        padding-left: 4px;
+    }
+}
+
 div.author-container {
     height: 50px;
     margin-bottom: 15px;
@@ -155,7 +195,7 @@ ul.post-list {
 
     > li {
         div.date {
-            color: rgba(0,0,0,0.45);
+            color: rgba(255,255,255,0.55);
         }
     }
 }
@@ -165,12 +205,18 @@ pre, code {
     border: 0;
     border-radius: 3px;
     background-color: $grey;
+    color: $background-color;
     font-family: $code-font-family;
 }
 
+code {
+    padding-left: 0.1em;
+    padding-right: 0.1em;
+}
+
 body {
     font: 400 16px/1.5 "Helvetica Neue", Helvetica, Arial, sans-serif;
-    color: #111;
+    color: $text-color;
 }
 
 @include media-query(1166px) {
diff --git a/docs/docs/contributing/eclipse.md b/docs/docs/contributing/eclipse.md
index 46301dc42..9afe28355 100644
--- a/docs/docs/contributing/eclipse.md
+++ b/docs/docs/contributing/eclipse.md
@@ -1,11 +1,8 @@
 ---
 layout: default
-title: Eclipse
+title: "Building Dotty with Eclipse"
 ---
 
-Building Dotty with Eclipse
-===========================
-
 Build setup
 -----------
 You may need to redo these steps when the build changes.
diff --git a/docs/docs/contributing/getting-started.md b/docs/docs/contributing/getting-started.md
index 92afd02f3..bea5b6962 100644
--- a/docs/docs/contributing/getting-started.md
+++ b/docs/docs/contributing/getting-started.md
@@ -3,9 +3,6 @@ layout: default
 title: "Getting Started"
 ---
 
-Getting Started
-===============
-
 Talks on Dotty
 --------------
 - [Scala's Road Ahead](https://www.youtube.com/watch?v=GHzWqJKFCk4) by Martin Odersky [\[slides\]](http://www.slideshare.net/Odersky/scala-days-nyc-2016)
diff --git a/docs/docs/contributing/intellij-idea.md b/docs/docs/contributing/intellij-idea.md
index dda04f515..9231f209a 100644
--- a/docs/docs/contributing/intellij-idea.md
+++ b/docs/docs/contributing/intellij-idea.md
@@ -1,9 +1,8 @@
 ---
 layout: default
+title: "Building Dotty with Intellij IDEA"
 ---
 
-Building Dotty with Intellij IDEA
-=================================
 Dotty compiler support is available in the [Scala plugin nightly] starting
 from 2.2.39. You need to install [IDEA 2016.1] to try it.
 
diff --git a/docs/docs/contributing/workflow.md b/docs/docs/contributing/workflow.md
index e160999d9..a0b9fd528 100644
--- a/docs/docs/contributing/workflow.md
+++ b/docs/docs/contributing/workflow.md
@@ -3,8 +3,6 @@ layout: default
 title: "Workflow"
 ---
 
-Workflow
-========
 This document details common workflow patterns when working with Dotty.
 
 ## Compiling files with dotc ##
diff --git a/docs/docs/index.md b/docs/docs/index.md
index 6fc2b2739..699fcecb1 100644
--- a/docs/docs/index.md
+++ b/docs/docs/index.md
@@ -1,10 +1,8 @@
 ---
 layout: default
-title: "Docs"
+title: "Dotty Documentation"
 ---
 
-Dotty Documentation
-===================
 The Dotty compiler is currently somewhat lacking in documentation - PRs
 welcome! But, we've attempted to gather the most essential knowledge in these
 pages.
diff --git a/docs/docs/internals/backend.md b/docs/docs/internals/backend.md
index 1fb9bba26..f10cf1e82 100644
--- a/docs/docs/internals/backend.md
+++ b/docs/docs/internals/backend.md
@@ -3,8 +3,6 @@ layout: default
 title: "Backend Internals"
 ---
 
-Backend Internals
-=================
 The code for the backend is split up by functionality and assembled in the
 objet `GenBCode`.
 
diff --git a/docs/docs/internals/contexts.md b/docs/docs/internals/contexts.md
index e2111029c..09cbb40c5 100644
--- a/docs/docs/internals/contexts.md
+++ b/docs/docs/internals/contexts.md
@@ -1,10 +1,8 @@
 ---
-title: Contexts
 layout: default
+title: "Contexts"
 ---
 
-Contexts
-========
 The `Context` contains the state of the compiler, for example
   * `settings`
   * `freshNames` (`FreshNameCreator`)
diff --git a/docs/docs/internals/dotc-scalac.md b/docs/docs/internals/dotc-scalac.md
index cf668cbb8..f41f21370 100644
--- a/docs/docs/internals/dotc-scalac.md
+++ b/docs/docs/internals/dotc-scalac.md
@@ -1,10 +1,8 @@
 ---
 layout: default
-title: "Scalac vs Dotty"
+title: "Differences between Scalac and Dotty"
 ---
 
-Differences between Scalac and Dotty
-====================================
 Overview explanation how symbols, named types and denotations hang together:
 [Denotations.scala:22]
 
diff --git a/docs/docs/internals/overall-structure.md b/docs/docs/internals/overall-structure.md
index 214e47aa5..08d9ebe97 100644
--- a/docs/docs/internals/overall-structure.md
+++ b/docs/docs/internals/overall-structure.md
@@ -1,10 +1,8 @@
 ---
 layout: default
-title: "Project Structure"
+title: "Dotty Overall Structure"
 ---
 
-Dotc Overall Structure
-======================
 The compiler code is found in package [dotty.tools]. It spans the
 following three sub-packages:
 
diff --git a/docs/docs/internals/periods.md b/docs/docs/internals/periods.md
index fe788915d..bb161b7b8 100644
--- a/docs/docs/internals/periods.md
+++ b/docs/docs/internals/periods.md
@@ -1,11 +1,8 @@
 ---
 layout: default
-title: "Periods"
-toc: true
+title: "Dotc's concept of time"
 ---
 
-Dotc's concept of time
-======================
 Conceptually, the `dotc` compiler's job is to maintain views of various
 artifacts associated with source code at all points in time.  But what is
 *time* for `dotc`? In fact, it is a combination of compiler runs and compiler
diff --git a/docs/docs/internals/type-system.md b/docs/docs/internals/type-system.md
index 191c107cf..e86e07fd1 100644
--- a/docs/docs/internals/type-system.md
+++ b/docs/docs/internals/type-system.md
@@ -1,9 +1,8 @@
 ---
 layout: default
+title: "Type System"
 ---
 
-Type System
-===========
 The types are defined in [dotty/tools/dotc/core/Types.scala][1]
 
 ## Class diagram ##
diff --git a/docs/docs/usage/cbt-projects.md b/docs/docs/usage/cbt-projects.md
index 1ae25efd5..291813b91 100644
--- a/docs/docs/usage/cbt-projects.md
+++ b/docs/docs/usage/cbt-projects.md
@@ -1,10 +1,8 @@
 ---
 layout: default
-title: "cbt"
+title: "Using Dotty with cbt"
 ---
 
-Using Dotty with cbt
-====================
 cbt comes with built-in dotty support. Follow the
 [cbt tutorial](https://github.com/cvogt/cbt/), then simply extend `Dotty` in the Build class.
 
diff --git a/docs/docs/usage/migrating.md b/docs/docs/usage/migrating.md
index d835aeea6..eb76571e5 100644
--- a/docs/docs/usage/migrating.md
+++ b/docs/docs/usage/migrating.md
@@ -3,9 +3,6 @@ layout: default
 title: "Migrating to Dotty"
 ---
 
-Migrating to Dotty
-==================
-
 ### Minor tweaks ###
  * `sym.linkedClassOfClass` => `sym.linkedClass`
  * `definitions` => `ctx.definitions`
diff --git a/docs/docs/usage/sbt-projects.md b/docs/docs/usage/sbt-projects.md
index 79418850d..b4eb5136d 100644
--- a/docs/docs/usage/sbt-projects.md
+++ b/docs/docs/usage/sbt-projects.md
@@ -1,10 +1,8 @@
 ---
 layout: default
-title: "sbt"
+title: "Using Dotty with sbt"
 ---
 
-Using Dotty with sbt
-====================
 It is now possible to use Dotty with sbt thanks to the dotty-bridge project.
 There are two alternatives in how to create an sbt project that uses dotty:
 
diff --git a/docs/js/lunr.min.js b/docs/js/lunr.min.js
new file mode 100644
index 000000000..22776bb85
--- /dev/null
+++ b/docs/js/lunr.min.js
@@ -0,0 +1,6 @@
+/**
+ * lunr - http://lunrjs.com - A bit like Solr, but much smaller and not as bright - 0.7.2
+ * Copyright (C) 2016 Oliver Nightingale
+ * @license MIT
+ */
+!function(){var t=function(e){var n=new t.Index;return n.pipeline.add(t.trimmer,t.stopWordFilter,t.stemmer),e&&e.call(n,n),n};t.version="0.7.2",t.utils={},t.utils.warn=function(t){return function(e){t.console&&console.warn&&console.warn(e)}}(this),t.utils.asString=function(t){return void 0===t||null===t?"":t.toString()},t.EventEmitter=function(){this.events={}},t.EventEmitter.prototype.addListener=function(){var t=Array.prototype.slice.call(arguments),e=t.pop(),n=t;if("function"!=typeof e)throw new TypeError("last argument must be a function");n.forEach(function(t){this.hasHandler(t)||(this.events[t]=[]),this.events[t].push(e)},this)},t.EventEmitter.prototype.removeListener=function(t,e){if(this.hasHandler(t)){var n=this.events[t].indexOf(e);this.events[t].splice(n,1),this.events[t].length||delete this.events[t]}},t.EventEmitter.prototype.emit=function(t){if(this.hasHandler(t)){var e=Array.prototype.slice.call(arguments,1);this.events[t].forEach(function(t){t.apply(void 0,e)})}},t.EventEmitter.prototype.hasHandler=function(t){return t in this.events},t.tokenizer=function(e){if(!arguments.length||null==e||void 0==e)return[];if(Array.isArray(e))return e.map(function(e){return t.utils.asString(e).toLowerCase()});var n=t.tokenizer.seperator||t.tokenizer.separator;return e.toString().trim().toLowerCase().split(n)},t.tokenizer.seperator=!1,t.tokenizer.separator=/[\s\-]+/,t.tokenizer.load=function(t){var e=this.registeredFunctions[t];if(!e)throw new Error("Cannot load un-registered function: "+t);return e},t.tokenizer.label="default",t.tokenizer.registeredFunctions={"default":t.tokenizer},t.tokenizer.registerFunction=function(e,n){n in this.registeredFunctions&&t.utils.warn("Overwriting existing tokenizer: "+n),e.label=n,this.registeredFunctions[n]=e},t.Pipeline=function(){this._stack=[]},t.Pipeline.registeredFunctions={},t.Pipeline.registerFunction=function(e,n){n in this.registeredFunctions&&t.utils.warn("Overwriting existing registered function: "+n),e.label=n,t.Pipeline.registeredFunctions[e.label]=e},t.Pipeline.warnIfFunctionNotRegistered=function(e){var n=e.label&&e.label in this.registeredFunctions;n||t.utils.warn("Function is not registered with pipeline. This may cause problems when serialising the index.\n",e)},t.Pipeline.load=function(e){var n=new t.Pipeline;return e.forEach(function(e){var i=t.Pipeline.registeredFunctions[e];if(!i)throw new Error("Cannot load un-registered function: "+e);n.add(i)}),n},t.Pipeline.prototype.add=function(){var e=Array.prototype.slice.call(arguments);e.forEach(function(e){t.Pipeline.warnIfFunctionNotRegistered(e),this._stack.push(e)},this)},t.Pipeline.prototype.after=function(e,n){t.Pipeline.warnIfFunctionNotRegistered(n);var i=this._stack.indexOf(e);if(-1==i)throw new Error("Cannot find existingFn");i+=1,this._stack.splice(i,0,n)},t.Pipeline.prototype.before=function(e,n){t.Pipeline.warnIfFunctionNotRegistered(n);var i=this._stack.indexOf(e);if(-1==i)throw new Error("Cannot find existingFn");this._stack.splice(i,0,n)},t.Pipeline.prototype.remove=function(t){var e=this._stack.indexOf(t);-1!=e&&this._stack.splice(e,1)},t.Pipeline.prototype.run=function(t){for(var e=[],n=t.length,i=this._stack.length,r=0;n>r;r++){for(var o=t[r],s=0;i>s&&(o=this._stack[s](o,r,t),void 0!==o&&""!==o);s++);void 0!==o&&""!==o&&e.push(o)}return e},t.Pipeline.prototype.reset=function(){this._stack=[]},t.Pipeline.prototype.toJSON=function(){return this._stack.map(function(e){return t.Pipeline.warnIfFunctionNotRegistered(e),e.label})},t.Vector=function(){this._magnitude=null,this.list=void 0,this.length=0},t.Vector.Node=function(t,e,n){this.idx=t,this.val=e,this.next=n},t.Vector.prototype.insert=function(e,n){this._magnitude=void 0;var i=this.list;if(!i)return this.list=new t.Vector.Node(e,n,i),this.length++;if(e<i.idx)return this.list=new t.Vector.Node(e,n,i),this.length++;for(var r=i,o=i.next;void 0!=o;){if(e<o.idx)return r.next=new t.Vector.Node(e,n,o),this.length++;r=o,o=o.next}return r.next=new t.Vector.Node(e,n,o),this.length++},t.Vector.prototype.magnitude=function(){if(this._magnitude)return this._magnitude;for(var t,e=this.list,n=0;e;)t=e.val,n+=t*t,e=e.next;return this._magnitude=Math.sqrt(n)},t.Vector.prototype.dot=function(t){for(var e=this.list,n=t.list,i=0;e&&n;)e.idx<n.idx?e=e.next:e.idx>n.idx?n=n.next:(i+=e.val*n.val,e=e.next,n=n.next);return i},t.Vector.prototype.similarity=function(t){return this.dot(t)/(this.magnitude()*t.magnitude())},t.SortedSet=function(){this.length=0,this.elements=[]},t.SortedSet.load=function(t){var e=new this;return e.elements=t,e.length=t.length,e},t.SortedSet.prototype.add=function(){var t,e;for(t=0;t<arguments.length;t++)e=arguments[t],~this.indexOf(e)||this.elements.splice(this.locationFor(e),0,e);this.length=this.elements.length},t.SortedSet.prototype.toArray=function(){return this.elements.slice()},t.SortedSet.prototype.map=function(t,e){return this.elements.map(t,e)},t.SortedSet.prototype.forEach=function(t,e){return this.elements.forEach(t,e)},t.SortedSet.prototype.indexOf=function(t){for(var e=0,n=this.elements.length,i=n-e,r=e+Math.floor(i/2),o=this.elements[r];i>1;){if(o===t)return r;t>o&&(e=r),o>t&&(n=r),i=n-e,r=e+Math.floor(i/2),o=this.elements[r]}return o===t?r:-1},t.SortedSet.prototype.locationFor=function(t){for(var e=0,n=this.elements.length,i=n-e,r=e+Math.floor(i/2),o=this.elements[r];i>1;)t>o&&(e=r),o>t&&(n=r),i=n-e,r=e+Math.floor(i/2),o=this.elements[r];return o>t?r:t>o?r+1:void 0},t.SortedSet.prototype.intersect=function(e){for(var n=new t.SortedSet,i=0,r=0,o=this.length,s=e.length,a=this.elements,h=e.elements;;){if(i>o-1||r>s-1)break;a[i]!==h[r]?a[i]<h[r]?i++:a[i]>h[r]&&r++:(n.add(a[i]),i++,r++)}return n},t.SortedSet.prototype.clone=function(){var e=new t.SortedSet;return e.elements=this.toArray(),e.length=e.elements.length,e},t.SortedSet.prototype.union=function(t){var e,n,i;this.length>=t.length?(e=this,n=t):(e=t,n=this),i=e.clone();for(var r=0,o=n.toArray();r<o.length;r++)i.add(o[r]);return i},t.SortedSet.prototype.toJSON=function(){return this.toArray()},t.Index=function(){this._fields=[],this._ref="id",this.pipeline=new t.Pipeline,this.documentStore=new t.Store,this.tokenStore=new t.TokenStore,this.corpusTokens=new t.SortedSet,this.eventEmitter=new t.EventEmitter,this.tokenizerFn=t.tokenizer,this._idfCache={},this.on("add","remove","update",function(){this._idfCache={}}.bind(this))},t.Index.prototype.on=function(){var t=Array.prototype.slice.call(arguments);return this.eventEmitter.addListener.apply(this.eventEmitter,t)},t.Index.prototype.off=function(t,e){return this.eventEmitter.removeListener(t,e)},t.Index.load=function(e){e.version!==t.version&&t.utils.warn("version mismatch: current "+t.version+" importing "+e.version);var n=new this;return n._fields=e.fields,n._ref=e.ref,n.tokenizer(t.tokenizer.load(e.tokenizer)),n.documentStore=t.Store.load(e.documentStore),n.tokenStore=t.TokenStore.load(e.tokenStore),n.corpusTokens=t.SortedSet.load(e.corpusTokens),n.pipeline=t.Pipeline.load(e.pipeline),n},t.Index.prototype.field=function(t,e){var e=e||{},n={name:t,boost:e.boost||1};return this._fields.push(n),this},t.Index.prototype.ref=function(t){return this._ref=t,this},t.Index.prototype.tokenizer=function(e){var n=e.label&&e.label in t.tokenizer.registeredFunctions;return n||t.utils.warn("Function is not a registered tokenizer. This may cause problems when serialising the index"),this.tokenizerFn=e,this},t.Index.prototype.add=function(e,n){var i={},r=new t.SortedSet,o=e[this._ref],n=void 0===n?!0:n;this._fields.forEach(function(t){var n=this.pipeline.run(this.tokenizerFn(e[t.name]));i[t.name]=n;for(var o=0;o<n.length;o++){var s=n[o];r.add(s),this.corpusTokens.add(s)}},this),this.documentStore.set(o,r);for(var s=0;s<r.length;s++){for(var a=r.elements[s],h=0,u=0;u<this._fields.length;u++){var l=this._fields[u],c=i[l.name],f=c.length;if(f){for(var d=0,p=0;f>p;p++)c[p]===a&&d++;h+=d/f*l.boost}}this.tokenStore.add(a,{ref:o,tf:h})}n&&this.eventEmitter.emit("add",e,this)},t.Index.prototype.remove=function(t,e){var n=t[this._ref],e=void 0===e?!0:e;if(this.documentStore.has(n)){var i=this.documentStore.get(n);this.documentStore.remove(n),i.forEach(function(t){this.tokenStore.remove(t,n)},this),e&&this.eventEmitter.emit("remove",t,this)}},t.Index.prototype.update=function(t,e){var e=void 0===e?!0:e;this.remove(t,!1),this.add(t,!1),e&&this.eventEmitter.emit("update",t,this)},t.Index.prototype.idf=function(t){var e="@"+t;if(Object.prototype.hasOwnProperty.call(this._idfCache,e))return this._idfCache[e];var n=this.tokenStore.count(t),i=1;return n>0&&(i=1+Math.log(this.documentStore.length/n)),this._idfCache[e]=i},t.Index.prototype.search=function(e){var n=this.pipeline.run(this.tokenizerFn(e)),i=new t.Vector,r=[],o=this._fields.reduce(function(t,e){return t+e.boost},0),s=n.some(function(t){return this.tokenStore.has(t)},this);if(!s)return[];n.forEach(function(e,n,s){var a=1/s.length*this._fields.length*o,h=this,u=this.tokenStore.expand(e).reduce(function(n,r){var o=h.corpusTokens.indexOf(r),s=h.idf(r),u=1,l=new t.SortedSet;if(r!==e){var c=Math.max(3,r.length-e.length);u=1/Math.log(c)}o>-1&&i.insert(o,a*s*u);for(var f=h.tokenStore.get(r),d=Object.keys(f),p=d.length,v=0;p>v;v++)l.add(f[d[v]].ref);return n.union(l)},new t.SortedSet);r.push(u)},this);var a=r.reduce(function(t,e){return t.intersect(e)});return a.map(function(t){return{ref:t,score:i.similarity(this.documentVector(t))}},this).sort(function(t,e){return e.score-t.score})},t.Index.prototype.documentVector=function(e){for(var n=this.documentStore.get(e),i=n.length,r=new t.Vector,o=0;i>o;o++){var s=n.elements[o],a=this.tokenStore.get(s)[e].tf,h=this.idf(s);r.insert(this.corpusTokens.indexOf(s),a*h)}return r},t.Index.prototype.toJSON=function(){return{version:t.version,fields:this._fields,ref:this._ref,tokenizer:this.tokenizerFn.label,documentStore:this.documentStore.toJSON(),tokenStore:this.tokenStore.toJSON(),corpusTokens:this.corpusTokens.toJSON(),pipeline:this.pipeline.toJSON()}},t.Index.prototype.use=function(t){var e=Array.prototype.slice.call(arguments,1);e.unshift(this),t.apply(this,e)},t.Store=function(){this.store={},this.length=0},t.Store.load=function(e){var n=new this;return n.length=e.length,n.store=Object.keys(e.store).reduce(function(n,i){return n[i]=t.SortedSet.load(e.store[i]),n},{}),n},t.Store.prototype.set=function(t,e){this.has(t)||this.length++,this.store[t]=e},t.Store.prototype.get=function(t){return this.store[t]},t.Store.prototype.has=function(t){return t in this.store},t.Store.prototype.remove=function(t){this.has(t)&&(delete this.store[t],this.length--)},t.Store.prototype.toJSON=function(){return{store:this.store,length:this.length}},t.stemmer=function(){var t={ational:"ate",tional:"tion",enci:"ence",anci:"ance",izer:"ize",bli:"ble",alli:"al",entli:"ent",eli:"e",ousli:"ous",ization:"ize",ation:"ate",ator:"ate",alism:"al",iveness:"ive",fulness:"ful",ousness:"ous",aliti:"al",iviti:"ive",biliti:"ble",logi:"log"},e={icate:"ic",ative:"",alize:"al",iciti:"ic",ical:"ic",ful:"",ness:""},n="[^aeiou]",i="[aeiouy]",r=n+"[^aeiouy]*",o=i+"[aeiou]*",s="^("+r+")?"+o+r,a="^("+r+")?"+o+r+"("+o+")?$",h="^("+r+")?"+o+r+o+r,u="^("+r+")?"+i,l=new RegExp(s),c=new RegExp(h),f=new RegExp(a),d=new RegExp(u),p=/^(.+?)(ss|i)es$/,v=/^(.+?)([^s])s$/,g=/^(.+?)eed$/,m=/^(.+?)(ed|ing)$/,y=/.$/,S=/(at|bl|iz)$/,w=new RegExp("([^aeiouylsz])\\1$"),k=new RegExp("^"+r+i+"[^aeiouwxy]$"),x=/^(.+?[^aeiou])y$/,b=/^(.+?)(ational|tional|enci|anci|izer|bli|alli|entli|eli|ousli|ization|ation|ator|alism|iveness|fulness|ousness|aliti|iviti|biliti|logi)$/,E=/^(.+?)(icate|ative|alize|iciti|ical|ful|ness)$/,F=/^(.+?)(al|ance|ence|er|ic|able|ible|ant|ement|ment|ent|ou|ism|ate|iti|ous|ive|ize)$/,_=/^(.+?)(s|t)(ion)$/,z=/^(.+?)e$/,O=/ll$/,P=new RegExp("^"+r+i+"[^aeiouwxy]$"),T=function(n){var i,r,o,s,a,h,u;if(n.length<3)return n;if(o=n.substr(0,1),"y"==o&&(n=o.toUpperCase()+n.substr(1)),s=p,a=v,s.test(n)?n=n.replace(s,"$1$2"):a.test(n)&&(n=n.replace(a,"$1$2")),s=g,a=m,s.test(n)){var T=s.exec(n);s=l,s.test(T[1])&&(s=y,n=n.replace(s,""))}else if(a.test(n)){var T=a.exec(n);i=T[1],a=d,a.test(i)&&(n=i,a=S,h=w,u=k,a.test(n)?n+="e":h.test(n)?(s=y,n=n.replace(s,"")):u.test(n)&&(n+="e"))}if(s=x,s.test(n)){var T=s.exec(n);i=T[1],n=i+"i"}if(s=b,s.test(n)){var T=s.exec(n);i=T[1],r=T[2],s=l,s.test(i)&&(n=i+t[r])}if(s=E,s.test(n)){var T=s.exec(n);i=T[1],r=T[2],s=l,s.test(i)&&(n=i+e[r])}if(s=F,a=_,s.test(n)){var T=s.exec(n);i=T[1],s=c,s.test(i)&&(n=i)}else if(a.test(n)){var T=a.exec(n);i=T[1]+T[2],a=c,a.test(i)&&(n=i)}if(s=z,s.test(n)){var T=s.exec(n);i=T[1],s=c,a=f,h=P,(s.test(i)||a.test(i)&&!h.test(i))&&(n=i)}return s=O,a=c,s.test(n)&&a.test(n)&&(s=y,n=n.replace(s,"")),"y"==o&&(n=o.toLowerCase()+n.substr(1)),n};return T}(),t.Pipeline.registerFunction(t.stemmer,"stemmer"),t.generateStopWordFilter=function(t){var e=t.reduce(function(t,e){return t[e]=e,t},{});return function(t){return t&&e[t]!==t?t:void 0}},t.stopWordFilter=t.generateStopWordFilter(["a","able","about","across","after","all","almost","also","am","among","an","and","any","are","as","at","be","because","been","but","by","can","cannot","could","dear","did","do","does","either","else","ever","every","for","from","get","got","had","has","have","he","her","hers","him","his","how","however","i","if","in","into","is","it","its","just","least","let","like","likely","may","me","might","most","must","my","neither","no","nor","not","of","off","often","on","only","or","other","our","own","rather","said","say","says","she","should","since","so","some","than","that","the","their","them","then","there","these","they","this","tis","to","too","twas","us","wants","was","we","were","what","when","where","which","while","who","whom","why","will","with","would","yet","you","your"]),t.Pipeline.registerFunction(t.stopWordFilter,"stopWordFilter"),t.trimmer=function(t){return t.replace(/^\W+/,"").replace(/\W+$/,"")},t.Pipeline.registerFunction(t.trimmer,"trimmer"),t.TokenStore=function(){this.root={docs:{}},this.length=0},t.TokenStore.load=function(t){var e=new this;return e.root=t.root,e.length=t.length,e},t.TokenStore.prototype.add=function(t,e,n){var n=n||this.root,i=t.charAt(0),r=t.slice(1);return i in n||(n[i]={docs:{}}),0===r.length?(n[i].docs[e.ref]=e,void(this.length+=1)):this.add(r,e,n[i])},t.TokenStore.prototype.has=function(t){if(!t)return!1;for(var e=this.root,n=0;n<t.length;n++){if(!e[t.charAt(n)])return!1;e=e[t.charAt(n)]}return!0},t.TokenStore.prototype.getNode=function(t){if(!t)return{};for(var e=this.root,n=0;n<t.length;n++){if(!e[t.charAt(n)])return{};e=e[t.charAt(n)]}return e},t.TokenStore.prototype.get=function(t,e){return this.getNode(t,e).docs||{}},t.TokenStore.prototype.count=function(t,e){return Object.keys(this.get(t,e)).length},t.TokenStore.prototype.remove=function(t,e){if(t){for(var n=this.root,i=0;i<t.length;i++){if(!(t.charAt(i)in n))return;n=n[t.charAt(i)]}delete n.docs[e]}},t.TokenStore.prototype.expand=function(t,e){var n=this.getNode(t),i=n.docs||{},e=e||[];return Object.keys(i).length&&e.push(t),Object.keys(n).forEach(function(n){"docs"!==n&&e.concat(this.expand(t+n,e))},this),e},t.TokenStore.prototype.toJSON=function(){return{root:this.root,length:this.length}},function(t,e){"function"==typeof define&&define.amd?define(e):"object"==typeof exports?module.exports=e():t.lunr=e()}(this,function(){return t})}();
+\ No newline at end of file
diff --git a/docs/js/search.js b/docs/js/search.js
new file mode 100644
index 000000000..6127f55c7
--- /dev/null
+++ b/docs/js/search.js
@@ -0,0 +1,57 @@
+(function() {
+  function displaySearchResults(results, store) {
+    var searchResults = document.getElementById('search-results');
+
+    if (results.length) { // Are there any results?
+      var appendString = '';
+
+      for (var i = 0; i < results.length; i++) {  // Iterate over the results
+        var item = store[results[i].ref];
+        appendString += '<li><a href="' + item.url + '"><h3>' + item.title + '</h3></a>';
+        appendString += '<p>' + item.content.substring(0, 100) + '...</p></li>';
+      }
+
+      searchResults.innerHTML = appendString;
+    } else {
+      searchResults.innerHTML = '<li>No results found</li>';
+    }
+  }
+
+  function getQueryVariable(variable) {
+    var query = window.location.search.substring(1);
+    var vars = query.split('&');
+
+    for (var i = 0; i < vars.length; i++) {
+      var pair = vars[i].split('=');
+
+      if (pair[0] === variable) {
+        return decodeURIComponent(pair[1].replace(/\+/g, '%20'));
+      }
+    }
+  }
+
+  var searchTerm = getQueryVariable('query');
+
+  if (searchTerm) {
+    document.getElementById('search-box').setAttribute("value", searchTerm);
+    var idx = lunr(function () {
+      this.field('id');
+      this.field('title', { boost: 10 }); // hits in title get a boost
+      this.field('author');
+      this.field('content');
+    });
+
+    for (var key in window.store) { // Add the data to lunr
+      var author = (typeof window.store[key].author === 'undefined') ? "" : window.store[key].author;
+      idx.add({
+        'id': key,
+        'title': window.store[key].title,
+        'author': author,
+        'content': window.store[key].content
+      });
+
+      var results = idx.search(searchTerm); // Get lunr to perform a search
+      displaySearchResults(results, window.store); // We'll write this in the next section
+    }
+  }
+})();
diff --git a/docs/search.html b/docs/search.html
new file mode 100644
index 000000000..acd55b798
--- /dev/null
+++ b/docs/search.html
@@ -0,0 +1,35 @@
+---
+layout: search
+title: "Search"
+---
+<h1 id="search">Search Results</h1>
+
+<form id="search-bar" action="/search.html" method="get">
+    <input placeholder="Search" type="text" id="search-box" name="query">
+</form>
+
+<ul id="search-results"></ul>
+
+<script>
+    window.store = {
+        {% for post in site.posts %}
+        "{{ post.url | slugify }}": {
+            "title": "{{ post.title | xml_escape }}",
+            "author": "{{ post.author | xml_escape }}",
+            "content": {{ post.content | markdownify | strip_html | lstrip | jsonify }},
+            "url": "{{ post.url | xml_escape }}"
+        },
+        {% endfor %}
+        {% for page in site.html_pages  %}
+        "{{ page.url | slugify }}": {
+            "title": "{{ page.title | xml_escape }}",
+            "name": "{{ page.name | xml_escape }}",
+            "content": {{ page.content | markdownify | strip_html | lstrip | jsonify }},
+            "url": "{{ page.url | xml_escape }}"
+        }
+        {% unless forloop.last %},{% endunless %}
+        {% endfor %}
+    };
+</script>
+<script src="/js/lunr.min.js"></script>
+<script src="/js/search.js"></script>
author	Felix Mulder <felix.mulder@gmail.com>	2016-11-07 15:36:20 +0100
committer	Felix Mulder <felix.mulder@gmail.com>	2016-11-07 15:57:52 +0100
commit	fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c (patch)
tree	f99953c897acd0c2fabf75060e1845650547ccac /docs
parent	5d590242132b0f38fc04afed2c787dadfd8d6c2f (diff)
download	dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.gz dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.bz2 dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.zip