Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. type RequestArgument (mods :: [Type]) a = If FoldRequired mods If FoldLenient mods Either Text a a Maybe If FoldLenient mods Either Text a a

   servant	Servant.API.Modifiers

   Helper type alias. By default argument is Optional and Strict.

   • Required, Strict ↦ a
   • Required, Lenient ↦ Either Text a
   • Optional, Strict ↦ Maybe a
   • Optional, Lenient ↦ Maybe (Either Text a)

2. data Required

   servant	Servant.API.Modifiers

   Required argument. Not wrapped.

3. type RequiredArgument (mods :: [Type]) a = If FoldRequired mods a Maybe a

   servant	Servant.API.Modifiers

   Helper type alias.

   • Required ↦ a
   • Optional ↦ Maybe a

4. foldRequiredArgument :: forall (mods :: [Type]) a r . SBoolI (FoldRequired mods) => Proxy mods -> (a -> r) -> (Maybe a -> r) -> RequiredArgument mods a -> r

   servant	Servant.API.Modifiers

   Fold a RequiredAgument into a value

5. unfoldRequestArgument :: forall (mods :: [Type]) m a . (Monad m, SBoolI (FoldRequired mods), SBoolI (FoldLenient mods)) => Proxy mods -> m (RequestArgument mods a) -> (Text -> m (RequestArgument mods a)) -> Maybe (Either Text a) -> m (RequestArgument mods a)

   servant	Servant.API.Modifiers

   Unfold a value into a RequestArgument.

6. unfoldRequiredArgument :: forall (mods :: [Type]) m a . (Monad m, SBoolI (FoldRequired mods), SBoolI (FoldLenient mods)) => Proxy mods -> m (RequiredArgument mods a) -> (Text -> m (RequiredArgument mods a)) -> Maybe (Either Text a) -> m (RequiredArgument mods a)

   servant	Servant.API.Modifiers

   Unfold a value into a RequiredArgument.

7. module Servant.API.ReqBody

   No documentation available.

8. type ReqBody = ReqBody' '[Required, Strict]

   servant	Servant.API.ReqBody

   Extract the request body as a value of type a. Example:

   >>> -- POST /books
   
   >>> type MyApi = "books" :> ReqBody '[JSON] Book :> Post '[JSON] Book
   

9. data ReqBody' (mods :: [Type]) (contentTypes :: [Type]) a

   servant	Servant.API.ReqBody

   Note: ReqBody' is always Required.

10. liftEqDefault :: (GEq1 NonV4 (Rep1 f), Generic1 f) => (a -> b -> Bool) -> f a -> f b -> Bool

    transformers-compat	Data.Functor.Classes.Generic

    A sensible default liftEq implementation for Generic1 instances.

Page 181 of many | Previous | Next