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.

module Data.Time.Clock.POSIX

No documentation available.
module Data.Vector.Primitive

No documentation available.
module Foreign.Marshal.Pool

No documentation available.
module Foreign.Ptr

No documentation available.
module GHC.Profiling

No documentation available.
module GHC.Ptr

No documentation available.
module Prelude

No documentation available.
module Text.Printf

No documentation available.
data Proxy (t :: k)

servant-server Servant

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)

servant-server Servant

No documentation available.

Page 194 of many | Previous | Next