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.
-
ghc-internal GHC.Internal.Data.Proxy No documentation available.
-
ghc-internal GHC.Internal.Data.Semigroup.Internal 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} -
ghc-internal GHC.Internal.Data.Semigroup.Internal No documentation available.
-
ghc-internal GHC.Internal.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
-
ghc-internal GHC.Internal.Data.Typeable No documentation available.
-
ghc-internal GHC.Internal.Exts -
ghc-internal GHC.Internal.Exts The type constructor Proxy# is used to bear witness to some type variable. It's used when you want to pass around proxy values for doing things like modelling type applications. A Proxy# is not only unboxed, it also has a polymorphic kind, and has no runtime representation, being totally free.
-
ghc-internal GHC.Internal.Exts 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.
-
ghc-internal GHC.Internal.Exts No documentation available.
module GHC.Internal.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.