Hoogle Search

Within LTS Haskell 23.25 (ghc-9.8.4)

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

Exact lookup

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

   mixed-types-num	Numeric.MixedTypes.PreludeHiding

   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]
   

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

   cabal-install-solver	Distribution.Solver.Compat.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]
   

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

   clash-prelude	Clash.Explicit.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
   

4. concat :: forall (n :: Nat) (m :: Nat) a . 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
   

5. concat :: forall (n :: Nat) (m :: Nat) a . 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
   

6. concat :: forall (n :: Nat) (m :: Nat) a . 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
   

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

   dimensional	Numeric.Units.Dimensional.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 :: 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]
   

9. 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]
   

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

    xmonad-contrib	XMonad.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 2 of many | Previous | Next