Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

  1. data Proxy (t :: k)

    base Data.Proxy

    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
    

  2. Proxy :: Proxy (t :: k)

    base Data.Proxy

    No documentation available.

  3. newtype Product a

    base Data.Semigroup

    Monoid under multiplication.

    Product x <> Product y == Product (x * y)
    

    Examples

    >>> Product 3 <> Product 4 <> mempty
    Product {getProduct = 12}
    
    >>> mconcat [ Product n | n <- [2 .. 10]]
    Product {getProduct = 3628800}
    

  4. Product :: a -> Product a

    base Data.Semigroup

    No documentation available.

  5. data Proxy (t :: k)

    base Data.Typeable

    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
    

  6. Proxy :: Proxy (t :: k)

    base Data.Typeable

    No documentation available.

  7. module Foreign.Marshal.Pool

    This module contains support for pooled memory management. Under this scheme, (re-)allocations belong to a given pool, and everything in a pool is deallocated when the pool itself is deallocated. This is useful when alloca with its implicit allocation and deallocation is not flexible enough, but explicit uses of malloc and free are too awkward.

  8. data Pool

    base Foreign.Marshal.Pool

    A memory pool.

  9. module Foreign.Ptr

    This module provides typed pointers to foreign data. It is part of the Foreign Function Interface (FFI) and will normally be imported via the Foreign module.

  10. data Ptr a

    base Foreign.Ptr

    A value of type Ptr a represents a pointer to an object, or an array of objects, which may be marshalled to or from Haskell values of type a. The type a will often be an instance of class Storable which provides the marshalling operations. However this is not essential, and you can provide your own operations to access the pointer. For example you might write small foreign functions to get or set the fields of a C struct.

Page 15 of many | Previous | Next