/usr/share/doc/libghc-unlambda-doc/html/Language-Unlambda.html is in libghc-unlambda-doc 0.1.4.2-2build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | <!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>Language.Unlambda</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Language-Unlambda.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Language-Unlambda.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">unlambda-0.1.4.2: Unlambda interpreter</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>Haskell98</td></tr></table><p class="caption">Language.Unlambda</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Exp" class="def">Exp</a> <a href="src/Language-Unlambda.html#Exp" class="link">Source</a> <a href="#t:Exp" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:App" class="def">App</a> <a href="Language-Unlambda.html#t:Exp">Exp</a> <a href="Language-Unlambda.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:K" class="def">K</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:K1" class="def">K1</a> <a href="Language-Unlambda.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:S" class="def">S</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:S1" class="def">S1</a> <a href="Language-Unlambda.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:S2" class="def">S2</a> <a href="Language-Unlambda.html#t:Exp">Exp</a> <a href="Language-Unlambda.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:I" class="def">I</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:V" class="def">V</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:C" class="def">C</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Cont" class="def">Cont</a> (<a href="Language-Unlambda.html#t:Cont">Cont</a> <a href="Language-Unlambda.html#t:Exp">Exp</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:D" class="def">D</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:D1" class="def">D1</a> <a href="Language-Unlambda.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Dot" class="def">Dot</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:E" class="def">E</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:At" class="def">At</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Ques" class="def">Ques</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Pipe" class="def">Pipe</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Exp" class="caption collapser" onclick="toggleSection('i:Exp')">Instances</p><div id="section.i:Exp" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Exp:Show:1" class="instance expander" onclick="toggleSection('i:id:Exp:Show:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> <a href="Language-Unlambda.html#t:Exp">Exp</a></span> <a href="src/Language-Unlambda.html#line-60" class="link">Source</a> <a href="#t:Exp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Exp:Show:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Language-Unlambda.html#t:Exp">Exp</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Language-Unlambda.html#t:Exp">Exp</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Language-Unlambda.html#t:Exp">Exp</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:sh" class="def">sh</a> :: <a href="Language-Unlambda.html#t:Exp">Exp</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/Language-Unlambda.html#sh" class="link">Source</a> <a href="#v:sh" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Eval" class="def">Eval</a> a <a href="src/Language-Unlambda.html#Eval" class="link">Source</a> <a href="#t:Eval" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Eval" class="def">Eval</a> ((<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>) -> <a href="Language-Unlambda.html#t:Cont">Cont</a> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/System-IO.html#t:IO">IO</a> <a href="Language-Unlambda.html#t:Exp">Exp</a>)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Eval" class="caption collapser" onclick="toggleSection('i:Eval')">Instances</p><div id="section.i:Eval" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Eval:Monad:1" class="instance expander" onclick="toggleSection('i:id:Eval:Monad:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> <a href="Language-Unlambda.html#t:Eval">Eval</a></span> <a href="src/Language-Unlambda.html#line-100" class="link">Source</a> <a href="#t:Eval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Eval:Monad:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-62--62--61-">(>>=)</a> :: <a href="Language-Unlambda.html#t:Eval">Eval</a> a -> (a -> <a href="Language-Unlambda.html#t:Eval">Eval</a> b) -> <a href="Language-Unlambda.html#t:Eval">Eval</a> b <a href="#v:-62--62--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62--62-">(>>)</a> :: <a href="Language-Unlambda.html#t:Eval">Eval</a> a -> <a href="Language-Unlambda.html#t:Eval">Eval</a> b -> <a href="Language-Unlambda.html#t:Eval">Eval</a> b <a href="#v:-62--62-" class="selflink">#</a></p><p class="src"><a href="#v:return">return</a> :: a -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a <a href="#v:return" class="selflink">#</a></p><p class="src"><a href="#v:fail">fail</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a <a href="#v:fail" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Eval:Functor:2" class="instance expander" onclick="toggleSection('i:id:Eval:Functor:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a> <a href="Language-Unlambda.html#t:Eval">Eval</a></span> <a href="src/Language-Unlambda.html#line-90" class="link">Source</a> <a href="#t:Eval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Eval:Functor:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a -> <a href="Language-Unlambda.html#t:Eval">Eval</a> b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Language-Unlambda.html#t:Eval">Eval</a> b -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Eval:Applicative:3" class="instance expander" onclick="toggleSection('i:id:Eval:Applicative:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> <a href="Language-Unlambda.html#t:Eval">Eval</a></span> <a href="src/Language-Unlambda.html#line-94" class="link">Source</a> <a href="#t:Eval" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Eval:Applicative:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Language-Unlambda.html#t:Eval">Eval</a> (a -> b) -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a -> <a href="Language-Unlambda.html#t:Eval">Eval</a> b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Language-Unlambda.html#t:Eval">Eval</a> a -> <a href="Language-Unlambda.html#t:Eval">Eval</a> b -> <a href="Language-Unlambda.html#t:Eval">Eval</a> b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Language-Unlambda.html#t:Eval">Eval</a> a -> <a href="Language-Unlambda.html#t:Eval">Eval</a> b -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:Cont" class="def">Cont</a> a = (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>) -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/System-IO.html#t:IO">IO</a> <a href="Language-Unlambda.html#t:Exp">Exp</a> <a href="src/Language-Unlambda.html#Cont" class="link">Source</a> <a href="#t:Cont" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:currentChar" class="def">currentChar</a> :: <a href="Language-Unlambda.html#t:Eval">Eval</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a>) <a href="src/Language-Unlambda.html#currentChar" class="link">Source</a> <a href="#v:currentChar" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:setCurrentChar" class="def">setCurrentChar</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a> -> <a href="Language-Unlambda.html#t:Eval">Eval</a> () <a href="src/Language-Unlambda.html#setCurrentChar" class="link">Source</a> <a href="#v:setCurrentChar" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:io" class="def">io</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/System-IO.html#t:IO">IO</a> a -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a <a href="src/Language-Unlambda.html#io" class="link">Source</a> <a href="#v:io" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:throw" class="def">throw</a> :: ((<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>) -> t -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/System-IO.html#t:IO">IO</a> <a href="Language-Unlambda.html#t:Exp">Exp</a>) -> t -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a <a href="src/Language-Unlambda.html#throw" class="link">Source</a> <a href="#v:throw" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:exit" class="def">exit</a> :: <a href="Language-Unlambda.html#t:Exp">Exp</a> -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a <a href="src/Language-Unlambda.html#exit" class="link">Source</a> <a href="#v:exit" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:callCC" class="def">callCC</a> :: (((<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Char.html#t:Char">Char</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>) -> a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/System-IO.html#t:IO">IO</a> <a href="Language-Unlambda.html#t:Exp">Exp</a>) -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a) -> <a href="Language-Unlambda.html#t:Eval">Eval</a> a <a href="src/Language-Unlambda.html#callCC" class="link">Source</a> <a href="#v:callCC" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:step" class="def">step</a> :: <a href="Language-Unlambda.html#t:Eval">Eval</a> () <a href="src/Language-Unlambda.html#step" class="link">Source</a> <a href="#v:step" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:eval" class="def">eval</a> :: <a href="Language-Unlambda.html#t:Exp">Exp</a> -> <a href="Language-Unlambda.html#t:Eval">Eval</a> <a href="Language-Unlambda.html#t:Exp">Exp</a> <a href="src/Language-Unlambda.html#eval" class="link">Source</a> <a href="#v:eval" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:apply" class="def">apply</a> :: <a href="Language-Unlambda.html#t:Exp">Exp</a> -> <a href="Language-Unlambda.html#t:Exp">Exp</a> -> <a href="Language-Unlambda.html#t:Eval">Eval</a> <a href="Language-Unlambda.html#t:Exp">Exp</a> <a href="src/Language-Unlambda.html#apply" class="link">Source</a> <a href="#v:apply" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|