Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. All :: RegExp

    sbv Data.SBV.RegExp

    Accept every string

  2. ALL :: Keyword

    sql-words Language.SQL.Keyword.Type

    No documentation available.

  3. newtype All

    testing-feat Test.Feat.Enumerate

    Boolean monoid under conjunction (&&). 

    All x <> All y = All (x && y)

    Examples

    >>> All True <> mempty <> All False)
All {getAll = False}

    >>> mconcat (map (\x -> All (even x)) [2,4,6,7,8])
All {getAll = False}

    >>> All True <> mempty
All {getAll = True}

  4. All :: Bool -> All

    testing-feat Test.Feat.Enumerate

    No documentation available.

  5. module Data.Time.Zones.All

    No documentation available.

  6. All :: a -> Sides a

    web-view Web.View

    No documentation available.

  7. All :: a -> Sides a

    web-view Web.View.Types

    No documentation available.

  8. module Data.Type.Witness.Specific.All

    No documentation available.

  9. data All (a :: x -> Type) (b :: [x])

    Agda Agda.Utils.IndexedList

    Lists indexed by a type-level list. A value of type All p [x₁..xₙ] is a sequence of values of types p x₁, .., p xₙ.

  10. type family All (p :: k -> Constraint) (as :: [k])

    Agda Agda.Utils.TypeLevel

    All p as ensures that the constraint p is satisfied by all the types in as. (Types is between scare-quotes here because the code is actually kind polymorphic)

Page 7 of many | Previous | Next