Hoogle Search

Within LTS Haskell 22.22 (ghc-9.6.5)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. concat :: Vec n (Vec m a) -> Vec (n * m) a

   clash-prelude	Clash.Explicit.Prelude.Safe

   Concatenate a vector of vectors.

   >>> concat ((1:>2:>3:>Nil) :> (4:>5:>6:>Nil) :> (7:>8:>9:>Nil) :> (10:>11:>12:>Nil) :> Nil)
   1 :> 2 :> 3 :> 4 :> 5 :> 6 :> 7 :> 8 :> 9 :> 10 :> 11 :> 12 :> Nil
   

2. concat :: Vec n (Vec m a) -> Vec (n * m) a

   clash-prelude	Clash.Prelude

   Concatenate a vector of vectors.

   >>> concat ((1:>2:>3:>Nil) :> (4:>5:>6:>Nil) :> (7:>8:>9:>Nil) :> (10:>11:>12:>Nil) :> Nil)
   1 :> 2 :> 3 :> 4 :> 5 :> 6 :> 7 :> 8 :> 9 :> 10 :> 11 :> 12 :> Nil
   

3. concat :: Vec n (Vec m a) -> Vec (n * m) a

   clash-prelude	Clash.Prelude.Safe

   Concatenate a vector of vectors.

   >>> concat ((1:>2:>3:>Nil) :> (4:>5:>6:>Nil) :> (7:>8:>9:>Nil) :> (10:>11:>12:>Nil) :> Nil)
   1 :> 2 :> 3 :> 4 :> 5 :> 6 :> 7 :> 8 :> 9 :> 10 :> 11 :> 12 :> Nil
   

4. concat :: Foldable t => t [a] -> [a]

   distribution-opensuse	OpenSuse.Prelude

   The concatenation of all the elements of a container of lists.

   Examples

   Basic usage:

   >>> concat (Just [1, 2, 3])
   [1,2,3]
   

   >>> concat (Left 42)
   []
   

   >>> concat [[1, 2, 3], [4, 5], [6], []]
   [1,2,3,4,5,6]
   

5. concat :: Foldable t => t [a] -> [a]

   faktory	Faktory.Prelude

   The concatenation of all the elements of a container of lists.

   Examples

   Basic usage:

   >>> concat (Just [1, 2, 3])
   [1,2,3]
   

   >>> concat (Left 42)
   []
   

   >>> concat [[1, 2, 3], [4, 5], [6], []]
   [1,2,3,4,5,6]
   

6. concat :: Foldable t => t [a] -> [a]

   github	GitHub.Internal.Prelude

   The concatenation of all the elements of a container of lists.

   Examples

   Basic usage:

   >>> concat (Just [1, 2, 3])
   [1,2,3]
   

   >>> concat (Left 42)
   []
   

   >>> concat [[1, 2, 3], [4, 5], [6], []]
   [1,2,3,4,5,6]
   

7. concat :: Foldable t => t [a] -> [a]

   stack	Stack.Prelude

   The concatenation of all the elements of a container of lists.

   Examples

   Basic usage:

   >>> concat (Just [1, 2, 3])
   [1,2,3]
   

   >>> concat (Left 42)
   []
   

   >>> concat [[1, 2, 3], [4, 5], [6], []]
   [1,2,3,4,5,6]
   

8. concat :: (MonoFoldable mono, Monoid (Element mono)) => mono -> Element mono

   termonad	Termonad.Prelude

   Synonym for oconcat

9. concat :: Foldable t => t [a] -> [a]

   yesod-paginator	Yesod.Paginator.Prelude

   The concatenation of all the elements of a container of lists.

   Examples

   Basic usage:

   >>> concat (Just [1, 2, 3])
   [1,2,3]
   

   >>> concat (Left 42)
   []
   

   >>> concat [[1, 2, 3], [4, 5], [6], []]
   [1,2,3,4,5,6]
   

10. concat :: Foldable t => t [a] -> [a]

    copilot-language	Copilot.Language.Prelude

    The concatenation of all the elements of a container of lists.

    Examples

    Basic usage:

    >>> concat (Just [1, 2, 3])
    [1,2,3]
    

    >>> concat (Left 42)
    []
    

    >>> concat [[1, 2, 3], [4, 5], [6], []]
    [1,2,3,4,5,6]
    

Page 3 of many | Previous | Next