Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. type Setting (p :: Type -> Type -> Type) s t a b = p a Identity b -> s -> Identity t

   lens	Control.Lens.Setter

   This is a convenient alias when defining highly polymorphic code that takes both ASetter and AnIndexedSetter as appropriate. If a function takes this it is expecting one of those two things based on context.

2. type Setting' (p :: Type -> Type -> Type) s a = Setting p s s a a

   lens	Control.Lens.Setter

   This is a convenient alias when defining highly polymorphic code that takes both ASetter' and AnIndexedSetter' as appropriate. If a function takes this it is expecting one of those two things based on context.

3. type Setter s t a b = forall (f :: Type -> Type) . Settable f => a -> f b -> s -> f t

   lens	Control.Lens.Type

   The only LensLike law that can apply to a Setter l is that

   set l y (set l x a) ≡ set l y a
   

   You can't view a Setter in general, so the other two laws are irrelevant. However, two Functor laws apply to a Setter:

   over l id ≡ id
   over l f . over l g ≡ over l (f . g)
   

   These can be stated more directly:

   l pure ≡ pure
   l f . untainted . l g ≡ l (f . untainted . g)
   

   You can compose a Setter with a Lens or a Traversal using (.) from the Prelude and the result is always only a Setter and nothing more.

   >>> over traverse f [a,b,c,d]
   [f a,f b,f c,f d]
   

   >>> over _1 f (a,b)
   (f a,b)
   

   >>> over (traverse._1) f [(a,b),(c,d)]
   [(f a,b),(f c,d)]
   

   >>> over both f (a,b)
   (f a,f b)
   

   >>> over (traverse.both) f [(a,b),(c,d)]
   [(f a,f b),(f c,f d)]
   

4. type Setter' s a = Setter s s a a

   lens	Control.Lens.Type

   A Setter' is just a Setter that doesn't change the types. These are particularly common when talking about monomorphic containers. e.g.

   sets Data.Text.map :: Setter' Text Char
   

   type Setter' = Simple Setter
   

5. SetOwnerAndGroupIsRestricted :: PathVar

   unix	System.Posix.Files

   No documentation available.

6. SetOwnerAndGroupIsRestricted :: PathVar

   unix	System.Posix.Files.ByteString

   No documentation available.

7. SetOwnerAndGroupIsRestricted :: PathVar

   unix	System.Posix.Files.PosixString

   No documentation available.

8. data Settings

   warp	Network.Wai.Handler.Warp

   Various Warp server settings. This is purposely kept as an abstract data type so that new settings can be added without breaking backwards compatibility. In order to create a Settings value, use defaultSettings and the various 'set' functions to modify individual fields. For example:

   setTimeout 20 defaultSettings
   

9. data Settings

   warp	Network.Wai.Handler.Warp.Internal

   Various Warp server settings. This is purposely kept as an abstract data type so that new settings can be added without breaking backwards compatibility. In order to create a Settings value, use defaultSettings and the various 'set' functions to modify individual fields. For example:

   setTimeout 20 defaultSettings
   

10. Settings :: Port -> HostPreference -> (Maybe Request -> SomeException -> IO ()) -> (SomeException -> Response) -> (SockAddr -> IO Bool) -> (SockAddr -> IO ()) -> Int -> Maybe Manager -> Int -> Int -> IO () -> (((forall a . () => IO a -> IO a) -> IO ()) -> IO ()) -> (Socket -> IO (Socket, SockAddr)) -> Bool -> (IO () -> IO ()) -> ByteString -> Maybe Int -> ProxyProtocol -> Int -> Bool -> (Request -> Status -> Maybe Integer -> IO ()) -> (Request -> ByteString -> Integer -> IO ()) -> Maybe Int -> Int -> Int -> Int -> Maybe ByteString -> Int -> Settings

    warp	Network.Wai.Handler.Warp.Internal

    No documentation available.

Page 24 of many | Previous | Next