/usr/share/doc/libghc-semigroupoids-doc/html/Data-Functor-Plus.html is in libghc-semigroupoids-doc 5.2.1-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 | <!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>Data.Functor.Plus</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_Data-Functor-Plus.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Functor-Plus.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">semigroupoids-5.2.1: Semigroupoids: Category sans id</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(C) 2011-2015 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>portable</td></tr><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Data.Functor.Plus</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </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">class</span> <a href="Data-Functor-Alt.html#t:Alt">Alt</a> f => <a href="#t:Plus">Plus</a> f <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short">module <a href="Data-Functor-Alt.html">Data.Functor.Alt</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-Functor-Alt.html#t:Alt">Alt</a> f => <a id="t:Plus" class="def">Plus</a> f <span class="keyword">where</span> <a href="src/Data-Functor-Plus.html#Plus" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></p><div class="doc"><p>Laws:</p><pre>zero <!> m = m
m <!> zero = m</pre><p>If extended to an <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a></code> then <code><a href="Data-Functor-Plus.html#v:zero">zero</a></code> should equal <code><a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#v:empty">empty</a></code>.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Data-Functor-Plus.html#v:zero">zero</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:zero" class="def">zero</a> :: f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:Plus" class="caption collapser" onclick="toggleSection('i:Plus')">Instances</p><div id="section.i:Plus" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:1" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:1')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> []</span> <a href="src/Data-Functor-Plus.html#line-96" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: [a] <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:2" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:2')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a></span> <a href="src/Data-Functor-Plus.html#line-99" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:3" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:3')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/System-IO.html#t:IO">IO</a></span> <a href="src/Data-Functor-Plus.html#line-93" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</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="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:4" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:4')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:U1">U1</a></span> <a href="src/Data-Functor-Plus.html#line-81" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:U1">U1</a> a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:5" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:5')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Option">Option</a></span> <a href="src/Data-Functor-Plus.html#line-102" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Option">Option</a> a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:6" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:6')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a></span> <a href="src/Data-Functor-Plus.html#line-115" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-IntMap-Lazy.html#t:IntMap">IntMap</a> a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:7" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:7')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a></span> <a href="src/Data-Functor-Plus.html#line-118" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Sequence.html#t:Seq">Seq</a> a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:8" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:8')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec1">Rec1</a> f)</span> <a href="src/Data-Functor-Plus.html#line-90" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:Rec1">Rec1</a> f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:9" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:9')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> m => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:WrappedMonad">WrappedMonad</a> m)</span> <a href="src/Data-Functor-Plus.html#line-105" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:WrappedMonad">WrappedMonad</a> m a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:10" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:10')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Proxy.html#t:Proxy">Proxy</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a>)</span> <a href="src/Data-Functor-Plus.html#line-78" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Proxy.html#t:Proxy">Proxy</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:11" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:11')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> k => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k)</span> <a href="src/Data-Functor-Plus.html#line-112" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> k a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:12" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:12')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Applicative-Lift.html#t:Lift">Lift</a> f)</span> <a href="src/Data-Functor-Plus.html#line-167" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Applicative-Lift.html#t:Lift">Lift</a> f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:13" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:13')"></span> (<a href="Data-Functor-Bind.html#t:Bind">Bind</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> f) => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> f)</span> <a href="src/Data-Functor-Plus.html#line-131" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Maybe.html#t:MaybeT">MaybeT</a> f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:14" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:14')"></span> (<a href="Data-Functor-Apply.html#t:Apply">Apply</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f) => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-List.html#t:ListT">ListT</a> f)</span> <a href="src/Data-Functor-Plus.html#line-140" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-List.html#t:ListT">ListT</a> f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:15" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:15')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:Alternative">Alternative</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="Data-Functor-Apply.html#t:WrappedApplicative">WrappedApplicative</a> f)</span> <a href="src/Data-Functor-Plus.html#line-122" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="Data-Functor-Apply.html#t:WrappedApplicative">WrappedApplicative</a> f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:16" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:16')"></span> (<a href="Data-Functor-Plus.html#t:Plus">Plus</a> f, <a href="Data-Functor-Plus.html#t:Plus">Plus</a> g) => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t::-42-:">(:*:)</a> f g)</span> <a href="src/Data-Functor-Plus.html#line-84" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: (f <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t::-42-:">:*:</a> g) a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:17" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:17')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Arrow.html#t:ArrowPlus">ArrowPlus</a> a => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:WrappedArrow">WrappedArrow</a> a b)</span> <a href="src/Data-Functor-Plus.html#line-108" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Applicative.html#t:WrappedArrow">WrappedArrow</a> a b a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:18" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:18')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f)</span> <a href="src/Data-Functor-Plus.html#line-125" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/libghc-comonad-doc/html/Control-Comonad-Trans-Identity.html#t:IdentityT">IdentityT</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:19" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:19')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Reverse.html#t:Reverse">Reverse</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f)</span> <a href="src/Data-Functor-Plus.html#line-173" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Data-Functor-Reverse.html#t:Reverse">Reverse</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:20" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:20')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Applicative-Backwards.html#t:Backwards">Backwards</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f)</span> <a href="src/Data-Functor-Plus.html#line-161" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:20" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Applicative-Backwards.html#t:Backwards">Backwards</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:21" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:21')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Writer-Strict.html#t:WriterT">WriterT</a> w f)</span> <a href="src/Data-Functor-Plus.html#line-149" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:21" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Writer-Strict.html#t:WriterT">WriterT</a> w f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:22" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:22')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Writer-Lazy.html#t:WriterT">WriterT</a> w f)</span> <a href="src/Data-Functor-Plus.html#line-152" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:22" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Writer-Lazy.html#t:WriterT">WriterT</a> w f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:23" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:23')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-State-Strict.html#t:StateT">StateT</a> e f)</span> <a href="src/Data-Functor-Plus.html#line-143" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:23" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-State-Strict.html#t:StateT">StateT</a> e f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:24" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:24')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-State-Lazy.html#t:StateT">StateT</a> e f)</span> <a href="src/Data-Functor-Plus.html#line-146" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:24" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-State-Lazy.html#t:StateT">StateT</a> e f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:25" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:25')"></span> (<a href="Data-Functor-Bind.html#t:Bind">Bind</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> e, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Monoid.html#t:Monoid">Monoid</a> e) => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Except.html#t:ExceptT">ExceptT</a> e f)</span> <a href="src/Data-Functor-Plus.html#line-137" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:25" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Except.html#t:ExceptT">ExceptT</a> e f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:26" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:26')"></span> (<a href="Data-Functor-Bind.html#t:Bind">Bind</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Control-Monad.html#t:Monad">Monad</a> f, <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Error.html#t:Error">Error</a> e) => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Error.html#t:ErrorT">ErrorT</a> e f)</span> <a href="src/Data-Functor-Plus.html#line-134" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:26" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Error.html#t:ErrorT">ErrorT</a> e f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:27" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:27')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="Data-Semigroupoid-Static.html#t:Static">Static</a> f a)</span> <a href="src/Data-Functor-Plus.html#line-56" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:27" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="Data-Semigroupoid-Static.html#t:Static">Static</a> f a a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:28" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:28')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:M1">M1</a> i c f)</span> <a href="src/Data-Functor-Plus.html#line-87" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:28" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/GHC-Generics.html#t:M1">M1</a> i c f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:29" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:29')"></span> (<a href="Data-Functor-Plus.html#t:Plus">Plus</a> f, <a href="Data-Functor-Plus.html#t:Plus">Plus</a> g) => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g)</span> <a href="src/Data-Functor-Plus.html#line-170" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:29" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Product.html#t:Product">Product</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:30" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:30')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Reader.html#t:ReaderT">ReaderT</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> e f)</span> <a href="src/Data-Functor-Plus.html#line-128" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:30" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-Reader.html#t:ReaderT">ReaderT</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> e f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:31" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:31')"></span> (<a href="Data-Functor-Plus.html#t:Plus">Plus</a> f, <a href="Data-Functor-Apply.html#t:Functor">Functor</a> g) => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Compose.html#t:Compose">Compose</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g)</span> <a href="src/Data-Functor-Plus.html#line-164" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:31" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Functor-Compose.html#t:Compose">Compose</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Kind.html#t:-42-">*</a> f g a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:32" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:32')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-RWS-Strict.html#t:RWST">RWST</a> r w s f)</span> <a href="src/Data-Functor-Plus.html#line-155" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:32" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-RWS-Strict.html#t:RWST">RWST</a> r w s f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Plus:Plus:33" class="instance expander" onclick="toggleSection('i:ic:Plus:Plus:33')"></span> <a href="Data-Functor-Plus.html#t:Plus">Plus</a> f => <a href="Data-Functor-Plus.html#t:Plus">Plus</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-RWS-Lazy.html#t:RWST">RWST</a> r w s f)</span> <a href="src/Data-Functor-Plus.html#line-158" class="link">Source</a> <a href="#t:Plus" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Plus:Plus:33" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:zero">zero</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/transformers-0.5.2.0/Control-Monad-Trans-RWS-Lazy.html#t:RWST">RWST</a> r w s f a <a href="src/Data-Functor-Plus.html#zero" class="link">Source</a> <a href="#v:zero" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src">module <a href="Data-Functor-Alt.html">Data.Functor.Alt</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>
|