Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Proxy :: String -> Maybe Authority -> Proxy

HTTP Network.HTTP.Proxy

Use the proxy given. Should be of the form "http://host:port", "host", "host:port", or "http://host". Additionally, an optional Authority for authentication with the proxy.
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.
POP :: NP (NP f) xss -> POP (f :: k -> Type) (xss :: [[k]])

generics-sop Generics.SOP

No documentation available.
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.
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.
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
```
Proxy :: Proxy (t :: k)

generics-sop Generics.SOP

No documentation available.
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.
data Prefs

haskeline System.Console.Haskeline

Prefs allow the user to customize the terminal-style line-editing interface. They are read by default from ~/.haskeline; to override that behavior, use readPrefs and runInputTWithPrefs. Each line of a .haskeline file defines one field of the Prefs datatype; field names are case-insensitive and unparseable lines are ignored. For example:
```
editMode: Vi
completionType: MenuCompletion
maxhistorysize: Just 40
```
newtype Peek e a

hslua-marshalling HsLua.Marshalling

Lua operation with an additional failure mode that can stack errors from different contexts; errors are not based on exceptions).

HTTP	Network.HTTP.Proxy

generics-sop	Generics.SOP

generics-sop	Generics.SOP

generics-sop	Generics.SOP

generics-sop	Generics.SOP

generics-sop	Generics.SOP

generics-sop	Generics.SOP

generics-sop	Generics.SOP.Universe

haskeline	System.Console.Haskeline

hslua-marshalling	HsLua.Marshalling

Page 278 of many | Previous | Next