| Safe Haskell | None |
|---|
Control.Monad.Apiary.Filter.Internal.Query
- query :: (Query a, Strategy w, Monad m) => ByteString -> Proxy (w a) -> ApiaryT (SNext w as a) m b -> ApiaryT as m b
- class Strategy w where
- type SNext w as a :: [*]
- readStrategy :: Query a => ByteString -> Proxy (w a) -> Query -> SList as -> Maybe (SList (SNext w as a))
- getQuery :: Query a => Proxy (w a) -> ByteString -> Query -> [Maybe a]
- data Option a
- data First a
- data One a
- data Many a
- data Some a
- data Check a
Documentation
query :: (Query a, Strategy w, Monad m) => ByteString -> Proxy (w a) -> ApiaryT (SNext w as a) m b -> ApiaryT as m bSource
low level query getter. since 0.5.0.0.
query key (Proxy :: Proxy (fetcher type))
examples:
query key (Proxy :: Proxy (FirstInt)) -- get first 'key' query parameter as Int. query key (Proxy :: Proxy (Option(Maybe Int)) -- get first 'key' query parameter as Int. allow without param or value. query key (Proxy :: Proxy (ManyString) -- get all 'key' query parameter as String.
Methods
readStrategy :: Query a => ByteString -> Proxy (w a) -> Query -> SList as -> Maybe (SList (SNext w as a))Source
get first matched key( [1,) params to Type.). since 0.5.0.0.
get first matched key ( [0,) params to Maybe Type.) since 0.5.0.0.