Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. TooManyFields :: QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning

   Agda	Agda.TypeChecking.Monad.Base.Warning

   Record type, fields not supplied by user, non-fields but supplied. The redundant fields come with a range of associated dead code.

2. primAgdaBlockerAny :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m Term

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

3. prettyTooManyFields :: MonadPretty m => QName -> [Name] -> List1 Name -> m Doc

   Agda	Agda.TypeChecking.Pretty.Warning

   No documentation available.

4. ManyHoles :: AffineHole r a

   Agda	Agda.Utils.AffineHole

   A term with many holes (error value).

5. stripAnyOfExtensions :: [String] -> FilePath -> Maybe FilePath

   Agda	Agda.Utils.FileName

   Generalizes stripExtension.

6. POAny :: PartialOrdering

   Agda	Agda.Utils.PartialOrd

   No information (incomparable).

7. RAny :: Reg

   BNFC	BNFC.Abs

   No documentation available.

8. manyNewick :: Parser Text [NewickTree]

   BiobaseNewick	Biobase.Newick.Import

   No documentation available.

9. Many :: forall (r :: Type -> Type -> Type -> Type) e t a1 a . !Prod r e t a1 -> !Prod r e t ([a1] -> a) -> Prod r e t a

   Earley	Text.Earley.Grammar

   No documentation available.

10. TagAny :: TagMatchRule

    Hastructure	Assumptions

    match any tag hit

Page 214 of many | Previous | Next