Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

  1. type Identifier = Text

    yesod-auth Yesod.Auth.Email

    An Identifier generalizes an email address to allow users to log in with some other form of credentials (e.g., username). Note that any of these other identifiers must not be valid email addresses.

  2. IdentifierNotFound :: Text -> AuthMessage

    yesod-auth Yesod.Auth.Message

    No documentation available.

  3. data IdentifierType

    yesod-auth Yesod.Auth.OpenId

    No documentation available.

  4. module Agda.Compiler.Treeless.Identity

    No documentation available.

  5. IdiomBracketError_ :: ErrorName

    Agda Agda.Interaction.Options.Errors

    No documentation available.

  6. IdPart :: RString -> NotationPart

    Agda Agda.Syntax.Common

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

  7. Ident :: QName -> Expr

    Agda Agda.Syntax.Concrete

    ex: x

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

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

    Agda Agda.Syntax.Concrete

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

  10. module Agda.Syntax.IdiomBrackets

    No documentation available.

Page 208 of many | Previous | Next