/usr/share/doc/libghc-free-doc/html/Control-Alternative-Free-Final.html is in libghc-free-doc 4.12.4-3build4.
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>Control.Alternative.Free.Final</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_Control-Alternative-Free-Final.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Control-Alternative-Free-Final.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">free-4.12.4: Monads for free</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) 2012 Edward Kmett</td></tr><tr><th>License</th><td>BSD-style (see the file LICENSE)</td></tr><tr><th>Maintainer</th><td>Edward Kmett <ekmett@gmail.com></td></tr><tr><th>Stability</th><td>provisional</td></tr><tr><th>Portability</th><td>GADTs, Rank2Types</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Control.Alternative.Free.Final</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>Final encoding of free <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a></code> functors.</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">newtype</span> <a href="#t:Alt">Alt</a> f a = <a href="#v:Alt">Alt</a> {<ul class="subs"><li><a href="#v:_runAlt">_runAlt</a> :: <span class="keyword">forall</span> g. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a> g => (<span class="keyword">forall</span> x. f x -> g x) -> g a</li></ul>}</li><li class="src short"><a href="#v:runAlt">runAlt</a> :: <span class="keyword">forall</span> f g a. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a> g => (<span class="keyword">forall</span> x. f x -> g x) -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> g a</li><li class="src short"><a href="#v:liftAlt">liftAlt</a> :: f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a</li><li class="src short"><a href="#v:hoistAlt">hoistAlt</a> :: (<span class="keyword">forall</span> a. f a -> g a) -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> g b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Alt" class="def">Alt</a> f a <a href="src/Control-Alternative-Free-Final.html#Alt" class="link">Source</a> <a href="#t:Alt" class="selflink">#</a></p><div class="doc"><p>The free <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a></code> for a <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor.html#t:Functor">Functor</a></code> <code>f</code>.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Alt" class="def">Alt</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:_runAlt" class="def">_runAlt</a> :: <span class="keyword">forall</span> g. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a> g => (<span class="keyword">forall</span> x. f x -> g x) -> g a</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><p id="control.i:Alt" class="caption collapser" onclick="toggleSection('i:Alt')">Instances</p><div id="section.i:Alt" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Alt:Functor:1" class="instance expander" onclick="toggleSection('i:id:Alt:Functor:1')"></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="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f)</span> <a href="src/Control-Alternative-Free-Final.html#line-30" class="link">Source</a> <a href="#t:Alt" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Alt:Functor:1" 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="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f 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:Alt:Applicative:2" class="instance expander" onclick="toggleSection('i:id:Alt:Applicative:2')"></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="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f)</span> <a href="src/Control-Alternative-Free-Final.html#line-36" class="link">Source</a> <a href="#t:Alt" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Alt:Applicative:2" 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="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f (a -> b) -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Alt:Alternative:3" class="instance expander" onclick="toggleSection('i:id:Alt:Alternative:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a> (<a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f)</span> <a href="src/Control-Alternative-Free-Final.html#line-43" class="link">Source</a> <a href="#t:Alt" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Alt:Alternative:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:empty">empty</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:empty" class="selflink">#</a></p><p class="src"><a href="#v:-60--124--62-">(<|>)</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:-60--124--62-" class="selflink">#</a></p><p class="src"><a href="#v:some">some</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f [a] <a href="#v:some" class="selflink">#</a></p><p class="src"><a href="#v:many">many</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f [a] <a href="#v:many" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Alt:Alt:4" class="instance expander" onclick="toggleSection('i:id:Alt:Alt:4')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Alt.html#t:Alt">Alt</a> (<a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f)</span> <a href="src/Control-Alternative-Free-Final.html#line-40" class="link">Source</a> <a href="#t:Alt" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Alt:Alt:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--33--62-">(<!>)</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:-60--33--62-" class="selflink">#</a></p><p class="src"><a href="#v:some">some</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f) => <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f [a] <a href="#v:some" class="selflink">#</a></p><p class="src"><a href="#v:many">many</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f) => <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f [a] <a href="#v:many" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Alt:Apply:5" class="instance expander" onclick="toggleSection('i:id:Alt:Apply:5')"></span> <a href="file:///usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Apply.html#t:Apply">Apply</a> (<a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f)</span> <a href="src/Control-Alternative-Free-Final.html#line-33" class="link">Source</a> <a href="#t:Alt" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Alt:Apply:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60-.-62-">(<.>)</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f (a -> b) -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b <a href="#v:-60-.-62-" class="selflink">#</a></p><p class="src"><a href="#v:.-62-">(.>)</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b <a href="#v:.-62-" class="selflink">#</a></p><p class="src"><a href="#v:-60-.">(<.)</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:-60-." class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Alt:Semigroup:6" class="instance expander" onclick="toggleSection('i:id:Alt:Semigroup:6')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> (<a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a)</span> <a href="src/Control-Alternative-Free-Final.html#line-47" class="link">Source</a> <a href="#t:Alt" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Alt:Semigroup:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(<>)</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-List-NonEmpty.html#t:NonEmpty">NonEmpty</a> (<a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a) -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> b => b -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:stimes" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Alt:Monoid:7" class="instance expander" onclick="toggleSection('i:id:Alt:Monoid:7')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> (<a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a)</span> <a href="src/Control-Alternative-Free-Final.html#line-50" class="link">Source</a> <a href="#t:Alt" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Alt:Monoid:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a] -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="#v:mconcat" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:runAlt" class="def">runAlt</a> :: <span class="keyword">forall</span> f g a. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a> g => (<span class="keyword">forall</span> x. f x -> g x) -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a -> g a <a href="src/Control-Alternative-Free-Final.html#runAlt" class="link">Source</a> <a href="#v:runAlt" class="selflink">#</a></p><div class="doc"><p>Given a natural transformation from <code>f</code> to <code>g</code>, this gives a canonical monoidal natural transformation from <code><code><a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a></code> f</code> to <code>g</code>.</p></div></div><div class="top"><p class="src"><a id="v:liftAlt" class="def">liftAlt</a> :: f a -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f a <a href="src/Control-Alternative-Free-Final.html#liftAlt" class="link">Source</a> <a href="#v:liftAlt" class="selflink">#</a></p><div class="doc"><p>A version of <code>lift</code> that can be used with <code>f</code>.</p></div></div><div class="top"><p class="src"><a id="v:hoistAlt" class="def">hoistAlt</a> :: (<span class="keyword">forall</span> a. f a -> g a) -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> f b -> <a href="Control-Alternative-Free-Final.html#t:Alt">Alt</a> g b <a href="src/Control-Alternative-Free-Final.html#hoistAlt" class="link">Source</a> <a href="#v:hoistAlt" class="selflink">#</a></p><div class="doc"><p>Given a natural transformation from <code>f</code> to <code>g</code> this gives a monoidal natural transformation from <code>Alt f</code> to <code>Alt g</code>.</p></div></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>
|