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. newtype AllTextSubmatches (f :: Type -> Type) b

   regex-base	Text.Regex.Base.RegexLike

   Used in results of RegexContext instances.

2. AllTextSubmatches :: f b -> AllTextSubmatches (f :: Type -> Type) b

   regex-base	Text.Regex.Base.RegexLike

   No documentation available.

3. AllRightsReserved :: License

   Cabal-syntax	Distribution.License

   Explicitly 'All Rights Reserved', eg for proprietary software. The package may not be legally modified or redistributed by anyone but the rightsholder.

4. AllowAmbiguousTypes :: KnownExtension

   Cabal-syntax	Language.Haskell.Extension

   Allow the user to write ambiguous types, and the type inference engine to infer them.

5. data AllDistinct

   comfort-array	Data.Array.Comfort.Shape

   No documentation available.

6. AllDistinct :: AllDistinct

   comfort-array	Data.Array.Comfort.Shape

   No documentation available.

7. type family AllFieldsFinal self (a :: Type -> Type) :: Bool

   generic-arbitrary	Test.QuickCheck.Arbitrary.Generic

   No documentation available.

8. type All2 (c :: k -> Constraint) = All All c

   sop-core	Data.SOP

   Require a constraint for every element of a list of lists. If you have a datatype that is indexed over a type-level list of lists, then you can use All2 to indicate that all elements of the inner lists must satisfy a given constraint. Example: The constraint

   All2 Eq '[ '[ Int ], '[ Bool, Char ] ]
   

   is equivalent to the constraint

   (Eq Int, Eq Bool, Eq Char)
   

   Example: A type signature such as

   f :: All2 Eq xss => SOP I xs -> ...
   

   means that f can assume that all elements of the sum of product satisfy Eq. Since 0.4.0.0, this is merely a synonym for 'All (All c)'.

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

   sop-core	Data.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.

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

    sop-core	Data.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)
    

Page 34 of many | Previous | Next