Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

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

   typecheck-plugin-nat-simple	Data.Log

   No documentation available.

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

   units	Data.Metrology

   No documentation available.

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

   units	Data.Metrology

   negate a list of Factors

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

   units	Data.Metrology.Internal

   No documentation available.

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

   units	Data.Metrology.Internal

   negate a list of Factors

6. onSublist :: (Vector v a, Eq a) => v a -> Splitter v a

   vector-split	Data.Vector.Split.Internal

   A splitting strategy that splits on the given list, when it is encountered as an exact subsequence. For example:

   >>> split (onSublist (BV.fromList "xyz")) (BV.fromList "aazbxyzcxd")
   ["aazb","xyz","cxd"]
   

   Note that splitting on the empty list is not allowed in `vector-split`. This is a major difference between split and `vector-split`. In any case nobody should use `vector-split` to do this anyway.

7. fromList :: forall (m :: Type -> Type) a . Monad m => [a] -> Stream m a

   vector-stream	Data.Stream.Monadic

   Convert a list to a Stream

8. fromListN :: forall (m :: Type -> Type) a . Monad m => Int -> [a] -> Stream m a

   vector-stream	Data.Stream.Monadic

   Convert the first n elements of a list to a Bundle

9. toList :: Monad m => Stream m a -> m [a]

   vector-stream	Data.Stream.Monadic

   Convert a Stream to a list

10. fromListElementWitness :: forall (t :: k) . ListElementWitness w => ListElementType (WitnessTypeList w) t -> w t

    witness	Data.Type.Witness.General.ListElement

    No documentation available.

Page 179 of many | Previous | Next