Hoogle Search

Within LTS Haskell 24.60 (ghc-9.10.3)

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

Exact lookup

1. type family ListToHKDTuple (f :: u -> Type) (ts :: [u])

   vinyl	Data.Vinyl.FromTuple

   No documentation available.

2. type family ListToMaybe (a1 :: [a]) :: Maybe a

   singletons-base	Data.Maybe.Singletons

   No documentation available.

3. data ListToMaybeSym0 (a1 :: TyFun [a] Maybe a)

   singletons-base	Data.Maybe.Singletons

   No documentation available.

4. type family ListToMaybeSym1 (a6989586621679588145 :: [a]) :: Maybe a

   singletons-base	Data.Maybe.Singletons

   No documentation available.

5. type family ListItem ix e

   massiv	Data.Massiv.Core

   No documentation available.

6. type family ListItem ix e

   massiv	Data.Massiv.Core.List

   No documentation available.

7. data ListF a b

   recursion-schemes	Data.Functor.Base

   Base functor of [].

8. data ListF a b

   recursion-schemes	Data.Functor.Foldable

   Base functor of [].

9. module Data.ListLike

   Generic operations over list-like structures Written by John Goerzen, [email protected] Please start with the introduction at Data.ListLike#intro.

10. class (IsList full, item ~ Item full, FoldableLL full item, Monoid full) => ListLike full item | full -> item

    ListLike	Data.ListLike

    The class implementing list-like functions. It is worth noting that types such as Map can be instances of ListLike. Due to their specific ways of operating, they may not behave in the expected way in some cases. For instance, cons may not increase the size of a map if the key you have given is already in the map; it will just replace the value already there. Implementators must define at least:

    • singleton
    • head
    • tail
    • null or genericLength

Page 12 of many | Previous | Next