Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
Instances
IsRequest (QueryForm a) Source # | |
Defined in Web.Minion.Request.Query type RequestValue (QueryForm a) Source # getRequestValue :: QueryForm a -> RequestValue (QueryForm a) Source # | |
type RequestValue (QueryForm a) Source # | |
Defined in Web.Minion.Request.Query |
type QueryParamName = Text Source #
:: 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.>
...
:: forall m i ts. (Introspection i QueryParam QueryFlag, Monad m) | |
=> QueryParamName | . |
-> ValueCombinator i (WithQueryParam Optional Strict m QueryFlag) ts m |
:: forall m i ts. (Introspection i QueryParam QueryFlag, MonadThrow m) | |
=> QueryParamName | . |
-> ValueCombinator i (WithQueryParam Required Strict m QueryFlag) ts m |
:: 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" pure/>
...
:: 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" pure/>
...
:: 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" pure/>
...
:: 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" pure/>
...