Simplicity-Primitive.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" /><title>Simplicity.Primitive (signature)</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">Simplicity-0.0.0</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Simplicity.Primitive (signature<sup>[<a href="https://wiki.haskell.org/Module_signature">?</a>]</sup>)</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Prim" class="def">Prim</a> a b <a href="#t:Prim" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:primPrefix" class="def">primPrefix</a> :: <a href="file:///nix/store/2pr4j9wbwqvrm0fzdssqvvchqc6xbm22-ghc-8.6.4-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-String.html#t:String" title="Data.String">String</a> <a href="#v:primPrefix" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:primName" class="def">primName</a> :: <a href="Simplicity-Primitive.html#t:Prim" title="Simplicity.Primitive">Prim</a> a b -&gt; <a href="file:///nix/store/2pr4j9wbwqvrm0fzdssqvvchqc6xbm22-ghc-8.6.4-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-String.html#t:String" title="Data.String">String</a> <a href="#v:primName" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:getPrimBit" class="def">getPrimBit</a> :: <a href="file:///nix/store/2pr4j9wbwqvrm0fzdssqvvchqc6xbm22-ghc-8.6.4-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Control-Monad.html#t:Monad" title="Control.Monad">Monad</a> m =&gt; m <a href="file:///nix/store/2pr4j9wbwqvrm0fzdssqvvchqc6xbm22-ghc-8.6.4-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> -&gt; m (<a href="file:///home/roconnor/Simplicity/dist/doc/html/Simplicity/Simplicity-Ty.html#t:SomeArrow" title="Simplicity.Ty">SomeArrow</a> <a href="Simplicity-Primitive.html#t:Prim" title="Simplicity.Primitive">Prim</a>) <a href="#v:getPrimBit" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:getPrimByte" class="def">getPrimByte</a> :: <a href="file:///home/roconnor/Simplicity/dist/doc/html/Simplicity/Simplicity-Word.html#t:Word8" title="Simplicity.Word">Word8</a> -&gt; <a href="file:///nix/store/8b9py0njpkdysaykq32sq296wkgbc1hw-cereal-0.5.8.0-doc/share/doc/cereal-0.5.8.0/html/Data-Serialize-Get.html#t:Get" title="Data.Serialize.Get">Get</a> (<a href="file:///nix/store/2pr4j9wbwqvrm0fzdssqvvchqc6xbm22-ghc-8.6.4-doc/share/doc/ghc/html/libraries/base-4.12.0.0/GHC-Maybe.html#t:Maybe" title="GHC.Maybe">Maybe</a> (<a href="file:///home/roconnor/Simplicity/dist/doc/html/Simplicity/Simplicity-Ty.html#t:SomeArrow" title="Simplicity.Ty">SomeArrow</a> <a href="Simplicity-Primitive.html#t:Prim" title="Simplicity.Primitive">Prim</a>)) <a href="#v:getPrimByte" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:putPrimBit" class="def">putPrimBit</a> :: <a href="Simplicity-Primitive.html#t:Prim" title="Simplicity.Primitive">Prim</a> a b -&gt; <a href="file:///home/roconnor/Simplicity/dist/doc/html/Simplicity/Simplicity-Serialization.html#t:DList" title="Simplicity.Serialization">DList</a> <a href="file:///nix/store/2pr4j9wbwqvrm0fzdssqvvchqc6xbm22-ghc-8.6.4-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="#v:putPrimBit" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:putPrimByte" class="def">putPrimByte</a> :: <a href="file:///nix/store/8b9py0njpkdysaykq32sq296wkgbc1hw-cereal-0.5.8.0-doc/share/doc/cereal-0.5.8.0/html/Data-Serialize-Put.html#t:Putter" title="Data.Serialize.Put">Putter</a> (<a href="Simplicity-Primitive.html#t:Prim" title="Simplicity.Primitive">Prim</a> a b) <a href="#v:putPrimByte" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:PrimEnv" class="def">PrimEnv</a> <a href="#t:PrimEnv" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:primSem" class="def">primSem</a> :: <a href="Simplicity-Primitive.html#t:Prim" title="Simplicity.Primitive">Prim</a> a b -&gt; a -&gt; <a href="Simplicity-Primitive.html#t:PrimEnv" title="Simplicity.Primitive">PrimEnv</a> -&gt; <a href="file:///nix/store/2pr4j9wbwqvrm0fzdssqvvchqc6xbm22-ghc-8.6.4-doc/share/doc/ghc/html/libraries/base-4.12.0.0/GHC-Maybe.html#t:Maybe" title="GHC.Maybe">Maybe</a> b <a href="#v:primSem" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.22.0</p></div></body></html>