Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. type family FoldRequired' (acc :: Bool) (mods :: [Type]) :: Bool

   servant	Servant.API.Modifiers

   Implementation of FoldRequired.

2. 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)

3. data Required

   servant	Servant.API.Modifiers

   Required argument. Not wrapped.

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

   servant	Servant.API.Modifiers

   Helper type alias.

   • Required ↦ a
   • Optional ↦ Maybe a

5. 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

6. 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.

7. 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.

8. module Servant.API.ReqBody

   No documentation available.

9. 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
   

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

    servant	Servant.API.ReqBody

    Note: ReqBody' is always Required.

Page 173 of many | Previous | Next