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. Ident :: String -> Ident

    shakespeare Text.Shakespeare.Base

    No documentation available.

  2. data Identical (a :: k) (b :: k1) (s :: k) (t :: k1)

    diagrams-lib Diagrams.Prelude

    Provides witness that (s ~ a, b ~ t) holds.

  3. newtype Identity a

    diagrams-lib Diagrams.Prelude

    Identity functor and monad. (a non-strict monad)

    Examples

    >>> fmap (+1) (Identity 0)
    Identity 1
    
    >>> Identity [1, 2, 3] <> Identity [4, 5, 6]
    Identity [1,2,3,4,5,6]
    
    >>> do
    x <- Identity 10
    y <- Identity (x + 5)
    pure (x + y)
    Identity 25
    

  4. Identity :: a -> Identity a

    diagrams-lib Diagrams.Prelude

    No documentation available.

  5. module Test.Syd.Validity.Functions.Idempotence

    Standard tests involving validity

  6. module Test.Syd.Validity.Operations.Identity

    No documentation available.

  7. newtype Identity a

    Cabal-syntax Distribution.Compat.Prelude

    No documentation available.

  8. Identity :: a -> Identity a

    Cabal-syntax Distribution.Compat.Prelude

    No documentation available.

  9. module Text.XML.HXT.DTDValidation.IdValidation

    This module provides functions for checking special IDIDREFIDREFS constraints. Checking special ID/IDREF/IDREFS constraints means:

    • checking that all ID values are unique.
    • checking that all IDREF/IDREFS values match the value of some ID attribute
    ID-Validation should be started before or after validating the document. First all nodes with ID attributes are collected from the document, then it is validated that values of ID attributes do not occure more than once. During a second iteration over the document it is validated that there exists an ID attribute value for IDREF/IDREFS attribute values.

  10. data IdentityT (f :: k -> Type) (a :: k)

    relude Relude.Monad.Reexport

    The trivial monad transformer, which maps a monad to an equivalent monad.

Page 185 of many | Previous | Next