Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. fromList :: forall (m :: Type -> Type) a . Applicative m => Unfold m [a] a

   streamly-core	Streamly.Internal.Data.Unfold

   Convert a list of pure values to a Stream

2. fromListM :: Applicative m => Unfold m [m a] a

   streamly-core	Streamly.Internal.Data.Unfold

   Convert a list of monadic values to a Stream

3. displayList :: Display a => [a] -> Builder

   text-display	Data.Text.Display

   The method displayList is provided to allow for a specialised way to render lists of a certain value. This is used to render the list of Char as a string of characters enclosed in double quotes, rather than between square brackets and separated by commas.

   Example

   import qualified Data.Text.Lazy.Builder as TB
   
   instance Display Char where
   displayBuilder c = Builder.fromText $ Text.pack $ Text.singleton c
   displayList cs = Builder.fromText $ Text.pack $ Text.pack cs
   
   instance (Display a) => Display [a] where
   -- In this instance, 'displayBuilder' is defined in terms of 'displayList', which for most types
   -- is defined as the default written in the class declaration.
   -- But when a ~ Char, there is an explicit implementation that is selected instead, which
   -- provides the rendering of the character string between double quotes.
   displayBuilder = displayList
   

   How implementations are selected

   displayBuilder ([1,2,3] :: [Int])
   → displayBuilder @[Int] = displayBuilderList @Int
   → Default `displayList`
   
   displayBuilder ("abc" :: [Char])
   → displayBuilder @[Char] = displayBuilderList @Char
   → Custom `displayList`
   

4. displayList :: Display a => [a] -> Builder

   text-display	Data.Text.Display.Core

   The method displayList is provided to allow for a specialised way to render lists of a certain value. This is used to render the list of Char as a string of characters enclosed in double quotes, rather than between square brackets and separated by commas.

   Example

   import qualified Data.Text.Lazy.Builder as TB
   
   instance Display Char where
   displayBuilder c = Builder.fromText $ Text.pack $ Text.singleton c
   displayList cs = Builder.fromText $ Text.pack $ Text.pack cs
   
   instance (Display a) => Display [a] where
   -- In this instance, 'displayBuilder' is defined in terms of 'displayList', which for most types
   -- is defined as the default written in the class declaration.
   -- But when a ~ Char, there is an explicit implementation that is selected instead, which
   -- provides the rendering of the character string between double quotes.
   displayBuilder = displayList
   

   How implementations are selected

   displayBuilder ([1,2,3] :: [Int])
   → displayBuilder @[Int] = displayBuilderList @Int
   → Default `displayList`
   
   displayBuilder ("abc" :: [Char])
   → displayBuilder @[Char] = displayBuilderList @Char
   → Custom `displayList`
   

5. type family NotSubList (a :: [k]) (b :: [k])

   type-fun	TypeFun.Data.List

   No documentation available.

6. type family SubList (a :: [k]) (b :: [k])

   type-fun	TypeFun.Data.List

   Constrains that first argument is a sublist of second. Reduces to (Elem a1 b, Elem a2 b, Elem a3 b, ...)

7. type family UnionList (l :: [[k]]) :: [k]

   type-fun	TypeFun.Data.List

   No documentation available.

8. messageList :: Message s => [s] -> String

   typecheck-plugin-nat-simple	Data.Log

   No documentation available.

9. type family LookupList (keys :: [Factor Type]) (map :: LCSU Type) :: [Factor Type]

   units	Data.Metrology

   No documentation available.

10. type family NegList (a :: [Factor Type]) :: [Factor Type]

    units	Data.Metrology

    negate a list of Factors

Page 178 of many | Previous | Next