Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. module Text.XML.HXT.Parser.ProtocolHandlerUtil

    No documentation available.

  2. module Numeric.Polynomial

    Function for evaluating polynomials using Horher's method.

  3. data Proxy1 (f :: Type -> Type)

    quickcheck-classes-base Test.QuickCheck.Classes.Base

    In older versions of GHC, Proxy is not poly-kinded, so we provide Proxy1.

  4. Proxy1 :: Proxy1 (f :: Type -> Type)

    quickcheck-classes-base Test.QuickCheck.Classes.Base

    No documentation available.

  5. data Proxy2 (f :: Type -> Type -> Type)

    quickcheck-classes-base Test.QuickCheck.Classes.Base

    In older versions of GHC, Proxy is not poly-kinded, so we provide Proxy2.

  6. Proxy2 :: Proxy2 (f :: Type -> Type -> Type)

    quickcheck-classes-base Test.QuickCheck.Classes.Base

    No documentation available.

  7. type Pi (t :: Type -> Type) = t ~> Identity

    selective Control.Selective.Multi

    A product type where the payload has the type specified with the tag.

  8. Pure :: forall a (f :: Type -> Type) . a -> Select f a

    selective Control.Selective.Rigid.Free

    No documentation available.

  9. Pure :: forall a (f :: Type -> Type) . a -> Select f a

    selective Control.Selective.Rigid.Freer

    No documentation available.

  10. data Proxy (t :: k)

    singletons Data.Singletons

    Proxy is a type that holds no data, but has a phantom parameter of arbitrary type (or even kind). Its use is to provide type information, even though there is no value available of that type (or it may be too costly to create one). Historically, Proxy :: Proxy a is a safer alternative to the undefined :: a idiom. 

    >>> Proxy :: Proxy (Void, Int -> Int)
Proxy
    Proxy can even hold types of higher kinds, 
    >>> Proxy :: Proxy Either
Proxy

    >>> Proxy :: Proxy Functor
Proxy

    >>> Proxy :: Proxy complicatedStructure
Proxy

Page 321 of many | Previous | Next