| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Web.Minion.Request.Query
Synopsis
- newtype QueryForm a = QueryForm a
- newtype QueryFlag = QueryFlag Bool
- type QueryParamName = Text
- queryParamsForm :: forall r m i ts. (Introspection i Request (QueryForm r), MonadThrow m, FromForm r) => ValueCombinator i (WithReq m (QueryForm r)) ts m
- queryFlag :: forall m i ts. (Introspection i QueryParam QueryFlag, Monad m) => QueryParamName -> ValueCombinator i (WithQueryParam Optional Strict m QueryFlag) ts m
- queryFlag' :: forall m i ts. (Introspection i QueryParam QueryFlag, MonadThrow m) => QueryParamName -> ValueCombinator i (WithQueryParam Required Strict m QueryFlag) ts m
- queryParam :: forall a m i ts. (FromHttpApiData a, Introspection i QueryParam a, MonadThrow m) => QueryParamName -> ValueCombinator i (WithQueryParam Optional Strict m a) ts m
- queryParam' :: forall a m i ts. (FromHttpApiData a, Introspection i QueryParam a, MonadThrow m) => QueryParamName -> ValueCombinator i (WithQueryParam Required Strict m a) ts m
- queryParamLenient :: forall a m i ts. (FromHttpApiData a, Introspection i QueryParam a, Monad m) => QueryParamName -> ValueCombinator i (WithQueryParam Optional (Lenient Text) m a) ts m
- queryParamLenient' :: forall a m i ts. (FromHttpApiData a, Introspection i QueryParam a, MonadThrow m) => QueryParamName -> ValueCombinator i (WithQueryParam Required (Lenient Text) m a) ts m
Documentation
Constructors
| QueryForm a |
Instances
| IsRequest (QueryForm a) Source # | |
Defined in Web.Minion.Request.Query Associated Types type RequestValue (QueryForm a) Source # Methods getRequestValue :: QueryForm a -> RequestValue (QueryForm a) Source # | |
| type RequestValue (QueryForm a) Source # | |
Defined in Web.Minion.Request.Query | |
type QueryParamName = Text Source #
Arguments
| :: forall r m i ts. (Introspection i Request (QueryForm r), MonadThrow m, FromForm r) | |
| => ValueCombinator i (WithReq m (QueryForm r)) ts m | . |
Extracts query string to Form
.../>queryParamsForm@MyForm.>...
Arguments
| :: forall m i ts. (Introspection i QueryParam QueryFlag, Monad m) | |
| => QueryParamName | . |
| -> ValueCombinator i (WithQueryParam Optional Strict m QueryFlag) ts m |
Arguments
| :: forall m i ts. (Introspection i QueryParam QueryFlag, MonadThrow m) | |
| => QueryParamName | . |
| -> ValueCombinator i (WithQueryParam Required Strict m QueryFlag) ts m |
Arguments
| :: forall a m i ts. (FromHttpApiData a, Introspection i QueryParam a, MonadThrow m) | |
| => QueryParamName | . |
| -> ValueCombinator i (WithQueryParam Optional Strict m a) ts m |
Tries to get query param
queryParam"foo"/>...
Arguments
| :: forall a m i ts. (FromHttpApiData a, Introspection i QueryParam a, MonadThrow m) | |
| => QueryParamName | . |
| -> ValueCombinator i (WithQueryParam Required Strict m a) ts m |
Tries to get query param
queryParam'"foo"/>...
Arguments
| :: forall a m i ts. (FromHttpApiData a, Introspection i QueryParam a, Monad m) | |
| => QueryParamName | . |
| -> ValueCombinator i (WithQueryParam Optional (Lenient Text) m a) ts m |
Tries to get query param
queryParam"foo"/>...
Arguments
| :: forall a m i ts. (FromHttpApiData a, Introspection i QueryParam a, MonadThrow m) | |
| => QueryParamName | . |
| -> ValueCombinator i (WithQueryParam Required (Lenient Text) m a) ts m |
Tries to get query param
queryParam"foo"/>...