<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 >Instances</title ><link href="#" rel="stylesheet" type="text/css" title="NewOcean" /><link rel="stylesheet" type="text/css" href="#" /><link rel="stylesheet" type="text/css" href="#" /><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 empty" > </span ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a ></li ><li ><a href="#" >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 ></table ><p class="caption" >Instances</p ></div ><div id="interface" ><h1 >Documentation</h1 ><div class="top" ><p class="src" ><span class="keyword" >newtype</span > a <a id="t:-60--126--126-" class="def" ><~~</a > b <a href="#" class="selflink" >#</a ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" ><a id="v:Xyzzy" class="def" >Xyzzy</a > (b -> (a, a))</td ><td class="doc empty" > </td ></tr ></table ></div ><div class="subs instances" ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:-60--126--126-" >Instances</h4 ><details id="i:-60--126--126-" open="open" ><summary class="hide-when-js-enabled" >Instances details</summary ><table ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:-60--126--126-:Foo:1" ></span > <a href="#" title="Instances" >Foo</a > (<a href="#" title="Instances" >(<~~)</a > a)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:id:-60--126--126-:Foo:1" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a > :: (a <a href="#" title="Instances" ><~~</a > <a href="#" title="Data.Int" >Int</a >) -> a0 -> a <a href="#" title="Instances" ><~~</a > a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a > :: (a <a href="#" title="Instances" ><~~</a > (a <a href="#" title="Instances" ><~~</a > a0)) -> <a href="#" title="Data.Int" >Int</a > -> a <a href="#" title="Instances" ><~~</a > (a <a href="#" title="Instances" ><~~</a > <a href="#" title="Data.Int" >Int</a >) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ></table ></details ></div ></div ><div class="top" ><p class="src" ><span class="keyword" >class</span > <a id="t:Foo" class="def" >Foo</a > f <span class="keyword" >where</span > <a href="#" class="selflink" >#</a ></p ><div class="subs minimal" ><p class="caption" >Minimal complete definition</p ><p class="src" >Nothing</p ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a id="v:foo" class="def" >foo</a > :: f <a href="#" title="Data.Int" >Int</a > -> a -> f a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a id="v:foo-39-" class="def" >foo'</a > :: f (f a) -> <a href="#" title="Data.Int" >Int</a > -> f (f <a href="#" title="Data.Int" >Int</a >) <a href="#" class="selflink" >#</a ></p ></div ><div class="subs instances" ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo" >Instances</h4 ><details id="i:Foo" open="open" ><summary class="hide-when-js-enabled" >Instances details</summary ><table ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:1" ></span > <a href="#" title="Instances" >Foo</a > []</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Foo:Foo:1" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a > :: [<a href="#" title="Data.Int" >Int</a >] -> a -> [a] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a > :: [[a]] -> <a href="#" title="Data.Int" >Int</a > -> [[<a href="#" title="Data.Int" >Int</a >]] <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:2" ></span > <a href="#" title="Instances" >Foo</a > <a href="#" title="Data.Maybe" >Maybe</a ></span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Foo:Foo:2" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a > :: <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Int" >Int</a > -> a -> <a href="#" title="Data.Maybe" >Maybe</a > a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a > :: <a href="#" title="Data.Maybe" >Maybe</a > (<a href="#" title="Data.Maybe" >Maybe</a > a) -> <a href="#" title="Data.Int" >Int</a > -> <a href="#" title="Data.Maybe" >Maybe</a > (<a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Int" >Int</a >) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:3" ></span > <a href="#" title="Instances" >Foo</a > (<a href="#" title="Data.Either" >Either</a > a)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Foo:Foo:3" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a > :: <a href="#" title="Data.Either" >Either</a > a <a href="#" title="Data.Int" >Int</a > -> a0 -> <a href="#" title="Data.Either" >Either</a > a a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a > :: <a href="#" title="Data.Either" >Either</a > a (<a href="#" title="Data.Either" >Either</a > a a0) -> <a href="#" title="Data.Int" >Int</a > -> <a href="#" title="Data.Either" >Either</a > a (<a href="#" title="Data.Either" >Either</a > a <a href="#" title="Data.Int" >Int</a >) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:4" ></span > (<a href="#" title="Data.Eq" >Eq</a > a, <a href="#" title="Instances" >Foo</a > f) => <a href="#" title="Instances" >Foo</a > (<a href="#" title="GHC.Tuple" >(,)</a > (f a))</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Foo:Foo:4" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a > :: (f a, <a href="#" title="Data.Int" >Int</a >) -> a0 -> (f a, a0) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a > :: (f a, (f a, a0)) -> <a href="#" title="Data.Int" >Int</a > -> (f a, (f a, <a href="#" title="Data.Int" >Int</a >)) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:5" ></span > <a href="#" title="Instances" >Foo</a > (<a href="#" title="Instances" >(<~~)</a > a)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Foo:Foo:5" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a > :: (a <a href="#" title="Instances" ><~~</a > <a href="#" title="Data.Int" >Int</a >) -> a0 -> a <a href="#" title="Instances" ><~~</a > a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a > :: (a <a href="#" title="Instances" ><~~</a > (a <a href="#" title="Instances" ><~~</a > a0)) -> <a href="#" title="Data.Int" >Int</a > -> a <a href="#" title="Instances" ><~~</a > (a <a href="#" title="Instances" ><~~</a > <a href="#" title="Data.Int" >Int</a >) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:6" ></span > <a href="#" title="Instances" >Foo</a > (<a href="#" title="GHC.Tuple" >(,,)</a > a a)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Foo:Foo:6" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a > :: (a, a, <a href="#" title="Data.Int" >Int</a >) -> a0 -> (a, a, a0) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a > :: (a, a, (a, a, a0)) -> <a href="#" title="Data.Int" >Int</a > -> (a, a, (a, a, <a href="#" title="Data.Int" >Int</a >)) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:7" ></span > <a href="#" title="Instances" >Foo</a > (<a href="#" title="Instances" >Quux</a > a b)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Foo:Foo:7" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a > :: <a href="#" title="Instances" >Quux</a > a b <a href="#" title="Data.Int" >Int</a > -> a0 -> <a href="#" title="Instances" >Quux</a > a b a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a > :: <a href="#" title="Instances" >Quux</a > a b (<a href="#" title="Instances" >Quux</a > a b a0) -> <a href="#" title="Data.Int" >Int</a > -> <a href="#" title="Instances" >Quux</a > a b (<a href="#" title="Instances" >Quux</a > a b <a href="#" title="Data.Int" >Int</a >) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Foo:Foo:8" ></span > <a href="#" title="Instances" >Foo</a > ((->) a)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Foo:Foo:8" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a > :: (a -> <a href="#" title="Data.Int" >Int</a >) -> a0 -> a -> a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a > :: (a -> (a -> a0)) -> <a href="#" title="Data.Int" >Int</a > -> a -> (a -> <a href="#" title="Data.Int" >Int</a >) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ></table ></details ></div ></div ><div class="top" ><p class="src" ><span class="keyword" >class</span > <a href="#" title="Instances" >Foo</a > f => <a id="t:Bar" class="def" >Bar</a > f a <span class="keyword" >where</span > <a href="#" class="selflink" >#</a ></p ><div class="subs minimal" ><p class="caption" >Minimal complete definition</p ><p class="src" >Nothing</p ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a id="v:bar" class="def" >bar</a > :: f a -> f <a href="#" title="Data.Bool" >Bool</a > -> a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a id="v:bar-39-" class="def" >bar'</a > :: f (f a) -> f (f (f b)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a id="v:bar0" class="def" >bar0</a > :: (f a, f a) -> (f b, f c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a id="v:bar1" class="def" >bar1</a > :: (f a, f a) -> (f b, f c) <a href="#" class="selflink" >#</a ></p ></div ><div class="subs instances" ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar" >Instances</h4 ><details id="i:Bar" open="open" ><summary class="hide-when-js-enabled" >Instances details</summary ><table ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:1" ></span > <a href="#" title="Instances" >Bar</a > <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a ></span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Bar:Bar:1" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a > :: <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a > -> <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a > -> <a href="#" title="Data.Bool" >Bool</a > <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a > :: <a href="#" title="Data.Maybe" >Maybe</a > (<a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a >) -> <a href="#" title="Data.Maybe" >Maybe</a > (<a href="#" title="Data.Maybe" >Maybe</a > (<a href="#" title="Data.Maybe" >Maybe</a > b)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a > :: (<a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a >, <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a >) -> (<a href="#" title="Data.Maybe" >Maybe</a > b, <a href="#" title="Data.Maybe" >Maybe</a > c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a > :: (<a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a >, <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a >) -> (<a href="#" title="Data.Maybe" >Maybe</a > b, <a href="#" title="Data.Maybe" >Maybe</a > c) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:2" ></span > <a href="#" title="Instances" >Bar</a > <a href="#" title="Data.Maybe" >Maybe</a > [a]</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Bar:Bar:2" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a > :: <a href="#" title="Data.Maybe" >Maybe</a > [a] -> <a href="#" title="Data.Maybe" >Maybe</a > <a href="#" title="Data.Bool" >Bool</a > -> [a] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a > :: <a href="#" title="Data.Maybe" >Maybe</a > (<a href="#" title="Data.Maybe" >Maybe</a > [a]) -> <a href="#" title="Data.Maybe" >Maybe</a > (<a href="#" title="Data.Maybe" >Maybe</a > (<a href="#" title="Data.Maybe" >Maybe</a > b)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a > :: (<a href="#" title="Data.Maybe" >Maybe</a > [a], <a href="#" title="Data.Maybe" >Maybe</a > [a]) -> (<a href="#" title="Data.Maybe" >Maybe</a > b, <a href="#" title="Data.Maybe" >Maybe</a > c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a > :: (<a href="#" title="Data.Maybe" >Maybe</a > [a], <a href="#" title="Data.Maybe" >Maybe</a > [a]) -> (<a href="#" title="Data.Maybe" >Maybe</a > b, <a href="#" title="Data.Maybe" >Maybe</a > c) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:3" ></span > <a href="#" title="Instances" >Bar</a > [] (a, a)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Bar:Bar:3" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a > :: [(a, a)] -> [<a href="#" title="Data.Bool" >Bool</a >] -> (a, a) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a > :: [[(a, a)]] -> [[[b]]] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a > :: ([(a, a)], [(a, a)]) -> ([b], [c]) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a > :: ([(a, a)], [(a, a)]) -> ([b], [c]) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:4" ></span > <a href="#" title="Instances" >Foo</a > f => <a href="#" title="Instances" >Bar</a > (<a href="#" title="Data.Either" >Either</a > a) (f a)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Bar:Bar:4" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a > :: <a href="#" title="Data.Either" >Either</a > a (f a) -> <a href="#" title="Data.Either" >Either</a > a <a href="#" title="Data.Bool" >Bool</a > -> f a <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a > :: <a href="#" title="Data.Either" >Either</a > a (<a href="#" title="Data.Either" >Either</a > a (f a)) -> <a href="#" title="Data.Either" >Either</a > a (<a href="#" title="Data.Either" >Either</a > a (<a href="#" title="Data.Either" >Either</a > a b)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a > :: (<a href="#" title="Data.Either" >Either</a > a (f a), <a href="#" title="Data.Either" >Either</a > a (f a)) -> (<a href="#" title="Data.Either" >Either</a > a b, <a href="#" title="Data.Either" >Either</a > a c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a > :: (<a href="#" title="Data.Either" >Either</a > a (f a), <a href="#" title="Data.Either" >Either</a > a (f a)) -> (<a href="#" title="Data.Either" >Either</a > a b, <a href="#" title="Data.Either" >Either</a > a c) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:5" ></span > <a href="#" title="Instances" >Foo</a > (<a href="#" title="GHC.Tuple" >(,,)</a > a b) => <a href="#" title="Instances" >Bar</a > (<a href="#" title="GHC.Tuple" >(,,)</a > a b) (a, b, a)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Bar:Bar:5" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a > :: (a, b, (a, b, a)) -> (a, b, <a href="#" title="Data.Bool" >Bool</a >) -> (a, b, a) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a > :: (a, b, (a, b, (a, b, a))) -> (a, b, (a, b, (a, b, b0))) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b0), (a, b, c)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b0), (a, b, c)) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Bar:Bar:6" ></span > <a href="#" title="Instances" >Bar</a > (<a href="#" title="Instances" >Quux</a > a c) (<a href="#" title="Instances" >Quux</a > a b c)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Bar:Bar:6" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a > :: <a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c) -> <a href="#" title="Instances" >Quux</a > a c <a href="#" title="Data.Bool" >Bool</a > -> <a href="#" title="Instances" >Quux</a > a b c <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a > :: <a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c)) -> <a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a c b0)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a > :: (<a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c), <a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c)) -> (<a href="#" title="Instances" >Quux</a > a c b0, <a href="#" title="Instances" >Quux</a > a c c0) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a > :: (<a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c), <a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c)) -> (<a href="#" title="Instances" >Quux</a > a c b0, <a href="#" title="Instances" >Quux</a > a c c0) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ></table ></details ></div ></div ><div class="top" ><p class="src" ><span class="keyword" >class</span > <a id="t:Baz" class="def" >Baz</a > a <span class="keyword" >where</span > <a href="#" class="selflink" >#</a ></p ><div class="subs minimal" ><p class="caption" >Minimal complete definition</p ><p class="src" >Nothing</p ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a id="v:baz" class="def" >baz</a > :: a -> (<span class="keyword" >forall</span > a. a -> a) -> (b, <span class="keyword" >forall</span > c. c -> a) -> (b, c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a id="v:baz-39-" class="def" >baz'</a > :: b -> (<span class="keyword" >forall</span > b. b -> a) -> (<span class="keyword" >forall</span > b. b -> a) -> [(b, a)] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a id="v:baz-39--39-" class="def" >baz''</a > :: b -> (<span class="keyword" >forall</span > b. (<span class="keyword" >forall</span > b. b -> a) -> c) -> <span class="keyword" >forall</span > c. c -> b <a href="#" class="selflink" >#</a ></p ></div ><div class="subs instances" ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Baz" >Instances</h4 ><details id="i:Baz" open="open" ><summary class="hide-when-js-enabled" >Instances details</summary ><table ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Baz:Baz:1" ></span > <a href="#" title="Instances" >Baz</a > [c]</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Baz:Baz:1" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >baz</a > :: [c] -> (<span class="keyword" >forall</span > a. a -> a) -> (b, <span class="keyword" >forall</span > c0. c0 -> [c]) -> (b, c1) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz'</a > :: b -> (<span class="keyword" >forall</span > b. b -> [c]) -> (<span class="keyword" >forall</span > b. b -> [c]) -> [(b, [c])] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz''</a > :: b -> (<span class="keyword" >forall</span > b. (<span class="keyword" >forall</span > b. b -> [c]) -> c0) -> <span class="keyword" >forall</span > c1. c1 -> b <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Baz:Baz:2" ></span > <a href="#" title="Instances" >Baz</a > (a -> b)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Baz:Baz:2" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >baz</a > :: (a -> b) -> (<span class="keyword" >forall</span > a0. a0 -> a0) -> (b0, <span class="keyword" >forall</span > c. c -> a -> b) -> (b0, c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz'</a > :: b0 -> (<span class="keyword" >forall</span > b1. b1 -> a -> b) -> (<span class="keyword" >forall</span > b2. b2 -> a -> b) -> [(b0, a -> b)] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz''</a > :: b0 -> (<span class="keyword" >forall</span > b1. (<span class="keyword" >forall</span > b2. b2 -> a -> b) -> c) -> <span class="keyword" >forall</span > c. c -> b0 <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Baz:Baz:3" ></span > <a href="#" title="Instances" >Baz</a > (a, b, c)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Baz:Baz:3" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >baz</a > :: (a, b, c) -> (<span class="keyword" >forall</span > a0. a0 -> a0) -> (b0, <span class="keyword" >forall</span > c0. c0 -> (a, b, c)) -> (b0, c1) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz'</a > :: b0 -> (<span class="keyword" >forall</span > b1. b1 -> (a, b, c)) -> (<span class="keyword" >forall</span > b2. b2 -> (a, b, c)) -> [(b0, (a, b, c))] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz''</a > :: b0 -> (<span class="keyword" >forall</span > b1. (<span class="keyword" >forall</span > b2. b2 -> (a, b, c)) -> c0) -> <span class="keyword" >forall</span > c1. c1 -> b0 <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Baz:Baz:4" ></span > <a href="#" title="Instances" >Baz</a > (<a href="#" title="Instances" >Quux</a > a b c)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Baz:Baz:4" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >baz</a > :: <a href="#" title="Instances" >Quux</a > a b c -> (<span class="keyword" >forall</span > a0. a0 -> a0) -> (b0, <span class="keyword" >forall</span > c0. c0 -> <a href="#" title="Instances" >Quux</a > a b c) -> (b0, c1) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz'</a > :: b0 -> (<span class="keyword" >forall</span > b1. b1 -> <a href="#" title="Instances" >Quux</a > a b c) -> (<span class="keyword" >forall</span > b2. b2 -> <a href="#" title="Instances" >Quux</a > a b c) -> [(b0, <a href="#" title="Instances" >Quux</a > a b c)] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz''</a > :: b0 -> (<span class="keyword" >forall</span > b1. (<span class="keyword" >forall</span > b2. b2 -> <a href="#" title="Instances" >Quux</a > a b c) -> c0) -> <span class="keyword" >forall</span > c1. c1 -> b0 <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Baz:Baz:5" ></span > <a href="#" title="Instances" >Baz</a > (a, [b], b, a)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Baz:Baz:5" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >baz</a > :: (a, [b], b, a) -> (<span class="keyword" >forall</span > a0. a0 -> a0) -> (b0, <span class="keyword" >forall</span > c. c -> (a, [b], b, a)) -> (b0, c) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz'</a > :: b0 -> (<span class="keyword" >forall</span > b1. b1 -> (a, [b], b, a)) -> (<span class="keyword" >forall</span > b2. b2 -> (a, [b], b, a)) -> [(b0, (a, [b], b, a))] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz''</a > :: b0 -> (<span class="keyword" >forall</span > b1. (<span class="keyword" >forall</span > b2. b2 -> (a, [b], b, a)) -> c) -> <span class="keyword" >forall</span > c. c -> b0 <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ></table ></details ></div ></div ><div class="top" ><p class="src" ><span class="keyword" >data</span > <a id="t:Quux" class="def" >Quux</a > a b c <a href="#" class="selflink" >#</a ></p ><div class="subs constructors" ><p class="caption" >Constructors</p ><table ><tr ><td class="src" ><a id="v:Qx" class="def" >Qx</a > a</td ><td class="doc empty" > </td ></tr ><tr ><td class="src" ><a id="v:Qux" class="def" >Qux</a > a b</td ><td class="doc empty" > </td ></tr ><tr ><td class="src" ><a id="v:Quux" class="def" >Quux</a > a b c</td ><td class="doc empty" > </td ></tr ></table ></div ><div class="subs instances" ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Quux" >Instances</h4 ><details id="i:Quux" open="open" ><summary class="hide-when-js-enabled" >Instances details</summary ><table ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Quux:Foo:1" ></span > <a href="#" title="Instances" >Foo</a > (<a href="#" title="Instances" >Quux</a > a b)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:id:Quux:Foo:1" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >foo</a > :: <a href="#" title="Instances" >Quux</a > a b <a href="#" title="Data.Int" >Int</a > -> a0 -> <a href="#" title="Instances" >Quux</a > a b a0 <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >foo'</a > :: <a href="#" title="Instances" >Quux</a > a b (<a href="#" title="Instances" >Quux</a > a b a0) -> <a href="#" title="Data.Int" >Int</a > -> <a href="#" title="Instances" >Quux</a > a b (<a href="#" title="Instances" >Quux</a > a b <a href="#" title="Data.Int" >Int</a >) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Quux:Bar:2" ></span > <a href="#" title="Instances" >Bar</a > (<a href="#" title="Instances" >Quux</a > a c) (<a href="#" title="Instances" >Quux</a > a b c)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:id:Quux:Bar:2" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >bar</a > :: <a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c) -> <a href="#" title="Instances" >Quux</a > a c <a href="#" title="Data.Bool" >Bool</a > -> <a href="#" title="Instances" >Quux</a > a b c <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar'</a > :: <a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c)) -> <a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a c b0)) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar0</a > :: (<a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c), <a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c)) -> (<a href="#" title="Instances" >Quux</a > a c b0, <a href="#" title="Instances" >Quux</a > a c c0) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >bar1</a > :: (<a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c), <a href="#" title="Instances" >Quux</a > a c (<a href="#" title="Instances" >Quux</a > a b c)) -> (<a href="#" title="Instances" >Quux</a > a c b0, <a href="#" title="Instances" >Quux</a > a c c0) <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Quux:Baz:3" ></span > <a href="#" title="Instances" >Baz</a > (<a href="#" title="Instances" >Quux</a > a b c)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:id:Quux:Baz:3" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >baz</a > :: <a href="#" title="Instances" >Quux</a > a b c -> (<span class="keyword" >forall</span > a0. a0 -> a0) -> (b0, <span class="keyword" >forall</span > c0. c0 -> <a href="#" title="Instances" >Quux</a > a b c) -> (b0, c1) <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz'</a > :: b0 -> (<span class="keyword" >forall</span > b1. b1 -> <a href="#" title="Instances" >Quux</a > a b c) -> (<span class="keyword" >forall</span > b2. b2 -> <a href="#" title="Instances" >Quux</a > a b c) -> [(b0, <a href="#" title="Instances" >Quux</a > a b c)] <a href="#" class="selflink" >#</a ></p ><p class="src" ><a href="#" >baz''</a > :: b0 -> (<span class="keyword" >forall</span > b1. (<span class="keyword" >forall</span > b2. b2 -> <a href="#" title="Instances" >Quux</a > a b c) -> c0) -> <span class="keyword" >forall</span > c1. c1 -> b0 <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Quux:Thud:4" ></span > <span class="keyword" >data</span > <a href="#" title="Instances" >Thud</a > <a href="#" title="Data.Int" >Int</a > (<a href="#" title="Instances" >Quux</a > a [a] c)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:id:Quux:Thud:4" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="src" ><span class="keyword" >data</span > <a href="#" title="Instances" >Thud</a > <a href="#" title="Data.Int" >Int</a > (<a href="#" title="Instances" >Quux</a > a [a] c) <ul class="inst" ><li class="inst" >= <a id="v:Thuud" class="def" >Thuud</a > a</li ><li class="inst" >| <a id="v:Thuuud" class="def" >Thuuud</a > <a href="#" title="Data.Int" >Int</a > <a href="#" title="Data.Int" >Int</a ></li ></ul ></div ></details ></td ></tr ></table ></details ></div ></div ><div class="top" ><p class="src" ><span class="keyword" >class</span > <a id="t:Norf" class="def" >Norf</a > a b <span class="keyword" >where</span > <a href="#" class="selflink" >#</a ></p ><div class="subs minimal" ><p class="caption" >Minimal complete definition</p ><p class="src" >Nothing</p ></div ><div class="subs associated-types" ><p class="caption" >Associated Types</p ><p class="src" ><span class="keyword" >type</span > <a id="t:Plugh" class="def" >Plugh</a > a c b <a href="#" class="selflink" >#</a ></p ><p class="src" ><span class="keyword" >data</span > <a id="t:Thud" class="def" >Thud</a > a c <a href="#" class="selflink" >#</a ></p ></div ><div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a id="v:norf" class="def" >norf</a > :: <a href="#" title="Instances" >Plugh</a > a c b -> a -> (a -> c) -> b <a href="#" class="selflink" >#</a ></p ></div ><div class="subs instances" ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Norf" >Instances</h4 ><details id="i:Norf" open="open" ><summary class="hide-when-js-enabled" >Instances details</summary ><table ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Norf:Norf:1" ></span > <a href="#" title="Instances" >Norf</a > <a href="#" title="Data.Int" >Int</a > <a href="#" title="Data.Bool" >Bool</a ></span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Norf:Norf:1" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs associated-types" ><p class="caption" >Associated Types</p ><p class="src" ><span class="keyword" >type</span > <a href="#" title="Instances" >Plugh</a > <a href="#" title="Data.Int" >Int</a > c <a href="#" title="Data.Bool" >Bool</a > <a href="#" class="selflink" >#</a ></p ><p class="src" ><span class="keyword" >data</span > <a href="#" title="Instances" >Thud</a > <a href="#" title="Data.Int" >Int</a > c <a href="#" class="selflink" >#</a ></p ></div > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >norf</a > :: <a href="#" title="Instances" >Plugh</a > <a href="#" title="Data.Int" >Int</a > c <a href="#" title="Data.Bool" >Bool</a > -> <a href="#" title="Data.Int" >Int</a > -> (<a href="#" title="Data.Int" >Int</a > -> c) -> <a href="#" title="Data.Bool" >Bool</a > <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ><tr ><td class="src clearfix" ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Norf:Norf:2" ></span > <a href="#" title="Instances" >Norf</a > [a] [b]</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" > </td ></tr ><tr ><td colspan="2" ><details id="i:ic:Norf:Norf:2" ><summary class="hide-when-js-enabled" >Instance details</summary ><p >Defined in <a href="#" >Instances</a ></p > <div class="subs associated-types" ><p class="caption" >Associated Types</p ><p class="src" ><span class="keyword" >type</span > <a href="#" title="Instances" >Plugh</a > [a] c [b] <a href="#" class="selflink" >#</a ></p ><p class="src" ><span class="keyword" >data</span > <a href="#" title="Instances" >Thud</a > [a] c <a href="#" class="selflink" >#</a ></p ></div > <div class="subs methods" ><p class="caption" >Methods</p ><p class="src" ><a href="#" >norf</a > :: <a href="#" title="Instances" >Plugh</a > [a] c [b] -> [a] -> ([a] -> c) -> [b] <a href="#" class="selflink" >#</a ></p ></div ></details ></td ></tr ></table ></details ></div ></div ></div ></div ></body ></html >