Hoogle Search

Within LTS Haskell 24.3 (ghc-9.10.2)

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

  1. 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}

  2. All :: Bool -> All

    testing-feat Test.Feat.Enumerate

    No documentation available.

  3. module Data.Time.Zones.All

    No documentation available.

  4. All :: a -> Sides a

    web-view Web.View

    No documentation available.

  5. All :: a -> Sides a

    web-view Web.View.Types

    No documentation available.

  6. module Data.Type.Witness.Specific.All

    No documentation available.

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

  8. 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)

  9. All :: [Pre] -> Pre

    Hastructure Types

    No documentation available.

  10. All :: Determiner

    ace ACE.Types.Syntax

    "all"

Page 7 of many | Previous | Next