manual-index.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>Simplicity-0.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">Simplicity-0.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>Simplicity-0.0.0</h1>
<div class="doc empty">&nbsp;</div></div>
<div id="module-list">
<p class="caption">Signatures</p>
<ul>
<li>
<span class="module details-toggle-control details-toggle collapser" data-details-id="n.0">Simplicity</span>
<details id="n.0" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Primitive.html">Simplicity.Primitive</a></span></li></ul></details></li></ul></div>
<div id="module-list">
<p class="caption">Modules</p>
<ul>
<li>
<span class="module details-toggle-control details-toggle" data-details-id="n.1">Simplicity</span>
<details id="n.1" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.0">&nbsp;</span>
<a href="Simplicity-Bitcoin.html">Simplicity.Bitcoin</a></span>
<details id="n.1.0" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Bitcoin-DataTypes.html">Simplicity.Bitcoin.DataTypes</a></span></li>
<li>
<span class="module">
<a href="Simplicity-Bitcoin-Primitive.html">Simplicity.Bitcoin.Primitive</a></span></li>
<li>
<span class="module details-toggle-control details-toggle" data-details-id="n.1.0.0">Programs</span>
<details id="n.1.0.0" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Bitcoin-Programs-TimeLock.html">Simplicity.Bitcoin.Programs.TimeLock</a></span></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.04">&nbsp;</span>
<a href="Simplicity-Bitcoin-Programs-Transaction.html">Simplicity.Bitcoin.Programs.Transaction</a></span>
<details id="n.1.04" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Bitcoin-Programs-Transaction-Lib.html">Simplicity.Bitcoin.Programs.Transaction.Lib</a></span></li></ul></details></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-Bitcoin-Jets.html">Simplicity.Bitcoin.Jets</a></span></li></ul></details></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.1">&nbsp;</span>
<a href="Simplicity-BitMachine.html">Simplicity.BitMachine</a></span>
<details id="n.1.1" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-BitMachine-Authentic.html">Simplicity.BitMachine.Authentic</a></span></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.1.2">&nbsp;</span>
<a href="Simplicity-BitMachine-StaticAnalysis.html">Simplicity.BitMachine.StaticAnalysis</a></span>
<details id="n.1.1.2" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-BitMachine-StaticAnalysis-TCO.html">Simplicity.BitMachine.StaticAnalysis.TCO</a></span></li></ul></details></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.1.3">&nbsp;</span>
<a href="Simplicity-BitMachine-Translate.html">Simplicity.BitMachine.Translate</a></span>
<details id="n.1.1.3" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-BitMachine-Translate-TCO.html">Simplicity.BitMachine.Translate.TCO</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-BitMachine-Ty.html">Simplicity.BitMachine.Ty</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-CoreJets.html">Simplicity.CoreJets</a></span></li>
<li>
<span class="module">
<a href="Simplicity-Dag.html">Simplicity.Dag</a></span></li>
<li>
<span class="module">
<a href="Simplicity-Delegator.html">Simplicity.Delegator</a></span></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.1.044">&nbsp;</span>
<a href="Simplicity-Digest.html">Simplicity.Digest</a></span>
<details id="n.1.1.044" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Digest-Pure-SHA.html">Simplicity.Digest.Pure.SHA</a></span></li></ul></details></li>
<li>
<span class="module details-toggle-control details-toggle" data-details-id="n.1.045">Elements</span>
<details id="n.1.045" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Elements-DataTypes.html">Simplicity.Elements.DataTypes</a></span></li>
<li>
<span class="module details-toggle-control details-toggle" data-details-id="n.1.045.0">FFI</span>
<details id="n.1.045.0" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Elements-FFI-Env.html">Simplicity.Elements.FFI.Env</a></span></li>
<li>
<span class="module">
<a href="Simplicity-Elements-FFI-Jets.html">Simplicity.Elements.FFI.Jets</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-Elements-Primitive.html">Simplicity.Elements.Primitive</a></span></li>
<li>
<span class="module details-toggle-control details-toggle" data-details-id="n.1.046.0">Programs</span>
<details id="n.1.046.0" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.06">&nbsp;</span>
<a href="Simplicity-Elements-Programs-Issuance.html">Simplicity.Elements.Programs.Issuance</a></span>
<details id="n.1.06" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Elements-Programs-Issuance-Lib.html">Simplicity.Elements.Programs.Issuance.Lib</a></span></li></ul></details></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.065">&nbsp;</span>
<a href="Simplicity-Elements-Programs-SigHash.html">Simplicity.Elements.Programs.SigHash</a></span>
<details id="n.1.065" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Elements-Programs-SigHash-Lib.html">Simplicity.Elements.Programs.SigHash.Lib</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-Elements-Programs-TimeLock.html">Simplicity.Elements.Programs.TimeLock</a></span></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.07">&nbsp;</span>
<a href="Simplicity-Elements-Programs-Transaction.html">Simplicity.Elements.Programs.Transaction</a></span>
<details id="n.1.07" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Elements-Programs-Transaction-Lib.html">Simplicity.Elements.Programs.Transaction.Lib</a></span></li></ul></details></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-Elements-Jets.html">Simplicity.Elements.Jets</a></span></li></ul></details></li>
<li>
<span class="module details-toggle-control details-toggle" data-details-id="n.1.05.0">FFI</span>
<details id="n.1.05.0" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-FFI-Frame.html">Simplicity.FFI.Frame</a></span></li>
<li>
<span class="module">
<a href="Simplicity-FFI-Jets.html">Simplicity.FFI.Jets</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-Inference.html">Simplicity.Inference</a></span></li>
<li>
<span class="module">
<a href="Simplicity-JetType.html">Simplicity.JetType</a></span></li>
<li>
<span class="module details-toggle-control details-toggle" data-details-id="n.1.3">LibSecp256k1</span>
<details id="n.1.3" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-LibSecp256k1-Schnorr.html">Simplicity.LibSecp256k1.Schnorr</a></span></li>
<li>
<span class="module">
<a href="Simplicity-LibSecp256k1-Spec.html">Simplicity.LibSecp256k1.Spec</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-MerkleRoot.html">Simplicity.MerkleRoot</a></span></li>
<li>
<span class="module details-toggle-control details-toggle" data-details-id="n.1.5">Programs</span>
<details id="n.1.5" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Programs-Arith.html">Simplicity.Programs.Arith</a></span></li>
<li>
<span class="module">
<a href="Simplicity-Programs-Bit.html">Simplicity.Programs.Bit</a></span></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.53">&nbsp;</span>
<a href="Simplicity-Programs-CheckSig.html">Simplicity.Programs.CheckSig</a></span>
<details id="n.1.53" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Programs-CheckSig-Lib.html">Simplicity.Programs.CheckSig.Lib</a></span></li></ul></details></li><li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.54">&nbsp;</span>
<a href="Simplicity-Programs-Elements.html">Simplicity.Programs.Elements</a></span>
<details id="n.1.54" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Programs-Elements-Lib.html">Simplicity.Programs.Elements.Lib</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-Programs-Generic.html">Simplicity.Programs.Generic</a></span></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.55">&nbsp;</span>
<a href="Simplicity-Programs-LibSecp256k1.html">Simplicity.Programs.LibSecp256k1</a></span>
<details id="n.1.55" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Programs-LibSecp256k1-Lib.html">Simplicity.Programs.LibSecp256k1.Lib</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-Programs-Loop.html">Simplicity.Programs.Loop</a></span></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.56">&nbsp;</span>
<a href="Simplicity-Programs-Sha256.html">Simplicity.Programs.Sha256</a></span>
<details id="n.1.56" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Programs-Sha256-Lib.html">Simplicity.Programs.Sha256.Lib</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-Programs-TimeLock.html">Simplicity.Programs.TimeLock</a></span></li>
<li>
<span class="module">
<a href="Simplicity-Programs-Word.html">Simplicity.Programs.Word</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-Semantics.html">Simplicity.Semantics</a></span></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.85">&nbsp;</span>
<a href="Simplicity-Serialization.html">Simplicity.Serialization</a></span>
<details id="n.1.85" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Serialization-BitString.html">Simplicity.Serialization.BitString</a></span></li>
<li>
<span class="module">
<a href="Simplicity-Serialization-ByteString.html">Simplicity.Serialization.ByteString</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-Tensor.html">Simplicity.Tensor</a></span></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.8">&nbsp;</span>
<a href="Simplicity-Term.html">Simplicity.Term</a></span>
<details id="n.1.8" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Term-Core.html">Simplicity.Term.Core</a></span></li></ul></details></li>
<li>
<span class="module">
<span class="details-toggle-control details-toggle" data-details-id="n.1.9">&nbsp;</span>
<a href="Simplicity-Ty.html">Simplicity.Ty</a></span>
<details id="n.1.9" open="open">
<summary class="hide-when-js-enabled">Submodules</summary>
<ul>
<li>
<span class="module">
<a href="Simplicity-Ty-Bit.html">Simplicity.Ty.Bit</a></span></li>
<li>
<span class="module">
<a href="Simplicity-Ty-Word.html">Simplicity.Ty.Word</a></span></li></ul></details></li>
<li>
<span class="module">
<a href="Simplicity-Word.html">Simplicity.Word</a></span></li></ul></details></li></ul></div></div>
<div id="footer">
<p>Produced by hand</p></div></body></html>