3e1748c · servant · git.iko.soy

servant-client-core/src/Servant/Client/Core/Internal/HasClient.hs+3−3

compare with master

unifiedsplit

@@ -34,7 +34,7 @@ import Servant.API ((:<|>) ((:<|>)), (:>),

34 BuildHeadersTo (..),

35 BuildFromStream (..),

36 ByteStringParser (..),

37− Capture, CaptureAll,

37+ Capture', CaptureAll,

38 Description, EmptyAPI,

39 FramingUnrender (..),

40 Header', Headers (..),

@@ -155,9 +155,9 @@ instance RunClient m => HasClient m EmptyAPI where

155-- > getBook = client myApi

156-- > -- then you can just use "getBook" to query that endpoint

157instance (KnownSymbol capture, ToHttpApiData a, HasClient m api)

158− => HasClient m (Capture capture a :> api) where

158+ => HasClient m (Capture' mods capture a :> api) where

159

160− type Client m (Capture capture a :> api) =

160+ type Client m (Capture' mods capture a :> api) =

161 a -> Client m api

162

163 clientWithRoute pm Proxy req val =

servant-docs/src/Servant/Docs/Internal.hs+1−1

@@ -795,7 +795,7 @@ instance HasDocs EmptyAPI where

795-- | @"books" :> 'Capture' "isbn" Text@ will appear as

796-- @/books/:isbn@ in the docs.

797instance (KnownSymbol sym, ToCapture (Capture sym a), HasDocs api)

798− => HasDocs (Capture sym a :> api) where

798+ => HasDocs (Capture' mods sym a :> api) where

799

800 docsFor Proxy (endpoint, action) =

801 docsFor subApiP (endpoint', action')

servant-foreign/src/Servant/Foreign/Internal.hs+2−2

@@ -195,8 +195,8 @@ instance HasForeign lang ftype EmptyAPI where

195 foreignFor Proxy Proxy Proxy _ = EmptyForeignAPI

196

197instance (KnownSymbol sym, HasForeignType lang ftype t, HasForeign lang ftype api)

198− => HasForeign lang ftype (Capture sym t :> api) where

198+ => HasForeign lang ftype (Capture' mods sym t :> api) where

199− type Foreign ftype (Capture sym t :> api) = Foreign ftype api

199+ type Foreign ftype (Capture' mods sym t :> api) = Foreign ftype api

200

201 foreignFor lang Proxy Proxy req =

202 foreignFor lang Proxy (Proxy :: Proxy api) $

servant-server/src/Servant/Server/Internal.hs+7−7

@@ -67,7 +67,7 @@ import Web.HttpApiData (FromHttpApiData, parseHeader,

67 parseQueryParam,

68 parseUrlPieceMaybe,

69 parseUrlPieces)

70−import Servant.API ((:<|>) (..), (:>), BasicAuth, Capture,

70+import Servant.API ((:<|>) (..), (:>), BasicAuth, Capture',

71 CaptureAll, Verb, EmptyAPI,

72 ReflectMethod(reflectMethod),

73 IsSecure(..), Header', QueryFlag,

@@ -164,9 +164,9 @@ instance (HasServer a context, HasServer b context) => HasServer (a :<|> b) cont

164-- > where getBook :: Text -> Handler Book

165-- > getBook isbn = ...

166instance (KnownSymbol capture, FromHttpApiData a, HasServer api context)

167− => HasServer (Capture capture a :> api) context where

167+ => HasServer (Capture' mods capture a :> api) context where

168

169− type ServerT (Capture capture a :> api) m =

169+ type ServerT (Capture' mods capture a :> api) m =

170 a -> ServerT api m

171

172 hoistServerWithContext _ pc nt s = hoistServerWithContext (Proxy :: Proxy api) pc nt . s

@@ -749,14 +749,14 @@ instance (HasContextEntry context (NamedContext name subContext), HasServer subA

749-- ...

750-- ...Expected something of kind Symbol or *, got: k -> l on the LHS of ':>'.

751-- ...Maybe you haven't applied enough arguments to

752−-- ...Capture "foo"

752+-- ...Capture' '[] "foo"

753-- ...

754--

755-- >>> undefined :: Server (Capture "foo" :> Get '[JSON] Int)

756-- ...

757-- ...Expected something of kind Symbol or *, got: k -> l on the LHS of ':>'.

758-- ...Maybe you haven't applied enough arguments to

759−-- ...Capture "foo"

759+-- ...Capture' '[] "foo"

760-- ...

761--

762instance TypeError (HasServerArrowKindError arr) => HasServer ((arr :: k -> l) :> api) context

@@ -778,7 +778,7 @@ type HasServerArrowKindError arr =

778-- ...

779-- ...No instance HasServer (a -> b).

780-- ...Maybe you have used '->' instead of ':>' between

781−-- ...Capture "foo" Int

781+-- ...Capture' '[] "foo" Int

782-- ...and

783-- ...Verb 'GET 200 '[JSON] Int

784-- ...

@@ -787,7 +787,7 @@ type HasServerArrowKindError arr =

787-- ...

788-- ...No instance HasServer (a -> b).

789-- ...Maybe you have used '->' instead of ':>' between

790−-- ...Capture "foo" Int

790+-- ...Capture' '[] "foo" Int

791-- ...and

792-- ...Verb 'GET 200 '[JSON] Int

793-- ...

servant/CHANGELOG.md+5−1

@@ -18,12 +18,16 @@

18 - [Querying an API - Querying Streaming APIs](http://haskell-servant.readthedocs.io/en/release-0.13/tutorial/Client.html#querying-streaming-apis)

19

20- *servant* Add `Servant.API.Modifiers`

21− ([#873](https://github.com/haskell-servant/servant/pull/873))

21+ ([#873](https://github.com/haskell-servant/servant/pull/873)

22+ [#903](https://github.com/haskell-servant/servant/pull/903))

22

23

23 `QueryParam`, `Header` and `ReqBody` understand modifiers:

24 `QueryParam`, `Header` and `ReqBody` understand modifiers:

24 - `Required` or `Optional` (resulting in `a` or `Maybe a` in handlers)

25 - `Required` or `Optional` (resulting in `a` or `Maybe a` in handlers)

25 - `Strict` or `Lenient` (resulting in `a` or `Either String a` in handlers)

26 - `Strict` or `Lenient` (resulting in `a` or `Either String a` in handlers)

26

27

28+ Also you can use `Description` as a modifier, but it doesn't yet work

29+ with `servant-docs`, only `servant-swagger`. [There is an issue.](https://github.com/haskell-servant/servant/issues/902)

30+

27- *servant-client* Support `http-client`’s `CookieJar`

31- *servant-client* Support `http-client`’s `CookieJar`

28 ([#897](https://github.com/haskell-servant/servant/pull/897)

32 ([#897](https://github.com/haskell-servant/servant/pull/897)

29 [#883](https://github.com/haskell-servant/servant/pull/883))

33 [#883](https://github.com/haskell-servant/servant/pull/883))

servant/src/Servant/API.hs+1−1

@@ -74,7 +74,7 @@ module Servant.API (

74

75import Servant.API.Alternative ((:<|>) (..))

76import Servant.API.BasicAuth (BasicAuth,BasicAuthData(..))

77−import Servant.API.Capture (Capture, CaptureAll)

77+import Servant.API.Capture (Capture, Capture', CaptureAll)

78import Servant.API.ContentTypes (Accept (..), FormUrlEncoded,

79 JSON,

80 MimeRender (..), NoContent (NoContent),

servant/src/Servant/API/Capture.hs+5−3

@@ -2,7 +2,7 @@

2{-# LANGUAGE DeriveDataTypeable #-}

3{-# LANGUAGE PolyKinds #-}

4{-# OPTIONS_HADDOCK not-home #-}

5−module Servant.API.Capture (Capture, CaptureAll) where

5+module Servant.API.Capture (Capture, Capture', CaptureAll) where

6

7import Data.Typeable (Typeable)

8import GHC.TypeLits (Symbol)

@@ -12,9 +12,11 @@ import GHC.TypeLits (Symbol)

12--

13-- >>> -- GET /books/:isbn

14-- >>> type MyApi = "books" :> Capture "isbn" Text :> Get '[JSON] Book

15−data Capture (sym :: Symbol) (a :: *)

15+type Capture = Capture' '[] -- todo

16− deriving (Typeable)

17

16

17+-- | 'Capture' which can be modified. For example with 'Description'.

18+data Capture' (mods :: [*]) (sym :: Symbol) (a :: *)

19+ deriving (Typeable)

18

20

19-- | Capture all remaining values from the request path under a certain type

21-- | Capture all remaining values from the request path under a certain type

20-- @a@.

22-- @a@.

servant/src/Servant/API/Description.hs+45−5

@@ -1,11 +1,25 @@

1−{-# LANGUAGE DataKinds #-}

1+{-# LANGUAGE DataKinds #-}

2−{-# LANGUAGE DeriveDataTypeable #-}

2+{-# LANGUAGE DeriveDataTypeable #-}

3+{-# LANGUAGE FlexibleContexts #-}

3−{-# LANGUAGE PolyKinds #-}

4+{-# LANGUAGE PolyKinds #-}

5+{-# LANGUAGE ScopedTypeVariables #-}

6+{-# LANGUAGE TypeOperators #-}

7+{-# LANGUAGE TypeFamilies #-}

4{-# OPTIONS_HADDOCK not-home #-}

8{-# OPTIONS_HADDOCK not-home #-}

5−module Servant.API.Description (Description, Summary) where

9+module Servant.API.Description (

10+ -- * Combinators

11+ Description,

12+ Summary,

13+ -- * Used as modifiers

14+ FoldDescription,

15+ FoldDescription',

16+ reflectDescription,

17+ ) where

6

18

7import Data.Typeable (Typeable)

19import Data.Typeable (Typeable)

8−import GHC.TypeLits (Symbol)

20+import GHC.TypeLits (Symbol, KnownSymbol, symbolVal)

21+import Data.Proxy (Proxy (..))

22+

9-- | Add a short summary for (part of) API.

23-- | Add a short summary for (part of) API.

10--

24--

11-- Example:

25-- Example:

@@ -29,6 +43,32 @@ data Summary (sym :: Symbol)

29data Description (sym :: Symbol)

43data Description (sym :: Symbol)

30 deriving (Typeable)

44 deriving (Typeable)

31

45

46+-- | Fold modifier list to decide whether argument should be parsed strictly or leniently.

47+--

48+-- >>> :kind! FoldDescription '[]

49+-- FoldDescription '[] :: Symbol

50+-- = ""

51+--

52+-- >>> :kind! FoldDescription '[Required, Description "foobar", Lenient]

53+-- FoldDescription '[Required, Description "foobar", Lenient] :: Symbol

54+-- = "foobar"

55+--

56+type FoldDescription mods = FoldDescription' "" mods

57+

58+-- | Implementation of 'FoldDescription'.

59+type family FoldDescription' (acc :: Symbol) (mods :: [*]) :: Symbol where

60+ FoldDescription' acc '[] = acc

61+ FoldDescription' acc (Description desc ': mods) = FoldDescription' desc mods

62+ FoldDescription' acc (mod ': mods) = FoldDescription' acc mods

63+

64+-- | Reflect description to the term level.

65+--

66+-- >>> reflectDescription (Proxy :: Proxy '[Required, Description "foobar", Lenient])

67+-- "foobar"

68+--

69+reflectDescription :: forall mods. KnownSymbol (FoldDescription mods) => Proxy mods -> String

70+reflectDescription _ = symbolVal (Proxy :: Proxy (FoldDescription mods))

71+

32-- $setup

72-- $setup

33-- >>> import Servant.API

73-- >>> import Servant.API

34-- >>> import Data.Aeson

74-- >>> import Data.Aeson

servant/src/Servant/API/Internal/Test/ComprehensiveAPI.hs+1−1

@@ -22,7 +22,7 @@ comprehensiveAPI = Proxy

22type ComprehensiveAPIWithoutRaw =

23 GET :<|>

24 Get '[JSON] Int :<|>

25− Capture "foo" Int :> GET :<|>

25+ Capture' '[Description "example description"] "foo" Int :> GET :<|>

26 Header "foo" Int :> GET :<|>

27 Header' '[Required, Lenient] "bar" Int :> GET :<|>

28 HttpVersion :> GET :<|>

servant/src/Servant/Utils/Links.hs+3−3

@@ -115,7 +115,7 @@ import Prelude.Compat

115import Web.HttpApiData

116import Servant.API.Alternative ( (:<|>)((:<|>)) )

117import Servant.API.BasicAuth ( BasicAuth )

118−import Servant.API.Capture ( Capture, CaptureAll )

118+import Servant.API.Capture ( Capture', CaptureAll )

119import Servant.API.ReqBody ( ReqBody' )

120import Servant.API.QueryParam ( QueryParam', QueryParams, QueryFlag )

121import Servant.API.Header ( Header' )

@@ -336,8 +336,8 @@ instance HasLink sub => HasLink (ReqBody' mods ct a :> sub) where

336 toLink _ = toLink (Proxy :: Proxy sub)

337

338instance (ToHttpApiData v, HasLink sub)

339− => HasLink (Capture sym v :> sub) where

339+ => HasLink (Capture' mods sym v :> sub) where

340− type MkLink (Capture sym v :> sub) = v -> MkLink sub

340+ type MkLink (Capture' mods sym v :> sub) = v -> MkLink sub

341 toLink _ l v =

342 toLink (Proxy :: Proxy sub) $

343 addSegment (escaped . Text.unpack $ toUrlPiece v) l