<html xmlns="http://www.w3.org/1999/xhtml"
><head
><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
/><title
>Instances</title
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><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"
><ul class="links" id="page-menu"
><li
><a href="#"
>Contents</a
></li
><li
><a href="#"
>Index</a
></li
></ul
><p class="caption empty"
></p
></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
> Int) -> 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)) -> Int -> a <a href="#" title="Instances"
><~~</a
> (a <a href="#" title="Instances"
><~~</a
> Int) <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 Int -> a -> f a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a id="v:foo-39-" class="def"
>foo'</a
> :: f (f a) -> Int -> f (f Int) <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
> :: [Int] -> a -> [a] <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
> :: [[a]] -> Int -> [[Int]] <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
> Maybe</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
> :: Maybe Int -> a -> Maybe a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
> :: Maybe (Maybe a) -> Int -> Maybe (Maybe Int) <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
> (Either 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
> :: Either a Int -> a0 -> Either a a0 <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
> :: Either a (Either a a0) -> Int -> Either a (Either a Int) <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
> (Eq a, <a href="#" title="Instances"
>Foo</a
> f) => <a href="#" title="Instances"
>Foo</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, Int) -> a0 -> (f a, a0) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
> :: (f a, (f a, a0)) -> Int -> (f a, (f a, Int)) <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
> Int) -> 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)) -> Int -> a <a href="#" title="Instances"
><~~</a
> (a <a href="#" title="Instances"
><~~</a
> Int) <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 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, Int) -> a0 -> (a, a, a0) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
> :: (a, a, (a, a, a0)) -> Int -> (a, a, (a, a, Int)) <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 Int -> 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) -> Int -> <a href="#" title="Instances"
>Quux</a
> a b (<a href="#" title="Instances"
>Quux</a
> a b Int) <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 -> Int) -> a0 -> a -> a0 <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
> :: (a -> (a -> a0)) -> Int -> a -> (a -> Int) <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 Bool -> 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
> Maybe Bool</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
> :: Maybe Bool -> Maybe Bool -> Bool <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar'</a
> :: Maybe (Maybe Bool) -> Maybe (Maybe (Maybe b)) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar0</a
> :: (Maybe Bool, Maybe Bool) -> (Maybe b, Maybe c) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar1</a
> :: (Maybe Bool, Maybe Bool) -> (Maybe b, Maybe 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
> Maybe [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
> :: Maybe [a] -> Maybe Bool -> [a] <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar'</a
> :: Maybe (Maybe [a]) -> Maybe (Maybe (Maybe b)) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar0</a
> :: (Maybe [a], Maybe [a]) -> (Maybe b, Maybe c) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar1</a
> :: (Maybe [a], Maybe [a]) -> (Maybe b, Maybe 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)] -> [Bool] -> (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
> (Either 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
> :: Either a (f a) -> Either a Bool -> f a <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar'</a
> :: Either a (Either a (f a)) -> Either a (Either a (Either a b)) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar0</a
> :: (Either a (f a), Either a (f a)) -> (Either a b, Either a c) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar1</a
> :: (Either a (f a), Either a (f a)) -> (Either a b, Either 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 b) => <a href="#" title="Instances"
>Bar</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, Bool) -> (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 Bool -> <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 Int -> 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) -> Int -> <a href="#" title="Instances"
>Quux</a
> a b (<a href="#" title="Instances"
>Quux</a
> a b Int) <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 Bool -> <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
> Int (<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
> Int (<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
> Int Int</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
> Int Bool</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
> Int c Bool :: * <a href="#" class="selflink"
>#</a
></p
><p class="src"
><span class="keyword"
>data</span
> <a href="#" title="Instances"
>Thud</a
> Int 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
> Int c Bool -> Int -> (Int -> c) -> Bool <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
><div id="footer"
></div
></body
></html
>