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. newtype Identifier a

    casing Text.Casing

    An opaque type that represents a parsed identifier.

  2. Identifier :: [a] -> Identifier a

    casing Text.Casing

    No documentation available.

  3. class Magma a => Idempotent a

    numhask NumHask.Algebra.Group

    An Idempotent Magma is a magma where every element is Idempotent. 

    a ⊕ a = a

  4. type Idx (n :: Nat) (ctx :: Ctx k) (r :: k) = (ValidIx n ctx, Idx' FromLeft ctx n ctx r)

    parameterized-utils Data.Parameterized.Context

    Constraint synonym used for getting an Index into a Ctx. n is the zero-based, left-counted index into the list of types ctx which has the type r.

  5. data IdPred

    refined Refined

    A predicate which is satisfied for all types. Arguments passed to validate in validate IdPred x are not evaluated. 

    >>> isRight (refine @IdPred @Int undefined)
True

    >>> isLeft (refine @IdPred @Int undefined)
False

  6. IdPred :: IdPred

    refined Refined

    No documentation available.

  7. newtype Identity a

    classy-prelude ClassyPrelude

    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

  8. Identity :: a -> Identity a

    classy-prelude ClassyPrelude

    No documentation available.

  9. data IdSym (x :: FunKind a a)

    defun-core DeFun.Function

    No documentation available.

  10. newtype Ident

    esqueleto Database.Esqueleto.Internal.Internal

    Identifier used for table names.

Page 191 of many | Previous | Next