mirror of
https://github.com/IHaskell/IHaskell.git
synced 2025-04-16 03:16:20 +00:00
notebooks/IHaskell.ipynb: update
This commit is contained in:
parent
60fceecc7e
commit
5086d0821e
@ -1957,13 +1957,24 @@
|
||||
"</pre>\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/llvm-hs-pure/docs/LLVM-Prelude.html#v:zip'><s0>zip</s0></a> ∷ () ⇒ [a] → [b] → [(a, b)]</span><div class='hoogle-doc'><a>zip</a> takes two lists and returns a list of corresponding pairs.\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [1, 2] ['a', 'b'] = [(1, 'a'), (2, 'b')]\n",
|
||||
"</pre>\n",
|
||||
"\n",
|
||||
"If one input list is short, excess elements of the longer list are\n",
|
||||
"discarded.\n",
|
||||
"discarded:\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [1] ['a', 'b'] = [(1, 'a')]\n",
|
||||
"zip [1, 2] ['a'] = [(1, 'a')]\n",
|
||||
"</pre>\n",
|
||||
"\n",
|
||||
"<a>zip</a> is right-lazy:\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [] _|_ = []\n",
|
||||
"zip _|_ [] = _|_\n",
|
||||
"</pre>\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/xmonad-contrib/docs/XMonad-Config-Prime.html#v:zip'><s0>zip</s0></a> ∷ () ⇒ [a] → [b] → [(a, b)]</span><div class='hoogle-doc'><a>zip</a> takes two lists and returns a list of corresponding pairs.\n",
|
||||
@ -2030,28 +2041,27 @@
|
||||
"zip _|_ [] = _|_\n",
|
||||
"</pre>\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/mixed-types-num/docs/Numeric-MixedTypes-PreludeHiding.html#v:zip'><s0>zip</s0></a> ∷ () ⇒ [a] → [b] → [(a, b)]</span><div class='hoogle-doc'><a>zip</a> takes two lists and returns a list of corresponding pairs.\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [1, 2] ['a', 'b'] = [(1, 'a'), (2, 'b')]\n",
|
||||
"</pre>\n",
|
||||
"\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/LambdaHack/docs/Game-LambdaHack-Common-Prelude.html#v:zip'><s0>zip</s0></a> ∷ () ⇒ [a] → [b] → [(a, b)]</span><div class='hoogle-doc'><a>zip</a> takes two lists and returns a list of corresponding pairs.\n",
|
||||
"If one input list is short, excess elements of the longer list are\n",
|
||||
"discarded:\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [1] ['a', 'b'] = [(1, 'a')]\n",
|
||||
"zip [1, 2] ['a'] = [(1, 'a')]\n",
|
||||
"</pre>\n",
|
||||
"discarded.\n",
|
||||
"\n",
|
||||
"<a>zip</a> is right-lazy:\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [] _|_ = []\n",
|
||||
"zip _|_ [] = _|_\n",
|
||||
"</pre>\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/intro/docs/Intro.html#v:zip'><s0>zip</s0></a> ∷ () ⇒ [a] → [b] → [(a, b)]</span><div class='hoogle-doc'><a>zip</a> takes two lists and returns a list of corresponding pairs.\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/LambdaHack/docs/Game-LambdaHack-Common-Prelude.html#v:zip'><s0>zip</s0></a> ∷ () ⇒ [a] → [b] → [(a, b)]</span><div class='hoogle-doc'><a>zip</a> takes two lists and returns a list of corresponding pairs.\n",
|
||||
"If one input list is short, excess elements of the longer list are\n",
|
||||
"discarded.\n",
|
||||
"\n",
|
||||
"<a>zip</a> is right-lazy:\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [] _|_ = []\n",
|
||||
"</pre>\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/mixed-types-num/docs/Numeric-MixedTypes-PreludeHiding.html#v:zip'><s0>zip</s0></a> ∷ () ⇒ [a] → [b] → [(a, b)]</span><div class='hoogle-doc'><a>zip</a> takes two lists and returns a list of corresponding pairs.\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [1, 2] ['a', 'b'] = [(1, 'a'), (2, 'b')]\n",
|
||||
@ -2243,13 +2253,6 @@
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/List/docs/Data-List-Class.html#v:zip'><s0>zip</s0></a> ∷ List l ⇒ l a → l b → l (a, b)</span><div class='hoogle-doc'></div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/size-based/docs/Control-Sized.html#v:pair'><s0>pair</s0></a> ∷ Sized f ⇒ f a → f b → f (a, b)</span><div class='hoogle-doc'>Default: <tt>pair a b = (,) <a>$</a> a <a>*</a> b</tt>.\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/vector/docs/Data-Vector-Generic.html#v:zip'><s0>zip</s0></a> ∷ (Vector v a, Vector v b, Vector v (a, b)) ⇒ v a → v b → v (a, b)</span><div class='hoogle-doc'><i>O(min(m,n))</i> Zip two vectors\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/statistics/docs/Statistics-Sample.html#v:pair'><s0>pair</s0></a> ∷ (Vector v a, Vector v b, Vector v (a, b)) ⇒ v a → v b → v (a, b)</span><div class='hoogle-doc'>Pair two samples. It's like <a>zip</a> but requires that both samples\n",
|
||||
"have equal size.\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/rio/docs/RIO-Vector.html#v:zip'><s0>zip</s0></a> ∷ (Vector v a, Vector v b, Vector v (a, b)) ⇒ v a → v b → v (a, b)</span><div class='hoogle-doc'><i>O(min(m,n))</i> Zip two vectors\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/classy-prelude/docs/ClassyPrelude.html#v:zip'><s0>zip</s0></a> ∷ Zip f ⇒ f a → f b → f (a, b)</span><div class='hoogle-doc'></div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/non-empty/docs/Data-NonEmpty-Class.html#v:zip'><s0>zip</s0></a> ∷ Zip f ⇒ f a → f b → f (a, b)</span><div class='hoogle-doc'></div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/keys/docs/Data-Key.html#v:zip'><s0>zip</s0></a> ∷ Zip f ⇒ f a → f b → f (a, b)</span><div class='hoogle-doc'></div>\n",
|
||||
@ -2273,6 +2276,13 @@
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/invertible/docs/Control-Invertible-Monoidal.html#v:-62--42--60-'>(<s0>>*<</s0>)</a> ∷ Monoidal f ⇒ f a → f b → f (a, b)</span><div class='hoogle-doc'>Merge two functors into a tuple, analogous to <tt><a>liftA2</a>\n",
|
||||
"(,)</tt>. (Sometimes known as <tt>**</tt>.)\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/vector/docs/Data-Vector-Generic.html#v:zip'><s0>zip</s0></a> ∷ (Vector v a, Vector v b, Vector v (a, b)) ⇒ v a → v b → v (a, b)</span><div class='hoogle-doc'><i>O(min(m,n))</i> Zip two vectors\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/statistics/docs/Statistics-Sample.html#v:pair'><s0>pair</s0></a> ∷ (Vector v a, Vector v b, Vector v (a, b)) ⇒ v a → v b → v (a, b)</span><div class='hoogle-doc'>Pair two samples. It's like <a>zip</a> but requires that both samples\n",
|
||||
"have equal size.\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/rio/docs/RIO-Vector.html#v:zip'><s0>zip</s0></a> ∷ (Vector v a, Vector v b, Vector v (a, b)) ⇒ v a → v b → v (a, b)</span><div class='hoogle-doc'><i>O(min(m,n))</i> Zip two vectors\n",
|
||||
"</div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/base/docs/Control-Monad-Zip.html#v:mzip'><s0>mzip</s0></a> ∷ MonadZip m ⇒ m a → m b → m (a, b)</span><div class='hoogle-doc'></div>\n",
|
||||
"<span class='hoogle-name'><a target='_blank' href='https://hackage.haskell.org/package/relational-query/docs/Database-Relational-Arrow.html#v:projectZip'><s0>projectZip</s0></a> ∷ ProductIsoApplicative p ⇒ p a → p b → p (a, b)</span><div class='hoogle-doc'>Zipping projections.\n",
|
||||
"</div>\n",
|
||||
@ -2608,13 +2618,24 @@
|
||||
"<s0>zip</s0> :: () => [a] -> [b] -> [(a, b)]\n",
|
||||
"URL: https://hackage.haskell.org/package/llvm-hs-pure/docs/LLVM-Prelude.html#v:zip\n",
|
||||
"<a>zip</a> takes two lists and returns a list of corresponding pairs.\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [1, 2] ['a', 'b'] = [(1, 'a'), (2, 'b')]\n",
|
||||
"</pre>\n",
|
||||
"\n",
|
||||
"If one input list is short, excess elements of the longer list are\n",
|
||||
"discarded.\n",
|
||||
"discarded:\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [1] ['a', 'b'] = [(1, 'a')]\n",
|
||||
"zip [1, 2] ['a'] = [(1, 'a')]\n",
|
||||
"</pre>\n",
|
||||
"\n",
|
||||
"<a>zip</a> is right-lazy:\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [] _|_ = []\n",
|
||||
"zip _|_ [] = _|_\n",
|
||||
"</pre>\n",
|
||||
"\n",
|
||||
"<s0>zip</s0> :: () => [a] -> [b] -> [(a, b)]\n",
|
||||
@ -2694,30 +2715,31 @@
|
||||
"</pre>\n",
|
||||
"\n",
|
||||
"<s0>zip</s0> :: () => [a] -> [b] -> [(a, b)]\n",
|
||||
"URL: https://hackage.haskell.org/package/mixed-types-num/docs/Numeric-MixedTypes-PreludeHiding.html#v:zip\n",
|
||||
"URL: https://hackage.haskell.org/package/LambdaHack/docs/Game-LambdaHack-Common-Prelude.html#v:zip\n",
|
||||
"<a>zip</a> takes two lists and returns a list of corresponding pairs.\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [1, 2] ['a', 'b'] = [(1, 'a'), (2, 'b')]\n",
|
||||
"</pre>\n",
|
||||
"\n",
|
||||
"If one input list is short, excess elements of the longer list are\n",
|
||||
"discarded:\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [1] ['a', 'b'] = [(1, 'a')]\n",
|
||||
"zip [1, 2] ['a'] = [(1, 'a')]\n",
|
||||
"</pre>\n",
|
||||
"discarded.\n",
|
||||
"\n",
|
||||
"<a>zip</a> is right-lazy:\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [] _|_ = []\n",
|
||||
"zip _|_ [] = _|_\n",
|
||||
"</pre>\n",
|
||||
"\n",
|
||||
"<s0>zip</s0> :: () => [a] -> [b] -> [(a, b)]\n",
|
||||
"URL: https://hackage.haskell.org/package/intro/docs/Intro.html#v:zip\n",
|
||||
"URL: https://hackage.haskell.org/package/LambdaHack/docs/Game-LambdaHack-Common-Prelude.html#v:zip\n",
|
||||
"<a>zip</a> takes two lists and returns a list of corresponding pairs.\n",
|
||||
"If one input list is short, excess elements of the longer list are\n",
|
||||
"discarded.\n",
|
||||
"\n",
|
||||
"<a>zip</a> is right-lazy:\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
"zip [] _|_ = []\n",
|
||||
"</pre>\n",
|
||||
"\n",
|
||||
"<s0>zip</s0> :: () => [a] -> [b] -> [(a, b)]\n",
|
||||
"URL: https://hackage.haskell.org/package/mixed-types-num/docs/Numeric-MixedTypes-PreludeHiding.html#v:zip\n",
|
||||
"<a>zip</a> takes two lists and returns a list of corresponding pairs.\n",
|
||||
"\n",
|
||||
"<pre>\n",
|
||||
@ -2956,19 +2978,6 @@
|
||||
"URL: https://hackage.haskell.org/package/size-based/docs/Control-Sized.html#v:pair\n",
|
||||
"Default: <tt>pair a b = (,) <a>$</a> a <a>*</a> b</tt>.\n",
|
||||
"\n",
|
||||
"<s0>zip</s0> :: (Vector v a, Vector v b, Vector v (a, b)) => v a -> v b -> v (a, b)\n",
|
||||
"URL: https://hackage.haskell.org/package/vector/docs/Data-Vector-Generic.html#v:zip\n",
|
||||
"<i>O(min(m,n))</i> Zip two vectors\n",
|
||||
"\n",
|
||||
"<s0>pair</s0> :: (Vector v a, Vector v b, Vector v (a, b)) => v a -> v b -> v (a, b)\n",
|
||||
"URL: https://hackage.haskell.org/package/statistics/docs/Statistics-Sample.html#v:pair\n",
|
||||
"Pair two samples. It's like <a>zip</a> but requires that both samples\n",
|
||||
"have equal size.\n",
|
||||
"\n",
|
||||
"<s0>zip</s0> :: (Vector v a, Vector v b, Vector v (a, b)) => v a -> v b -> v (a, b)\n",
|
||||
"URL: https://hackage.haskell.org/package/rio/docs/RIO-Vector.html#v:zip\n",
|
||||
"<i>O(min(m,n))</i> Zip two vectors\n",
|
||||
"\n",
|
||||
"<s0>zip</s0> :: Zip f => f a -> f b -> f (a, b)\n",
|
||||
"URL: https://hackage.haskell.org/package/classy-prelude/docs/ClassyPrelude.html#v:zip\n",
|
||||
"\n",
|
||||
@ -3004,6 +3013,19 @@
|
||||
"Merge two functors into a tuple, analogous to <tt><a>liftA2</a>\n",
|
||||
"(,)</tt>. (Sometimes known as <tt>**</tt>.)\n",
|
||||
"\n",
|
||||
"<s0>zip</s0> :: (Vector v a, Vector v b, Vector v (a, b)) => v a -> v b -> v (a, b)\n",
|
||||
"URL: https://hackage.haskell.org/package/vector/docs/Data-Vector-Generic.html#v:zip\n",
|
||||
"<i>O(min(m,n))</i> Zip two vectors\n",
|
||||
"\n",
|
||||
"<s0>pair</s0> :: (Vector v a, Vector v b, Vector v (a, b)) => v a -> v b -> v (a, b)\n",
|
||||
"URL: https://hackage.haskell.org/package/statistics/docs/Statistics-Sample.html#v:pair\n",
|
||||
"Pair two samples. It's like <a>zip</a> but requires that both samples\n",
|
||||
"have equal size.\n",
|
||||
"\n",
|
||||
"<s0>zip</s0> :: (Vector v a, Vector v b, Vector v (a, b)) => v a -> v b -> v (a, b)\n",
|
||||
"URL: https://hackage.haskell.org/package/rio/docs/RIO-Vector.html#v:zip\n",
|
||||
"<i>O(min(m,n))</i> Zip two vectors\n",
|
||||
"\n",
|
||||
"<s0>mzip</s0> :: MonadZip m => m a -> m b -> m (a, b)\n",
|
||||
"URL: https://hackage.haskell.org/package/base/docs/Control-Monad-Zip.html#v:mzip\n",
|
||||
"\n",
|
||||
|
Loading…
x
Reference in New Issue
Block a user