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. IdPart :: RString -> NotationPart

   Agda	Agda.Syntax.Common

   An identifier part. For instance, for _+_ the only identifier part is +.

2. Ident :: QName -> Expr

   Agda	Agda.Syntax.Concrete

   ex: x

3. IdentP :: Bool -> QName -> Pattern

   Agda	Agda.Syntax.Concrete

   c or x If the boolean is False, then the QName must not refer to a constructor or a pattern synonym. The value False is used when a hidden argument pun is expanded.

4. IdiomBrackets :: Range -> [Expr] -> Expr

   Agda	Agda.Syntax.Concrete

   ex: (| e1 | e2 | .. | en |) or (|)

5. module Agda.Syntax.IdiomBrackets

   No documentation available.

6. IdS :: Substitution' a

   Agda	Agda.Syntax.Internal

   Identity substitution. Γ ⊢ IdS : Γ

7. IdiomType :: Type -> EqualityView

   Agda	Agda.Syntax.Internal

   A reduced type used as type for the with inspect idiom.

8. IdiomBracketError :: String -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   Error during (operator) parsing and interpreting the contents of idiom brackets. Error message in String.

9. IdS :: Substitution' a

   Agda	Agda.TypeChecking.Substitute

   Identity substitution. Γ ⊢ IdS : Γ

10. type IdToFile = EnumMap FileId File

    Agda	Agda.Utils.FileId

    No documentation available.

Page 209 of many | Previous | Next