Skip to content

Commit 7a998b8

Browse files
committed
update haddocks
1 parent 4f88ea3 commit 7a998b8

File tree

150 files changed

+191898
-340
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

150 files changed

+191898
-340
lines changed

haddocks/Gibbon-Common.html

Lines changed: 8 additions & 8 deletions
Large diffs are not rendered by default.

haddocks/Gibbon-Compiler.html

Lines changed: 4 additions & 4 deletions
Large diffs are not rendered by default.

haddocks/Gibbon-DynFlags.html

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +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>Gibbon.HaskellFrontend</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">gibbon-0.3: A compiler for operating on serialized data</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="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">Gibbon.HaskellFrontend</p></div><div id="table-of-contents"><div id="contents-list"><p class="caption" onclick="window.scrollTo(0,0)">Contents</p><ul><li><a href="#section.orphans">Orphan instances</a></li></ul></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:parseFile" class="def">parseFile</a> :: <a href="Gibbon-Common.html#t:Config" title="Gibbon.Common">Config</a> -&gt; <a href="file:///nix/store/nz54zspgz138zzmycq5ybndz93043iyi-ghc-9.0.2-doc/share/doc/ghc/html/libraries/base-4.15.1.0/System-IO.html#t:FilePath" title="System.IO">FilePath</a> -&gt; <a href="file:///nix/store/nz54zspgz138zzmycq5ybndz93043iyi-ghc-9.0.2-doc/share/doc/ghc/html/libraries/base-4.15.1.0/System-IO.html#t:IO" title="System.IO">IO</a> (<a href="Gibbon-Common.html#t:PassM" title="Gibbon.Common">PassM</a> <a href="Gibbon-L0-Syntax.html#t:Prog0" title="Gibbon.L0.Syntax">Prog0</a>) <a href="#v:parseFile" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:primMap" class="def">primMap</a> :: <a href="file:///nix/store/nz54zspgz138zzmycq5ybndz93043iyi-ghc-9.0.2-doc/share/doc/ghc/html/libraries/containers-0.6.4.1/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/nz54zspgz138zzmycq5ybndz93043iyi-ghc-9.0.2-doc/share/doc/ghc/html/libraries/base-4.15.1.0/Data-String.html#t:String" title="Data.String">String</a> (<a href="Gibbon-Language-Syntax.html#t:Prim" title="Gibbon.Language.Syntax">Prim</a> a) <a href="#v:primMap" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:multiArgsToOne" class="def">multiArgsToOne</a> :: [<a href="Gibbon-Common.html#t:Var" title="Gibbon.Common">Var</a>] -&gt; [<a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a>] -&gt; <a href="Gibbon-L0-Syntax.html#t:Exp0" title="Gibbon.L0.Syntax">Exp0</a> -&gt; (<a href="Gibbon-Common.html#t:Var" title="Gibbon.Common">Var</a>, <a href="Gibbon-L0-Syntax.html#t:Exp0" title="Gibbon.L0.Syntax">Exp0</a>) <a href="#v:multiArgsToOne" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:desugarLinearExts" class="def">desugarLinearExts</a> :: <a href="Gibbon-L0-Syntax.html#t:Prog0" title="Gibbon.L0.Syntax">Prog0</a> -&gt; <a href="Gibbon-Common.html#t:PassM" title="Gibbon.Common">PassM</a> <a href="Gibbon-L0-Syntax.html#t:Prog0" title="Gibbon.L0.Syntax">Prog0</a> <a href="#v:desugarLinearExts" class="selflink">#</a></p></div><h1>Orphan instances</h1><div id="section.orphans"><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:o:ic:Pretty:Pretty:1"></span> Pretty SrcSpanInfo</span> <a href="#v:-36-fPrettySrcSpanInfo" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:o:ic:Pretty:Pretty:1"><summary class="hide-when-js-enabled">Instance details</summary><p></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pretty">pretty</a> :: SrcSpanInfo -&gt; Doc</p><p class="src"><a href="#v:prettyPrec">prettyPrec</a> :: <a href="file:///nix/store/nz54zspgz138zzmycq5ybndz93043iyi-ghc-9.0.2-doc/share/doc/ghc/html/libraries/base-4.15.1.0/Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; SrcSpanInfo -&gt; Doc</p></div></details></td></tr></table></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.25.1</p></div></body></html>
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>Gibbon.HaskellFrontend</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">gibbon-0.3: A compiler for operating on serialized data</span><ul class="links" id="page-menu"><li><a href="src/Gibbon.HaskellFrontend.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">Gibbon.HaskellFrontend</p></div><div id="table-of-contents"><div id="contents-list"><p class="caption" onclick="window.scrollTo(0,0)">Contents</p><ul><li><a href="#section.orphans">Orphan instances</a></li></ul></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:parseFile" class="def">parseFile</a> :: <a href="Gibbon-Common.html#t:Config" title="Gibbon.Common">Config</a> -&gt; <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/base-4.17.1.0/System-IO.html#t:FilePath" title="System.IO">FilePath</a> -&gt; <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/base-4.17.1.0/System-IO.html#t:IO" title="System.IO">IO</a> (<a href="Gibbon-Common.html#t:PassM" title="Gibbon.Common">PassM</a> <a href="Gibbon-L0-Syntax.html#t:Prog0" title="Gibbon.L0.Syntax">Prog0</a>) <a href="src/Gibbon.HaskellFrontend.html#parseFile" class="link">Source</a> <a href="#v:parseFile" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:primMap" class="def">primMap</a> :: <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/containers-0.6.7/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/base-4.17.1.0/Data-String.html#t:String" title="Data.String">String</a> (<a href="Gibbon-Language-Syntax.html#t:Prim" title="Gibbon.Language.Syntax">Prim</a> a) <a href="src/Gibbon.HaskellFrontend.html#primMap" class="link">Source</a> <a href="#v:primMap" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:multiArgsToOne" class="def">multiArgsToOne</a> :: [<a href="Gibbon-Common.html#t:Var" title="Gibbon.Common">Var</a>] -&gt; [<a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a>] -&gt; <a href="Gibbon-L0-Syntax.html#t:Exp0" title="Gibbon.L0.Syntax">Exp0</a> -&gt; (<a href="Gibbon-Common.html#t:Var" title="Gibbon.Common">Var</a>, <a href="Gibbon-L0-Syntax.html#t:Exp0" title="Gibbon.L0.Syntax">Exp0</a>) <a href="src/Gibbon.HaskellFrontend.html#multiArgsToOne" class="link">Source</a> <a href="#v:multiArgsToOne" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:desugarLinearExts" class="def">desugarLinearExts</a> :: <a href="Gibbon-L0-Syntax.html#t:Prog0" title="Gibbon.L0.Syntax">Prog0</a> -&gt; <a href="Gibbon-Common.html#t:PassM" title="Gibbon.Common">PassM</a> <a href="Gibbon-L0-Syntax.html#t:Prog0" title="Gibbon.L0.Syntax">Prog0</a> <a href="src/Gibbon.HaskellFrontend.html#desugarLinearExts" class="link">Source</a> <a href="#v:desugarLinearExts" class="selflink">#</a></p></div><h1>Orphan instances</h1><div id="section.orphans"><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:o:ic:Pretty:Pretty:1"></span> <a href="file:///home/artem/.cabal/store/ghc-9.4.5/haskell-src-exts-1.23.1-6602079367c4651cb62f3cf68f70434a12921b0e833dcdcb79863daa5e0d8d43/share/doc/html/Language-Haskell-Exts-Pretty.html#t:Pretty" title="Language.Haskell.Exts.Pretty">Pretty</a> <a href="file:///home/artem/.cabal/store/ghc-9.4.5/haskell-src-exts-1.23.1-6602079367c4651cb62f3cf68f70434a12921b0e833dcdcb79863daa5e0d8d43/share/doc/html/Language-Haskell-Exts-SrcLoc.html#t:SrcSpanInfo" title="Language.Haskell.Exts.SrcLoc">SrcSpanInfo</a></span> <a href="src/Gibbon.HaskellFrontend.html#line-1187" class="link">Source</a> <a href="#v:-36-fPrettySrcSpanInfo" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:o:ic:Pretty:Pretty:1"><summary class="hide-when-js-enabled">Instance details</summary><p></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pretty">pretty</a> :: <a href="file:///home/artem/.cabal/store/ghc-9.4.5/haskell-src-exts-1.23.1-6602079367c4651cb62f3cf68f70434a12921b0e833dcdcb79863daa5e0d8d43/share/doc/html/Language-Haskell-Exts-SrcLoc.html#t:SrcSpanInfo" title="Language.Haskell.Exts.SrcLoc">SrcSpanInfo</a> -&gt; Doc</p><p class="src"><a href="#v:prettyPrec">prettyPrec</a> :: <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/base-4.17.1.0/Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="file:///home/artem/.cabal/store/ghc-9.4.5/haskell-src-exts-1.23.1-6602079367c4651cb62f3cf68f70434a12921b0e833dcdcb79863daa5e0d8d43/share/doc/html/Language-Haskell-Exts-SrcLoc.html#t:SrcSpanInfo" title="Language.Haskell.Exts.SrcLoc">SrcSpanInfo</a> -&gt; Doc</p></div></details></td></tr></table></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.27.0</p></div></body></html>
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +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>Gibbon.L0.ElimNewtype</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">gibbon-0.3: A compiler for operating on serialized data</span><ul class="links" id="page-menu"><li><a href="src/Gibbon.L0.ElimNewtype.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">Gibbon.L0.ElimNewtype</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:elimNewtypes" class="def">elimNewtypes</a> :: <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/base-4.17.1.0/Control-Monad.html#t:Monad" title="Control.Monad">Monad</a> m =&gt; <a href="Gibbon-L0-Syntax.html#t:Prog0" title="Gibbon.L0.Syntax">Prog0</a> -&gt; m <a href="Gibbon-L0-Syntax.html#t:Prog0" title="Gibbon.L0.Syntax">Prog0</a> <a href="src/Gibbon.L0.ElimNewtype.html#elimNewtypes" class="link">Source</a> <a href="#v:elimNewtypes" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:packedOccurs" class="def">packedOccurs</a> :: <a href="Gibbon-Common.html#t:Var" title="Gibbon.Common">Var</a> -&gt; <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> -&gt; <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/base-4.17.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/Gibbon.L0.ElimNewtype.html#packedOccurs" class="link">Source</a> <a href="#v:packedOccurs" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:TyMap" class="def">TyMap</a> = <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/containers-0.6.7/Data-Map-Strict.html#t:Map" title="Data.Map.Strict">Map</a> <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/base-4.17.1.0/Data-String.html#t:String" title="Data.String">String</a> ([<a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a>] -&gt; <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a>) <a href="src/Gibbon.L0.ElimNewtype.html#TyMap" class="link">Source</a> <a href="#t:TyMap" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:mkPolyNames" class="def">mkPolyNames</a> :: [<a href="Gibbon-Common.html#t:TyVar" title="Gibbon.Common">TyVar</a>] -&gt; <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> -&gt; [<a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a>] -&gt; <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> <a href="src/Gibbon.L0.ElimNewtype.html#mkPolyNames" class="link">Source</a> <a href="#v:mkPolyNames" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:elimProgram" class="def">elimProgram</a> :: <a href="Gibbon-L0-Syntax.html#t:Prog0" title="Gibbon.L0.Syntax">Prog0</a> -&gt; <a href="Gibbon-L0-Syntax.html#t:Prog0" title="Gibbon.L0.Syntax">Prog0</a> <a href="src/Gibbon.L0.ElimNewtype.html#elimProgram" class="link">Source</a> <a href="#v:elimProgram" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:elimE" class="def">elimE</a> :: <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/containers-0.6.7/Data-Set.html#t:Set" title="Data.Set">Set</a> <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/base-4.17.1.0/Data-String.html#t:String" title="Data.String">String</a> -&gt; <a href="Gibbon-L0-ElimNewtype.html#t:TyMap" title="Gibbon.L0.ElimNewtype">TyMap</a> -&gt; <a href="Gibbon-Language-Syntax.html#t:DDefs" title="Gibbon.Language.Syntax">DDefs</a> <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> -&gt; <a href="Gibbon-L0-Syntax.html#t:Exp0" title="Gibbon.L0.Syntax">Exp0</a> -&gt; <a href="Gibbon-L0-Syntax.html#t:Exp0" title="Gibbon.L0.Syntax">Exp0</a> <a href="src/Gibbon.L0.ElimNewtype.html#elimE" class="link">Source</a> <a href="#v:elimE" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:elimExt" class="def">elimExt</a> :: <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/containers-0.6.7/Data-Set.html#t:Set" title="Data.Set">Set</a> <a href="file:///nix/store/8l12vmymy3adw2m02pf73xq5xjf6mfwp-ghc-9.4.5-doc/share/doc/ghc/html/libraries/base-4.17.1.0/Data-String.html#t:String" title="Data.String">String</a> -&gt; <a href="Gibbon-L0-ElimNewtype.html#t:TyMap" title="Gibbon.L0.ElimNewtype">TyMap</a> -&gt; <a href="Gibbon-Language-Syntax.html#t:DDefs" title="Gibbon.Language.Syntax">DDefs</a> <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> -&gt; <a href="Gibbon-L0-Syntax.html#t:E0Ext" title="Gibbon.L0.Syntax">E0Ext</a> <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> -&gt; <a href="Gibbon-L0-Syntax.html#t:E0Ext" title="Gibbon.L0.Syntax">E0Ext</a> <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> <a href="src/Gibbon.L0.ElimNewtype.html#elimExt" class="link">Source</a> <a href="#v:elimExt" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:elimPrim" class="def">elimPrim</a> :: <a href="Gibbon-L0-ElimNewtype.html#t:TyMap" title="Gibbon.L0.ElimNewtype">TyMap</a> -&gt; <a href="Gibbon-Language-Syntax.html#t:Prim" title="Gibbon.Language.Syntax">Prim</a> <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> -&gt; <a href="Gibbon-Language-Syntax.html#t:Prim" title="Gibbon.Language.Syntax">Prim</a> <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> <a href="src/Gibbon.L0.ElimNewtype.html#elimPrim" class="link">Source</a> <a href="#v:elimPrim" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:elimTyScheme" class="def">elimTyScheme</a> :: <a href="Gibbon-L0-ElimNewtype.html#t:TyMap" title="Gibbon.L0.ElimNewtype">TyMap</a> -&gt; <a href="Gibbon-L0-Syntax.html#t:TyScheme" title="Gibbon.L0.Syntax">TyScheme</a> -&gt; <a href="Gibbon-L0-Syntax.html#t:TyScheme" title="Gibbon.L0.Syntax">TyScheme</a> <a href="src/Gibbon.L0.ElimNewtype.html#elimTyScheme" class="link">Source</a> <a href="#v:elimTyScheme" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:elimTy" class="def">elimTy</a> :: <a href="Gibbon-L0-ElimNewtype.html#t:TyMap" title="Gibbon.L0.ElimNewtype">TyMap</a> -&gt; <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> -&gt; <a href="Gibbon-L0-Syntax.html#t:Ty0" title="Gibbon.L0.Syntax">Ty0</a> <a href="src/Gibbon.L0.ElimNewtype.html#elimTy" class="link">Source</a> <a href="#v:elimTy" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.27.0</p></div></body></html>

0 commit comments

Comments
 (0)