Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. newtype POP (f :: k -> Type) (xss :: [[k]])

   generics-sop	Generics.SOP

   A product of products. This is a 'newtype' for an NP of an NP. The elements of the inner products are applications of the parameter f. The type POP is indexed by the list of lists that determines the lengths of both the outer and all the inner products, as well as the types of all the elements of the inner products. A POP is reminiscent of a two-dimensional table (but the inner lists can all be of different length). In the context of the SOP approach to generic programming, a POP is useful to represent information that is available for all arguments of all constructors of a datatype.

2. POP :: NP (NP f) xss -> POP (f :: k -> Type) (xss :: [[k]])

   generics-sop	Generics.SOP

   No documentation available.

3. type family Prod (h :: k -> Type -> l -> Type) :: k -> Type -> l -> Type

   generics-sop	Generics.SOP

   Maps a structure containing sums to the corresponding product structure.

4. type ProductCode a = Head Code a

   generics-sop	Generics.SOP

   Direct access to the part of the code that is relevant for a product type.

5. data Proxy (t :: k)

   generics-sop	Generics.SOP

   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)

   generics-sop	Generics.SOP

   No documentation available.

7. type ProductCode a = Head Code a

   generics-sop	Generics.SOP.Universe

   Direct access to the part of the code that is relevant for a product type.

8. data ParseError

   hlint	Language.Haskell.HLint

   A parse error.

9. ParseError :: SrcSpan -> String -> String -> ParseError

   hlint	Language.Haskell.HLint

   No documentation available.

10. data ParseFlags

    hlint	Language.Haskell.HLint

    Created with defaultParseFlags, used by parseModuleEx.

Page 271 of many | Previous | Next