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.

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

    units Data.Metrology.Internal

    No documentation available.

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

    units Data.Metrology.Internal

    negate a list of Factors

  3. 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.

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

    vector-stream Data.Stream.Monadic

    Convert a list to a Stream

  5. 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

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

    vector-stream Data.Stream.Monadic

    Convert a Stream to a list

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

    witness Data.Type.Witness.General.ListElement

    No documentation available.

  8. toListElementWitness :: forall (t :: k) . ListElementWitness w => w t -> ListElementType (WitnessTypeList w) t

    witness Data.Type.Witness.General.ListElement

    No documentation available.

  9. splitSomeOfList :: forall (w :: Type -> Type) . TestEquality w => [SomeOf w] -> AllFor [] w

    witness Data.Type.Witness.Specific.All

    No documentation available.

  10. concatListType :: forall k (w :: k -> Type) (a :: [k]) (b :: [k]) . ListType w a -> ListType w b -> ListType w (Concat a b)

    witness Data.Type.Witness.Specific.Concat

    No documentation available.

Page 179 of many | Previous | Next