Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. data Pastro (p :: Type -> Type -> Type) a b

   profunctors	Data.Profunctor.Strong

   Pastro -| Tambara

   Pastro p ~ exists z. Costar ((,)z) Procompose p Procompose Star ((,)z)
   

   Pastro freely makes any Profunctor Strong.

2. Pastro :: forall y z b (p :: Type -> Type -> Type) x a . ((y, z) -> b) -> p x y -> (a -> (x, z)) -> Pastro p a b

   profunctors	Data.Profunctor.Strong

   No documentation available.

3. class Profunctor (p :: Type -> Type -> Type)

   profunctors	Data.Profunctor.Types

   Formally, the class Profunctor represents a profunctor from Hask -> Hask. Intuitively it is a bifunctor where the first argument is contravariant and the second argument is covariant. You can define a Profunctor by either defining dimap or by defining both lmap and rmap. If you supply dimap, you should ensure that:

   dimap id id ≡ id
   

   If you supply lmap and rmap, ensure:

   lmap id ≡ id
   rmap id ≡ id
   

   If you supply both, you should also ensure:

   dimap f g ≡ lmap f . rmap g
   

   These ensure by parametricity:

   dimap (f . g) (h . i) ≡ dimap g h . dimap f i
   lmap (f . g) ≡ lmap g . lmap f
   rmap (f . g) ≡ rmap f . rmap g
   

4. class Profunctor (p :: Type -> Type -> Type)

   profunctors	Data.Profunctor.Unsafe

   Formally, the class Profunctor represents a profunctor from Hask -> Hask. Intuitively it is a bifunctor where the first argument is contravariant and the second argument is covariant. You can define a Profunctor by either defining dimap or by defining both lmap and rmap. If you supply dimap, you should ensure that:

   dimap id id ≡ id
   

   If you supply lmap and rmap, ensure:

   lmap id ≡ id
   rmap id ≡ id
   

   If you supply both, you should also ensure:

   dimap f g ≡ lmap f . rmap g
   

   These ensure by parametricity:

   dimap (f . g) (h . i) ≡ dimap g h . dimap f i
   lmap (f . g) ≡ lmap g . lmap f
   rmap (f . g) ≡ rmap f . rmap g
   

5. PayloadTooLarge :: InvalidRequest

   warp	Network.Wai.Handler.Warp

   Since 3.3.22

6. type Port = Int

   warp	Network.Wai.Handler.Warp

   TCP port number.

7. data PushPromise

   warp	Network.Wai.Handler.Warp

   HTTP/2 push promise or sever push. This allows files only for backward-compatibility while the HTTP/2 library supports other types. Since: 3.2.7

8. data ProxyProtocol

   warp	Network.Wai.Handler.Warp.Internal

   Specify usage of the PROXY protocol.

9. ProxyProtocolNone :: ProxyProtocol

   warp	Network.Wai.Handler.Warp.Internal

   See setProxyProtocolNone.

10. ProxyProtocolOptional :: ProxyProtocol

    warp	Network.Wai.Handler.Warp.Internal

    See setProxyProtocolOptional.

Page 71 of many | Previous | Next