docs: auto generated

BRonen · Feb 22, 2024 · 9aad50e · 9aad50e
1 parent 7b52743
commit 9aad50e
Show file tree

Hide file tree

Showing 7 changed files with 1,581 additions and 42 deletions.
diff --git a/docs/Paxos.html b/docs/Paxos.html
@@ -0,0 +1 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>Paxos</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">paxos-hs-0.1.0.0</span><ul class="links" id="page-menu"><li><a href="src/Paxos.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Paxos</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:app" class="def">app</a> :: <a href="../base-4.18.2.0/Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="../base-4.18.2.0/System-IO.html#t:IO" title="System.IO">IO</a> () <a href="src/Paxos.html#app" class="link">Source</a> <a href="#v:app" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.29.2</p></div></body></html>
diff --git a/docs/doc-index.html b/docs/doc-index.html
@@ -1 +1 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>paxos-hs-0.1.0.0 (Index)</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">paxos-hs-0.1.0.0</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">app</td><td class="module"><a href="App.html#v:app" title="App">App</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.29.2</p></div></body></html>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>paxos-hs-0.1.0.0 (Index)</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">paxos-hs-0.1.0.0</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">app</td><td class="module"><a href="Paxos.html#v:app" title="Paxos">Paxos</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.29.2</p></div></body></html>
diff --git a/docs/doc-index.json b/docs/doc-index.json
@@ -1 +1 @@
-[{"display_html":"<a href=\"#v:app\">app</a> :: <a href=\"../base-4.18.2.0/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"../base-4.18.2.0/System-IO.html#t:IO\" title=\"System.IO\">IO</a> ()","name":"app","module":"App","link":"App.html#v:app"}]
+[{"display_html":"<a href=\"#v:app\">app</a> :: <a href=\"../base-4.18.2.0/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"../base-4.18.2.0/System-IO.html#t:IO\" title=\"System.IO\">IO</a> ()","name":"app","module":"Paxos","link":"Paxos.html#v:app"}]
diff --git a/docs/index.html b/docs/index.html
@@ -1 +1 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>paxos-hs-0.1.0.0</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">paxos-hs-0.1.0.0</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="description"><h1>paxos-hs-0.1.0.0</h1><div class="doc"><p>Please see the README on GitHub at <a href="https://github.com/bronen/paxos-hs#readme">https://github.com/bronen/paxos-hs#readme</a></p></div></div><div id="module-list"><p class="caption">Modules</p><div id="module-list"><p class="caption">paxos-hs-0.1.0.0</p><ul><li><span class="module"><span class="noexpander">&nbsp;</span><a href="App.html">App</a></span></li></ul></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.29.2</p></div></body></html>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>paxos-hs-0.1.0.0</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">paxos-hs-0.1.0.0</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="description"><h1>paxos-hs-0.1.0.0</h1><div class="doc"><p>Please see the README on GitHub at <a href="https://github.com/bronen/paxos-hs#readme">https://github.com/bronen/paxos-hs#readme</a></p></div></div><div id="module-list"><p class="caption">Modules</p><div id="module-list"><p class="caption">paxos-hs-0.1.0.0</p><ul><li><span class="module"><span class="noexpander">&nbsp;</span><a href="Paxos.html">Paxos</a></span></li></ul></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.29.2</p></div></body></html>
diff --git a/docs/paxos-hs.txt b/docs/paxos-hs.txt
@@ -7,16 +7,16 @@
 @package paxos-hs
 @version 0.1.0.0
 
-module App
+module Paxos
 app :: Int -> IO ()
-instance Data.Aeson.Types.ToJSON.ToJSON App.Proposal
-instance Data.Aeson.Types.FromJSON.FromJSON App.Proposal
-instance GHC.Generics.Generic App.Proposal
-instance GHC.Classes.Eq App.Proposal
-instance GHC.Show.Show App.Proposal
-instance GHC.Show.Show App.Proposer
-instance GHC.Classes.Eq App.Acceptor
-instance GHC.Show.Show App.Acceptor
-instance GHC.Classes.Eq App.Learner
-instance GHC.Show.Show App.Learner
-instance GHC.Show.Show App.Node
+instance Data.Aeson.Types.ToJSON.ToJSON Paxos.Proposal
+instance Data.Aeson.Types.FromJSON.FromJSON Paxos.Proposal
+instance GHC.Generics.Generic Paxos.Proposal
+instance GHC.Classes.Eq Paxos.Proposal
+instance GHC.Show.Show Paxos.Proposal
+instance GHC.Show.Show Paxos.Proposer
+instance GHC.Classes.Eq Paxos.Acceptor
+instance GHC.Show.Show Paxos.Acceptor
+instance GHC.Classes.Eq Paxos.Learner
+instance GHC.Show.Show Paxos.Learner
+instance GHC.Show.Show Paxos.Node
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>Paxos</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">paxos-hs-0.1.0.0</span><ul class="links" id="page-menu"><li><a href="src/Paxos.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Paxos</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:app" class="def">app</a> :: <a href="../base-4.18.2.0/Data-Int.html#t:Int" title="Data.Int">Int</a> -> <a href="../base-4.18.2.0/System-IO.html#t:IO" title="System.IO">IO</a> () <a href="src/Paxos.html#app" class="link">Source</a> <a href="#v:app" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.29.2</p></div></body></html>
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>paxos-hs-0.1.0.0 (Index)</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">paxos-hs-0.1.0.0</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">app</td><td class="module"><a href="App.html#v:app" title="App">App</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.29.2</p></div></body></html>
		<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>paxos-hs-0.1.0.0 (Index)</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">paxos-hs-0.1.0.0</span><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">app</td><td class="module"><a href="Paxos.html#v:app" title="Paxos">Paxos</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.29.2</p></div></body></html>
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		[{"display_html":"<a href=\"#v:app\">app</a> :: <a href=\"../base-4.18.2.0/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -> <a href=\"../base-4.18.2.0/System-IO.html#t:IO\" title=\"System.IO\">IO</a> ()","name":"app","module":"App","link":"App.html#v:app"}]
		[{"display_html":"<a href=\"#v:app\">app</a> :: <a href=\"../base-4.18.2.0/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -> <a href=\"../base-4.18.2.0/System-IO.html#t:IO\" title=\"System.IO\">IO</a> ()","name":"app","module":"Paxos","link":"Paxos.html#v:app"}]