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. data IdSurgery (a :: k -> Type) (b :: k -> Type)

    generic-data-surgery Generic.Data.Surgery.Internal

    The identity surgery: doesn't do anything.

  2. data Identity

    gitlab-haskell GitLab.Types

    identity

  3. Identity :: Text -> Text -> Maybe Int -> Identity

    gitlab-haskell GitLab.Types

    No documentation available.

  4. module Graphula.Idempotent

    A version of GraphulaT that removes all inserted data afterward

  5. data Identifier

    grisette Grisette.Core

    Identifier type used for GenSym The constructor is hidden intentionally. You can construct an identifier by:

    • a raw identifier
    The following two expressions will refer to the same identifier (the solver won't distinguish them and would assign the same value to them). The user may need to use unique names to avoid unintentional identifier collision. 
    >>> identifier "a"
a

    >>> "a" :: Identifier -- available when OverloadedStrings is enabled
a
    • bundle the identifier with some user provided metadata
    Identifiers created with different name or different additional information will not be the same. 
    >>> withMetadata "a" (NumberAtom 1)
a:1
    • bundle the calling file location with the identifier to ensure global uniqueness
    Identifiers created at different locations will not be the same. The identifiers created at the same location will be the same. 
    >>> $$(withLocation "a") -- a sample result could be "a:[grisette-file-location <interactive> 18 (4 18)]"
a:[grisette-file-location <interactive>...]

  6. Identifier :: Text -> SExpr -> Identifier

    grisette Grisette.Core

    No documentation available.

  7. data Identifier

    grisette Grisette.Internal.Core.Data.Symbol

    Identifier type used for GenSym The constructor is hidden intentionally. You can construct an identifier by:

    • a raw identifier
    The following two expressions will refer to the same identifier (the solver won't distinguish them and would assign the same value to them). The user may need to use unique names to avoid unintentional identifier collision. 
    >>> identifier "a"
a

    >>> "a" :: Identifier -- available when OverloadedStrings is enabled
a
    • bundle the identifier with some user provided metadata
    Identifiers created with different name or different additional information will not be the same. 
    >>> withMetadata "a" (NumberAtom 1)
a:1
    • bundle the calling file location with the identifier to ensure global uniqueness
    Identifiers created at different locations will not be the same. The identifiers created at the same location will be the same. 
    >>> $$(withLocation "a") -- a sample result could be "a:[grisette-file-location <interactive> 18 (4 18)]"
a:[grisette-file-location <interactive>...]

  8. Identifier :: Text -> SExpr -> Identifier

    grisette Grisette.Internal.Core.Data.Symbol

    No documentation available.

  9. IdentifierDependency :: Identifier -> DependencySelector

    hakyll Hakyll.Core.Dependencies

    No documentation available.

  10. module Hakyll.Core.Identifier

    An identifier is a type used to uniquely name an item. An identifier is similar to a file path, but can contain additional details (e.g. item's version). Examples of identifiers are: 

    • posts/foo.markdown
    • index
    • error/404
    See Identifier for details.

Page 214 of many | Previous | Next