<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="Ocean"
/><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 src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></head
><body
><div id="package-header"
><div class="caption empty"
></div
><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</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"
><details id="i:-60--126--126-" open="open"
><summary
>Instances</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"
><details id="i:Foo" open="open"
><summary
>Instances</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="GHC.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="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Int"
>Int</a
> -> a -> <a href="#" title="GHC.Maybe"
>Maybe</a
> a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
> :: <a href="#" title="GHC.Maybe"
>Maybe</a
> (<a href="#" title="GHC.Maybe"
>Maybe</a
> a) -> <a href="#" title="Data.Int"
>Int</a
> -> <a href="#" title="GHC.Maybe"
>Maybe</a
> (<a href="#" title="GHC.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 :: <a href="#" title="Data.Kind"
>Type</a
> -> <a href="#" title="Data.Kind"
>Type</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"
><details id="i:Bar" open="open"
><summary
>Instances</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="GHC.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="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
> -> <a href="#" title="GHC.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="GHC.Maybe"
>Maybe</a
> (<a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
>) -> <a href="#" title="GHC.Maybe"
>Maybe</a
> (<a href="#" title="GHC.Maybe"
>Maybe</a
> (<a href="#" title="GHC.Maybe"
>Maybe</a
> b)) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar0</a
> :: (<a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
>, <a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
>) -> (<a href="#" title="GHC.Maybe"
>Maybe</a
> b, <a href="#" title="GHC.Maybe"
>Maybe</a
> c) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar1</a
> :: (<a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
>, <a href="#" title="GHC.Maybe"
>Maybe</a
> <a href="#" title="Data.Bool"
>Bool</a
>) -> (<a href="#" title="GHC.Maybe"
>Maybe</a
> b, <a href="#" title="GHC.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="GHC.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="GHC.Maybe"
>Maybe</a
> [a] -> <a href="#" title="GHC.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="GHC.Maybe"
>Maybe</a
> (<a href="#" title="GHC.Maybe"
>Maybe</a
> [a]) -> <a href="#" title="GHC.Maybe"
>Maybe</a
> (<a href="#" title="GHC.Maybe"
>Maybe</a
> (<a href="#" title="GHC.Maybe"
>Maybe</a
> b)) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar0</a
> :: (<a href="#" title="GHC.Maybe"
>Maybe</a
> [a], <a href="#" title="GHC.Maybe"
>Maybe</a
> [a]) -> (<a href="#" title="GHC.Maybe"
>Maybe</a
> b, <a href="#" title="GHC.Maybe"
>Maybe</a
> c) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar1</a
> :: (<a href="#" title="GHC.Maybe"
>Maybe</a
> [a], <a href="#" title="GHC.Maybe"
>Maybe</a
> [a]) -> (<a href="#" title="GHC.Maybe"
>Maybe</a
> b, <a href="#" title="GHC.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"
><details id="i:Baz" open="open"
><summary
>Instances</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"
><details id="i:Quux" open="open"
><summary
>Instances</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"
><details id="i:Norf" open="open"
><summary
>Instances</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="#" title="Data.Kind"
>Type</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="#" title="Data.Kind"
>Type</a
> <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="#" title="Data.Kind"
>Type</a
> <a href="#" class="selflink"
>#</a
></p
><p class="src"
><span class="keyword"
>data</span
> <a href="#" title="Instances"
>Thud</a
> [a] c :: <a href="#" title="Data.Kind"
>Type</a
> <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
><div id="footer"
></div
></body
></html
>