-
Notifications
You must be signed in to change notification settings - Fork 0
/
Eta-Prelude-Classes-Maybe.html
4 lines (4 loc) · 25.1 KB
/
Eta-Prelude-Classes-Maybe.html
1
2
3
4
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Eta.Prelude.Classes.Maybe</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Eta-Prelude-Classes-Maybe.html");};
//]]>
</script></head><body class="no-frame"><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">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">Eta.Prelude.Classes.Maybe</p></div><div id="description"><p class="caption">Description</p><div class="doc empty"> </div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Maybe" class="def">Maybe</a> a :: * -> * <a href="#t:Maybe" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Nothing" class="def">Nothing</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Just" class="def">Just</a> a</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Maybe" class="caption collapser" onclick="toggleSection('i:Maybe')">Instances</p><div id="section.i:Maybe" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Monad:1" class="instance expander" onclick="toggleSection('i:id:Maybe:Monad:1')"></span> Monad <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Monad:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-62--62--61-">(>>=)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> (a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b) -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b</p><p class="src"><a href="#v:-62--62-">(>>)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b</p><p class="src"><a href="#v:return">return</a> :: a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p><p class="src"><a href="#v:fail">fail</a> :: String -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Functor:2" class="instance expander" onclick="toggleSection('i:id:Maybe:Functor:2')"></span> Functor <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Functor:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b</p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Applicative:3" class="instance expander" onclick="toggleSection('i:id:Maybe:Applicative:3')"></span> Applicative <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Applicative:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> (a -> b) -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b</p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b</p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Foldable:4" class="instance expander" onclick="toggleSection('i:id:Maybe:Foldable:4')"></span> Foldable <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Foldable:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fold">fold</a> :: Monoid m => <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> m -> m</p><p class="src"><a href="#v:foldMap">foldMap</a> :: Monoid m => (a -> m) -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> m</p><p class="src"><a href="#v:foldr">foldr</a> :: (a -> b -> b) -> b -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> b</p><p class="src"><a href="#v:foldr-39-">foldr'</a> :: (a -> b -> b) -> b -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> b</p><p class="src"><a href="#v:foldl">foldl</a> :: (b -> a -> b) -> b -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> b</p><p class="src"><a href="#v:foldl-39-">foldl'</a> :: (b -> a -> b) -> b -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> b</p><p class="src"><a href="#v:foldr1">foldr1</a> :: (a -> a -> a) -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> a</p><p class="src"><a href="#v:foldl1">foldl1</a> :: (a -> a -> a) -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> a</p><p class="src"><a href="#v:toList">toList</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> [a]</p><p class="src"><a href="#v:null">null</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Bool</p><p class="src"><a href="#v:length">length</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Int</p><p class="src"><a href="#v:elem">elem</a> :: Eq a => a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Bool</p><p class="src"><a href="#v:maximum">maximum</a> :: Ord a => <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> a</p><p class="src"><a href="#v:minimum">minimum</a> :: Ord a => <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> a</p><p class="src"><a href="#v:sum">sum</a> :: Num a => <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> a</p><p class="src"><a href="#v:product">product</a> :: Num a => <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> a</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Traversable:5" class="instance expander" onclick="toggleSection('i:id:Maybe:Traversable:5')"></span> Traversable <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Traversable:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:traverse">traverse</a> :: Applicative f => (a -> f b) -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> f (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b)</p><p class="src"><a href="#v:sequenceA">sequenceA</a> :: Applicative f => <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> (f a) -> f (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</p><p class="src"><a href="#v:mapM">mapM</a> :: Monad m => (a -> m b) -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> m (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> b)</p><p class="src"><a href="#v:sequence">sequence</a> :: Monad m => <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> (m a) -> m (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Generic1:6" class="instance expander" onclick="toggleSection('i:id:Maybe:Generic1:6')"></span> Generic1 <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Generic1:6" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> Rep1 (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> :: * -> *) :: * -> *</p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from1">from1</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Rep1 <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p><p class="src"><a href="#v:to1">to1</a> :: Rep1 <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:MonadPlus:7" class="instance expander" onclick="toggleSection('i:id:Maybe:MonadPlus:7')"></span> MonadPlus <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:MonadPlus:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mzero">mzero</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p><p class="src"><a href="#v:mplus">mplus</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Alternative:8" class="instance expander" onclick="toggleSection('i:id:Maybe:Alternative:8')"></span> Alternative <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Alternative:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:empty">empty</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p><p class="src"><a href="#v:-60--124--62-">(<|>)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p><p class="src"><a href="#v:some">some</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> [a]</p><p class="src"><a href="#v:many">many</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> [a]</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Eq:9" class="instance expander" onclick="toggleSection('i:id:Maybe:Eq:9')"></span> Eq a => Eq (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Eq:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Bool</p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Bool</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Ord:10" class="instance expander" onclick="toggleSection('i:id:Maybe:Ord:10')"></span> Ord a => Ord (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Ord:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Ordering</p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Bool</p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Bool</p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Bool</p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Bool</p><p class="src"><a href="#v:max">max</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p><p class="src"><a href="#v:min">min</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Read:11" class="instance expander" onclick="toggleSection('i:id:Maybe:Read:11')"></span> Read a => Read (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Read:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:readsPrec">readsPrec</a> :: Int -> ReadS (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</p><p class="src"><a href="#v:readList">readList</a> :: ReadS [<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a]</p><p class="src"><a href="#v:readPrec">readPrec</a> :: ReadPrec (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</p><p class="src"><a href="#v:readListPrec">readListPrec</a> :: ReadPrec [<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a]</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Show:12" class="instance expander" onclick="toggleSection('i:id:Maybe:Show:12')"></span> Show a => Show (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Show:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: Int -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> ShowS</p><p class="src"><a href="#v:show">show</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> String <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a] -> ShowS</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Generic:13" class="instance expander" onclick="toggleSection('i:id:Maybe:Generic:13')"></span> Generic (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Generic:13" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> Rep (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) :: * -> *</p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from">from</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> Rep (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) x</p><p class="src"><a href="#v:to">to</a> :: Rep (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) x -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Monoid:14" class="instance expander" onclick="toggleSection('i:id:Maybe:Monoid:14')"></span> Monoid a => Monoid (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Monoid:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a] -> <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:SingKind:15" class="instance expander" onclick="toggleSection('i:id:Maybe:SingKind:15')"></span> SingKind a (KProxy a) => SingKind (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) (KProxy (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a))</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:SingKind:15" class="inst-details hide"><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> DemoteRep (KProxy (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)) (kparam :: KProxy (KProxy (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a))) :: *</p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fromSing">fromSing</a> :: Sing (KProxy (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)) a -> DemoteRep (KProxy (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)) kparam</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:SingI:16" class="instance expander" onclick="toggleSection('i:id:Maybe:SingI:16')"></span> SingI (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) (<a href="Eta-Prelude-Classes-Maybe.html#v:Nothing">Nothing</a> a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:SingI:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sing">sing</a> :: Sing (<a href="Eta-Prelude-Classes-Maybe.html#v:Nothing">Nothing</a> a) a</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:SingI:17" class="instance expander" onclick="toggleSection('i:id:Maybe:SingI:17')"></span> SingI a a1 => SingI (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) (<a href="Eta-Prelude-Classes-Maybe.html#v:Just">Just</a> a a1)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:SingI:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sing">sing</a> :: Sing (<a href="Eta-Prelude-Classes-Maybe.html#v:Just">Just</a> a a1) a</p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Rep1:18" class="instance expander" onclick="toggleSection('i:id:Maybe:Rep1:18')"></span> <span class="keyword">type</span> Rep1 <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a></span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Rep1:18" class="inst-details hide"><div class="src"><span class="keyword">type</span> Rep1 <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> = D1 (MetaData "Maybe" "GHC.Base" "base" False) ((:+:) (C1 (MetaCons "Nothing" PrefixI False) U1) (C1 (MetaCons "Just" PrefixI False) (S1 (MetaSel (<a href="Eta-Prelude-Classes-Maybe.html#v:Nothing">Nothing</a> Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1)))</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Rep:19" class="instance expander" onclick="toggleSection('i:id:Maybe:Rep:19')"></span> <span class="keyword">type</span> Rep (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Rep:19" class="inst-details hide"><div class="src"><span class="keyword">type</span> Rep (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) = D1 (MetaData "Maybe" "GHC.Base" "base" False) ((:+:) (C1 (MetaCons "Nothing" PrefixI False) U1) (C1 (MetaCons "Just" PrefixI False) (S1 (MetaSel (<a href="Eta-Prelude-Classes-Maybe.html#v:Nothing">Nothing</a> Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:Sing:20" class="instance expander" onclick="toggleSection('i:id:Maybe:Sing:20')"></span> <span class="keyword">data</span> Sing (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:Sing:20" class="inst-details hide"><div class="src"><span class="keyword">data</span> Sing (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) <span class="keyword">where</span><ul class="inst"><li class="inst"><a id="v:SNothing" class="def">SNothing</a> :: Sing (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) (<a href="Eta-Prelude-Classes-Maybe.html#v:Nothing">Nothing</a> a)</li><li class="inst"><a id="v:SJust" class="def">SJust</a> :: Sing (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) (<a href="Eta-Prelude-Classes-Maybe.html#v:Just">Just</a> a a1)</li></ul></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:-61--61-:21" class="instance expander" onclick="toggleSection('i:id:Maybe:-61--61-:21')"></span> <span class="keyword">type</span> (==) (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> k) a b</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:-61--61-:21" class="inst-details hide"><div class="src"><span class="keyword">type</span> (==) (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> k) a b = EqMaybe k a b</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Maybe:DemoteRep:22" class="instance expander" onclick="toggleSection('i:id:Maybe:DemoteRep:22')"></span> <span class="keyword">type</span> DemoteRep (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) (KProxy (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a))</span></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Maybe:DemoteRep:22" class="inst-details hide"><div class="src"><span class="keyword">type</span> DemoteRep (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a) (KProxy (<a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> a)) = <a href="Eta-Prelude-Classes-Maybe.html#t:Maybe">Maybe</a> (DemoteRep a (KProxy a))</div></div></td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.4</p></div></body></html>