Hoogle Search

Within LTS Haskell 24.2 (ghc-9.10.2)

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

  1. intersperse :: a -> [a] -> [a]

    listsafe Data.List.Safe

    The intersperse function takes an element and a list and `intersperses' that element between the elements of the list.

    Laziness

    intersperse has the following properties
    >>> take 1 (intersperse undefined ('a' : undefined))
    "a"
    
    >>> take 2 (intersperse ',' ('a' : undefined))
    "a*** Exception: Prelude.undefined
    

    Examples

    >>> intersperse ',' "abcde"
    "a,b,c,d,e"
    
    >>> intersperse 1 [3, 4, 5]
    [3,1,4,1,5]
    

  2. data Intersperse (b :: a) (c :: [a]) (d :: [a])

    first-class-families Fcf.Data.List

    Intersperse a separator between elements of a list.

    Example

    >>> :kind! Eval (Intersperse 0 [1,2,3,4])
    Eval (Intersperse 0 [1,2,3,4]) :: [Natural]
    = [1, 0, 2, 0, 3, 0, 4]
    

  3. type family Intersperse (a1 :: a) (a2 :: NonEmpty a) :: NonEmpty a

    singletons-base Data.List.NonEmpty.Singletons

    No documentation available.

  4. type family Intersperse (a1 :: a) (a2 :: [a]) :: [a]

    singletons-base Data.List.Singletons

    No documentation available.

  5. data IntersperseSym0 (a1 :: TyFun a NonEmpty a ~> NonEmpty a)

    singletons-base Data.List.NonEmpty.Singletons

    No documentation available.

  6. data IntersperseSym1 (a6989586621681141591 :: a) (b :: TyFun NonEmpty a NonEmpty a)

    singletons-base Data.List.NonEmpty.Singletons

    No documentation available.

  7. type family IntersperseSym2 (a6989586621681141591 :: a) (a6989586621681141592 :: NonEmpty a) :: NonEmpty a

    singletons-base Data.List.NonEmpty.Singletons

    No documentation available.

  8. data IntersperseSym0 (a1 :: TyFun a [a] ~> [a])

    singletons-base Data.List.Singletons

    No documentation available.

  9. data IntersperseSym1 (a6989586621679827886 :: a) (b :: TyFun [a] [a])

    singletons-base Data.List.Singletons

    No documentation available.

  10. type family IntersperseSym2 (a6989586621679827886 :: a) (a6989586621679827887 :: [a]) :: [a]

    singletons-base Data.List.Singletons

    No documentation available.

Page 2 of many | Previous | Next