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 IdleCallback = IO ()

    GLUT Graphics.UI.GLUT.Callbacks.Global

    No documentation available.

  2. data Identity a

    beam-core Database.Beam

    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
    

  3. data IDecode s a

    cborg Codec.CBOR.Read

    An Incremental decoder, used to represent the result of attempting to run a decoder over a given input, and return a value of type a.

  4. class (Additive a, Multiplicative a) => IDivisible a

    foundation Foundation

    Represent types that supports an euclidian division

    (x ‘div‘ y) * y + (x ‘mod‘ y) == x
    

  5. newtype Identity a

    foundation Foundation.Monad

    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
    

  6. Identity :: a -> Identity a

    foundation Foundation.Monad

    No documentation available.

  7. class (Additive a, Multiplicative a) => IDivisible a

    foundation Foundation.Numerical

    Represent types that supports an euclidian division

    (x ‘div‘ y) * y + (x ‘mod‘ y) == x
    

  8. newtype Id1 (f :: Type -> Type) a

    generic-data Generic.Data

    A newtype whose instances for simple classes (Eq, Ord, Read, Show) use higher-kinded class instances for f (Eq1, Ord1, Read1, Show1).

  9. Id1 :: f a -> Id1 (f :: Type -> Type) a

    generic-data Generic.Data

    No documentation available.

  10. newtype Id1 (f :: Type -> Type) a

    generic-data Generic.Data.Internal.Resolvers

    A newtype whose instances for simple classes (Eq, Ord, Read, Show) use higher-kinded class instances for f (Eq1, Ord1, Read1, Show1).

Page 196 of many | Previous | Next