Safe Haskell | None |
---|

- method :: (Functor n, Monad n) => Method -> ApiaryT c n m a -> ApiaryT c n m a
- stdMethod :: (Functor n, Monad n) => StdMethod -> ApiaryT c n m a -> ApiaryT c n m a
- httpVersion :: (Functor n, Monad n) => HttpVersion -> ApiaryT c n m b -> ApiaryT c n m b
- http09 :: (Functor n, Monad n) => ApiaryT c n m b -> ApiaryT c n m b
- http10 :: (Functor n, Monad n) => ApiaryT c n m b -> ApiaryT c n m b
- http11 :: (Functor n, Monad n) => ApiaryT c n m b -> ApiaryT c n m b
- root :: (Functor n, Monad n) => ApiaryT c n m b -> ApiaryT c n m b
- capture :: QuasiQuoter
- query :: (Query a, Strategy w, Functor n, Monad n) => ByteString -> Proxy (w a) -> ApiaryT (SNext w as a) n m b -> ApiaryT as n m b
- (=:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT (Snoc as a) n m b -> ApiaryT as n m b
- (=!:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT (Snoc as a) n m b -> ApiaryT as n m b
- (=?:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT (Snoc as (Maybe a)) n m b -> ApiaryT as n m b
- (?:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT as n m b -> ApiaryT as n m b
- (=*:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT (Snoc as [a]) n m b -> ApiaryT as n m b
- (=+:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT (Snoc as [a]) n m b -> ApiaryT as n m b
- hasQuery :: (Functor n, Monad n) => ByteString -> ApiaryT c n m a -> ApiaryT c n m a
- hasHeader :: (Functor n, Monad n) => HeaderName -> ApiaryT as n m b -> ApiaryT as n m b
- eqHeader :: (Functor n, Monad n) => HeaderName -> ByteString -> ApiaryT as n m b -> ApiaryT as n m b
- headers :: (Functor n, Monad n) => HeaderName -> ApiaryT (Snoc as [ByteString]) n m b -> ApiaryT as n m b
- header :: (Functor n, Monad n) => HeaderName -> ApiaryT (Snoc as ByteString) n m b -> ApiaryT as n m b
- header' :: (Strategy w, Functor n, Monad n) => (forall x. Proxy x -> Proxy (w x)) -> (Header -> Bool) -> ApiaryT (SNext w as ByteString) n m b -> ApiaryT as n m b
- ssl :: (Functor n, Monad n) => ApiaryT c n m a -> ApiaryT c n m a
- module Network.HTTP.Types
- module Control.Monad.Apiary.Filter.Internal.Strategy

# filters

## http method

method :: (Functor n, Monad n) => Method -> ApiaryT c n m a -> ApiaryT c n m aSource

filter by HTTP method. since 0.1.0.0.

stdMethod :: (Functor n, Monad n) => StdMethod -> ApiaryT c n m a -> ApiaryT c n m aSource

filter by HTTP method using StdMethod. since 0.1.0.0.

## http version

httpVersion :: (Functor n, Monad n) => HttpVersion -> ApiaryT c n m b -> ApiaryT c n m bSource

http version filter. since 0.5.0.0.

http09 :: (Functor n, Monad n) => ApiaryT c n m b -> ApiaryT c n m bSource

http/0.9 only accepted fiter. since 0.5.0.0.

http10 :: (Functor n, Monad n) => ApiaryT c n m b -> ApiaryT c n m bSource

http/1.0 only accepted fiter. since 0.5.0.0.

http11 :: (Functor n, Monad n) => ApiaryT c n m b -> ApiaryT c n m bSource

http/1.1 only accepted fiter. since 0.5.0.0.

## path matcher

root :: (Functor n, Monad n) => ApiaryT c n m b -> ApiaryT c n m bSource

filter by `rootPattern`

of `ApiaryConfig`

.

## query matcher

query :: (Query a, Strategy w, Functor n, Monad n) => ByteString -> Proxy (w a) -> ApiaryT (SNext w as a) n m b -> ApiaryT as n m bSource

low level query getter. since 0.5.0.0.

query key (Proxy :: Proxy (fetcher type))

examples:

query key (Proxy :: Proxy (`First`

Int)) -- 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 (`Many`

String) -- get all 'key' query parameter as String.

### specified operators

(=:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT (Snoc as a) n m b -> ApiaryT as n m bSource

(=!:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT (Snoc as a) n m b -> ApiaryT as n m bSource

(=?:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT (Snoc as (Maybe a)) n m b -> ApiaryT as n m bSource

(?:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT as n m b -> ApiaryT as n m bSource

(=*:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT (Snoc as [a]) n m b -> ApiaryT as n m bSource

(=+:) :: (Functor n, Monad n, Query a) => ByteString -> Proxy a -> ApiaryT (Snoc as [a]) n m b -> ApiaryT as n m bSource

hasQuery :: (Functor n, Monad n) => ByteString -> ApiaryT c n m a -> ApiaryT c n m aSource

query exists checker.

hasQuery q =`query`

q (Proxy :: Proxy (`Check`

()))

## header matcher

hasHeader :: (Functor n, Monad n) => HeaderName -> ApiaryT as n m b -> ApiaryT as n m bSource

check whether to exists specified header or not. since 0.6.0.0.

:: (Functor n, Monad n) | |

=> HeaderName | |

-> ByteString | header value |

-> ApiaryT as n m b | |

-> ApiaryT as n m b |

check whether to exists specified valued header or not. since 0.6.0.0.

headers :: (Functor n, Monad n) => HeaderName -> ApiaryT (Snoc as [ByteString]) n m b -> ApiaryT as n m bSource

filter by headers up to 100 entries. since 0.6.0.0.

header :: (Functor n, Monad n) => HeaderName -> ApiaryT (Snoc as ByteString) n m b -> ApiaryT as n m bSource

filter by header and get first. since 0.6.0.0.

header' :: (Strategy w, Functor n, Monad n) => (forall x. Proxy x -> Proxy (w x)) -> (Header -> Bool) -> ApiaryT (SNext w as ByteString) n m b -> ApiaryT as n m bSource

low level header filter. since 0.6.0.0.

## other

ssl :: (Functor n, Monad n) => ApiaryT c n m a -> ApiaryT c n m aSource

filter by ssl accessed. since 0.1.0.0.

# Reexport

StdMethod(..)

module Network.HTTP.Types

Strategy Proxies