Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. type family AllN (h :: k -> Type -> l -> Type) (c :: k -> Constraint) :: l -> Constraint

   generics-sop	Generics.SOP

   A generalization of All and All2. The family AllN expands to All or All2 depending on whether the argument is indexed by a list or a list of lists.

2. class (SListI xs, SListI ys, SameShapeAs xs ys, SameShapeAs ys xs, AllZipF c xs ys) => AllZip (c :: a -> b -> Constraint) (xs :: [a]) (ys :: [b])

   generics-sop	Generics.SOP

   Require a constraint pointwise for every pair of elements from two lists. Example: The constraint

   AllZip (~) '[ Int, Bool, Char ] '[ a, b, c ]
   

   is equivalent to the constraint

   (Int ~ a, Bool ~ b, Char ~ c)
   

3. class (AllZipF AllZip f xss yss, SListI xss, SListI yss, SameShapeAs xss yss, SameShapeAs yss xss) => AllZip2 (f :: a -> b -> Constraint) (xss :: [[a]]) (yss :: [[b]])

   generics-sop	Generics.SOP

   Require a constraint pointwise for every pair of elements from two lists of lists.

4. type family AllZipN (h :: k -> Type -> l -> Type) (c :: k1 -> k2 -> Constraint) :: l1 -> l2 -> Constraint

   generics-sop	Generics.SOP

   A generalization of AllZip and AllZip2. The family AllZipN expands to AllZip or AllZip2 depending on whther the argument is indexed by a list or a list of lists.

5. newtype AllMatches (f :: Type -> Type) b

   regex-base	Text.Regex.Base.RegexLike

   Used in results of RegexContext instances.

6. AllMatches :: f b -> AllMatches (f :: Type -> Type) b

   regex-base	Text.Regex.Base.RegexLike

   No documentation available.

7. newtype AllSubmatches (f :: Type -> Type) b

   regex-base	Text.Regex.Base.RegexLike

   Used in results of RegexContext instances.

8. AllSubmatches :: f b -> AllSubmatches (f :: Type -> Type) b

   regex-base	Text.Regex.Base.RegexLike

   No documentation available.

9. newtype AllTextMatches (f :: Type -> Type) b

   regex-base	Text.Regex.Base.RegexLike

   Used in results of RegexContext instances.

10. AllTextMatches :: f b -> AllTextMatches (f :: Type -> Type) b

    regex-base	Text.Regex.Base.RegexLike

    No documentation available.

Page 33 of many | Previous | Next