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.

Exact lookup

1. newtype AllFor (f :: k -> Type) (w :: k -> Type)

   witness	Data.Type.Witness.Specific.All

   No documentation available.

2. newtype AllOf (w :: Type -> Type)

   witness	Data.Type.Witness.Specific.All

   No documentation available.

3. type AllowEvents = CInt

   xmonad	XMonad

   No documentation available.

4. type AllowExposuresMode = CInt

   xmonad	XMonad

   No documentation available.

5. AllModules :: HintMode

   Agda	Agda.Mimer.Options

   No documentation available.

6. class AllAreOpaque a

   Agda	Agda.Syntax.Common

   No documentation available.

7. class AllMetas t

   Agda	Agda.Syntax.Internal.MetaVars

   Returns every meta-variable occurrence in the given type, except for those in sort annotations on types.

8. AllKindsOfNames :: KindsOfNames

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

9. data AllowAmbiguousNames

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

10. type AllowedVar = Modality -> All

    Agda	Agda.TypeChecking.MetaVars.Occurs

    The passed modality is the one of the current context.

Page 53 of many | Previous | Next