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 AllOf (w :: Type -> Type)

   witness	Data.Type.Witness.Specific.All

   No documentation available.

2. type AllowEvents = CInt

   xmonad	XMonad

   No documentation available.

3. type AllowExposuresMode = CInt

   xmonad	XMonad

   No documentation available.

4. AllModules :: HintMode

   Agda	Agda.Mimer.Options

   No documentation available.

5. class AllAreOpaque a

   Agda	Agda.Syntax.Common

   No documentation available.

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

7. AllKindsOfNames :: KindsOfNames

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

8. data AllowAmbiguousNames

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

9. type AllowedVar = Modality -> All

   Agda	Agda.TypeChecking.MetaVars.Occurs

   The passed modality is the one of the current context.

10. data AllowedReduction

    Agda	Agda.TypeChecking.Monad.Base

    Controlling reduce.

Page 53 of many | Previous | Next