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.

  1. Identity :: a -> Identity a

    cql-io Database.CQL.IO

    No documentation available.

  2. data Identifier

    epub-metadata Codec.Epub.Data.Metadata

    package/metadata/dc:identifier tag

  3. Identifier :: Maybe String -> Maybe String -> Maybe String -> String -> Identifier

    epub-metadata Codec.Epub.Data.Metadata

    No documentation available.

  4. class Idempotent (c :: k1 -> k1 -> k)

    gdp Logic.Classes

    A binary operation # is idempotent if x # x == x for all x. The Idempotent c typeclass provides a single method, idempotent :: Proof (c p p == p). Within the module where F is defined, you can declare F to be idempotent with an empty instance: 

    -- Define an idempotent binary operation
data Union x y
instance Idempotent Union

  5. data IdSurgery (a :: k -> Type) (b :: k -> Type)

    generic-data-surgery Generic.Data.Surgery

    The identity surgery: doesn't do anything.

  6. data IdSurgery (a :: k -> Type) (b :: k -> Type)

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

    The identity surgery: doesn't do anything.

  7. data Identity

    gitlab-haskell GitLab.Types

    identity

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

    gitlab-haskell GitLab.Types

    No documentation available.

  9. module Graphula.Idempotent

    A version of GraphulaT that removes all inserted data afterward

  10. 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>...]

Page 214 of many | Previous | Next