on master help sign in
.gitignore+2
since splitsnapshots
unifiedsplit
@@ -7,3 +7,5 @@ log
7*.stats
7*.stats
8out
8out
9/.stack-work/
9/.stack-work/
10+TAGS
11+dist-newstyle
.travis.yml+4−4
@@ -1,17 +1,17 @@
1language: nix
1language: nix
2−nix: 2.1.1
2+nix: 2.3.6
3sudo: require
3sudo: require
4
4
5−install:
5+before_install:
6 - sudo cp -rT $TRAVIS_BUILD_DIR/nix /etc/nix
6 - sudo cp -rT $TRAVIS_BUILD_DIR/nix /etc/nix
7
7
8before_script:
8before_script:
9+ - sudo systemctl restart nix-daemon.service
9 - git config --global user.email "travis-ci@example.com"
10 - git config --global user.email "travis-ci@example.com"
10 - git config --global user.name "Travis-CI"
11 - git config --global user.name "Travis-CI"
11
12
12script:
13script:
13− - nix-env -iA cachix -f https://cachix.org/api/v1/install
14− - cachix use imalsogreg
15 - nix-build travis.nix -A build
14 - nix-build travis.nix -A build
15+ - nix-build travis.nix -A buildGhc
16 - nix-build travis.nix -A testserver
16 - nix-build travis.nix -A testserver
17 - nix-build travis.nix -A testresults
17 - nix-build travis.nix -A testresults
ChangeLog.md+8
@@ -1,3 +1,11 @@
1+0.3.5
2+-----
3+
4+ - Require reflex-dom-core >= 0.6 (for internal handling of case-insensitive headers)
5+ - Require servant >= 0.16
6+ - Eliminate use of deprecated widgets from reflex-dom-core
7+ - Bump the version of reflex-platform used in nix-shell and test suite
8+
10.3.4
90.3.4
2-----
10-----
3
11
README.md+1−1
@@ -7,7 +7,7 @@
7Keeping your frontend in sync with your API server can be difficult - when the
7Keeping your frontend in sync with your API server can be difficult - when the
8API changes its input parameters or return type, XHR requests from the
8API changes its input parameters or return type, XHR requests from the
9frontend will fail at runtime. If your API is defined by
9frontend will fail at runtime. If your API is defined by
10−[servant](haskell-servant.readthedocs.io) combinators, you can use
10+[servant](https://haskell-servant.readthedocs.io) combinators, you can use
11`servant-reflex` to share the API between the server and frontend.
11`servant-reflex` to share the API between the server and frontend.
12Syncronization between is checked at compile time, and rather than building XHR
12Syncronization between is checked at compile time, and rather than building XHR
13requests by hand, API endpoints are available behind `reflex`'s FRP semantics.
13requests by hand, API endpoints are available behind `reflex`'s FRP semantics.
default.nix+10−18
@@ -1,29 +1,21 @@
1−{ mkDerivation, aeson, base, bytestring, case-insensitive
1+{ mkDerivation, base, bytestring, case-insensitive, containers
2−, containers, data-default, exceptions, ghcjs-dom, http-api-data
2+, data-default, exceptions, ghcjs-dom, http-api-data, http-media
3−, http-media, jsaddle, mtl, network-uri, reflex, reflex-dom
3+, jsaddle, mtl, network-uri, reflex, reflex-dom, reflex-dom-core
4−, reflex-dom-core, safe, scientific, servant, servant-auth, stdenv
4+, safe, servant, servant-auth, stdenv, string-conversions, text
5−, string-conversions, text, transformers, megaparsec, wreq
5+, transformers
6}:
6}:
7mkDerivation {
7mkDerivation {
8 pname = "servant-reflex";
8 pname = "servant-reflex";
9− version = "0.3.4";
9+ version = "0.3.6";
10− src = builtins.filterSource
11− (path: type:
12− baseNameOf path != "result"
13− && baseNameOf path != "nix"
14− ) ./.;
10+ src = ./.;
15− configureFlags = [ "-fexample" ];
16 isLibrary = true;
11 isLibrary = true;
17 isExecutable = true;
12 isExecutable = true;
18 libraryHaskellDepends = [
13 libraryHaskellDepends = [
19 base bytestring case-insensitive containers data-default exceptions
14 base bytestring case-insensitive containers data-default exceptions
20 ghcjs-dom http-api-data http-media jsaddle mtl network-uri reflex
15 ghcjs-dom http-api-data http-media jsaddle mtl network-uri reflex
21− reflex-dom-core safe servant servant-auth string-conversions text
16+ reflex-dom reflex-dom-core safe servant servant-auth string-conversions
22− transformers megaparsec wreq
17+ text transformers
23 ];
18 ];
24− executableHaskellDepends = [
25− aeson base reflex reflex-dom scientific servant text
26− ];
27− description = "Servant reflex API generator";
19+ description = "servant API generator for reflex apps";
28 license = stdenv.lib.licenses.bsd3;
20 license = stdenv.lib.licenses.bsd3;
29}
21}
exec/Example.hs+2−1
@@ -21,7 +21,8 @@ import Servant.API
21import API
21import API
22import Data.Proxy
22import Data.Proxy
23import Text.Read (readMaybe)
23import Text.Read (readMaybe)
24−import Reflex.Dom.Core hiding (run)
24+import Reflex.Dom.Core hiding (run, mainWidget)
25+import Reflex.Dom (mainWidget)
25------------------------------------------------------------------------------
26------------------------------------------------------------------------------
26import Servant.Reflex
27import Servant.Reflex
27import Servant.Reflex.Multi
28import Servant.Reflex.Multi
nix/nix.conf+2−1
@@ -1,2 +1,3 @@
1−substituters = https://cache.nixos.org https://nixcache.reflex-frp.org
1+substituters = https://cache.nixos.org/ https://nixcache.reflex-frp.org/
2trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= ryantrinkle.com-1:JJiAKaRv9mWgpVAz8dwewnZe0AzzEAzPkagE9SP5NWI=
2trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= ryantrinkle.com-1:JJiAKaRv9mWgpVAz8dwewnZe0AzzEAzPkagE9SP5NWI=
3+trusted-users = travis
nix/reflex-platform.nix+2−2
@@ -1,7 +1,7 @@
1let
1let
2− rev = "a15d3a2411e7ca7d4ee4853b57c72fe83faee272";
2+ rev = "1aba6f367982bd6dd78ec2fda75ab246a62d32c5" ;
3in import (builtins.fetchTarball
3in import (builtins.fetchTarball
4 {
4 {
5 url = "https://github.com/reflex-frp/reflex-platform/archive/${rev}.tar.gz";
5 url = "https://github.com/reflex-frp/reflex-platform/archive/${rev}.tar.gz";
6− sha256 = "1dsvw0lah7761vndip1hqal4fjpjv84ravinnfhy83jgfav5ivna";
6+ sha256 = "137vg6i8yy4lp6rz4wbvvhfcc9d9qf7j1b3fnng3r7sj63k7j664" ;
7 }) {}
7 }) {}
nix/servant-snap.nix+4−6
@@ -1,9 +1,7 @@
1−# Servant-snap is stuck a bit behind atm. But we have a fork that mostly works
1+# Servant-snap is marked broken in nixpkgs
2−# except for streaming, which is good enough for this test server. See:
3−# https://github.com/haskell-servant/servant-snap/issues/20
4{ nixpkgs ? import <nixpkgs> {}}: self: super:
2{ nixpkgs ? import <nixpkgs> {}}: self: super:
5self.callCabal2nix "servant-snap" (nixpkgs.fetchgit {
3self.callCabal2nix "servant-snap" (nixpkgs.fetchgit {
6− url = "https://github.com/antislava/servant-snap.git";
4+ url = "https://github.com/haskell-servant/servant-snap.git";
7− rev = "fc9658e8f52ebce9e4f304ea0c6705d697d4fa84";
5+ rev = "af5172a6de5bb2a07eb1bf4c85952075ec6ecdf3";
8− sha256 = "0zlipmx1fb73mhpnndwmdmigxxrsdnsnb1157pgsrxpx89l9pjig";
6+ sha256 = "sha256-fzzQGwG8Ko72OO/kwLMG52eNZSt3F2dxhNgM9gaO4yQ=";
9}) {}
7}) {}
servant-reflex.cabal+17−8
@@ -1,5 +1,5 @@
1Name: servant-reflex
1Name: servant-reflex
2−Version: 0.3.4
2+Version: 0.3.6
3Synopsis: servant API generator for reflex apps
3Synopsis: servant API generator for reflex apps
4Description: Generate reflex-compatible client functions from servant API descriptions
4Description: Generate reflex-compatible client functions from servant API descriptions
5License: BSD3
5License: BSD3
@@ -27,19 +27,19 @@ library
27 base >= 4.8 && < 5,
27 base >= 4.8 && < 5,
28 bytestring >= 0.10 && < 0.11,
28 bytestring >= 0.10 && < 0.11,
29 case-insensitive >= 1.2.0.4 && < 1.3,
29 case-insensitive >= 1.2.0.4 && < 1.3,
30− containers >= 0.5.6 && < 0.6,
30+ containers >= 0.5.6 && < 0.7,
31 data-default >= 0.5 && < 0.8,
31 data-default >= 0.5 && < 0.8,
32 exceptions >= 0.8 && < 0.11,
32 exceptions >= 0.8 && < 0.11,
33 ghcjs-dom >= 0.2 && < 0.10,
33 ghcjs-dom >= 0.2 && < 0.10,
34− http-api-data >= 0.3.6 && < 0.4,
34+ http-api-data >= 0.3.6 && < 0.5,
35− http-media >= 0.6 && < 0.8,
35+ http-media >= 0.6 && < 0.9,
36 jsaddle >= 0.8 && < 0.10,
36 jsaddle >= 0.8 && < 0.10,
37 mtl >= 2.2.1 && < 2.3,
37 mtl >= 2.2.1 && < 2.3,
38 network-uri >= 2.6 && < 2.7,
38 network-uri >= 2.6 && < 2.7,
39− reflex >= 0.5 && < 0.7,
39+ reflex >= 0.5 && < 0.9,
40− reflex-dom-core >= 0.4 && < 0.6,
40+ reflex-dom-core >= 0.6 && < 0.7,
41 safe >= 0.3.9 && < 0.4,
41 safe >= 0.3.9 && < 0.4,
42− servant >= 0.8 && < 0.15,
42+ servant >= 0.16 && < 0.18,
43 servant-auth >= 0.2.1 && < 0.4,
43 servant-auth >= 0.2.1 && < 0.4,
44 string-conversions >= 0.4 && < 0.5,
44 string-conversions >= 0.4 && < 0.5,
45 text >= 1.2 && < 1.3,
45 text >= 1.2 && < 1.3,
@@ -54,7 +54,16 @@ executable example
54 buildable: True
54 buildable: True
55 else
55 else
56 buildable: False
56 buildable: False
57− build-depends: aeson, reflex, servant-reflex, base, scientific, servant, reflex-dom-core, text
57+ build-depends:
58+ aeson,
59+ reflex,
60+ servant-reflex,
61+ base,
62+ scientific,
63+ servant,
64+ reflex-dom,
65+ reflex-dom-core,
66+ text
58 default-language: Haskell2010
67 default-language: Haskell2010
59 main-is: Example.hs
68 main-is: Example.hs
60 other-modules: API
69 other-modules: API
src/Servant/Common/BaseUrl.hs+4−5
@@ -85,15 +85,14 @@ baseUrlWidget = elClass "div" "base-url" $ do
85 where pathWidget :: m (Dynamic t BaseUrl)
85 where pathWidget :: m (Dynamic t BaseUrl)
86 pathWidget = do
86 pathWidget = do
87 text "Url base path"
87 text "Url base path"
88− t <- textInput (def {_textInputConfig_attributes =
88+ t <- inputElement def
89− constDyn ("placeholder" =: "/a/b")})
90 return $ BasePath <$> value t
89 return $ BasePath <$> value t
91 fullUrlWidget :: m (Dynamic t BaseUrl)
90 fullUrlWidget :: m (Dynamic t BaseUrl)
92 fullUrlWidget = do
91 fullUrlWidget = do
93 schm <- dropdown Https (constDyn $ Https =: "https" <> Http =: "http") def
92 schm <- dropdown Https (constDyn $ Https =: "https" <> Http =: "http") def
94− srv <- textInput def {_textInputConfig_attributes = constDyn $ "placeholder" =: "example.com"}
93+ srv <- inputElement def
95 text ":"
94 text ":"
96− prt <- textInput def { _textInputConfig_attributes = constDyn $ "placeholder" =: "80"}
95+ prt <- inputElement def
97 port :: Dynamic t Int <- holdDyn 80 (fmapMaybe (readMaybe . T.unpack) $ updated (value prt))
96 port :: Dynamic t Int <- holdDyn 80 (fmapMaybe (readMaybe . T.unpack) $ updated (value prt))
98− path <- textInput def { _textInputConfig_attributes = constDyn $ "placeholder" =: "a/b" }
97+ path <- inputElement def
99 return $ BaseFullUrl <$> value schm <*> value srv <*> port <*> value path
98 return $ BaseFullUrl <$> value schm <*> value srv <*> port <*> value path
src/Servant/Common/Req.hs+4−3
@@ -19,6 +19,7 @@ import Control.Monad.IO.Class (MonadIO, liftIO)
19import Data.Bifunctor (first)
19import Data.Bifunctor (first)
20import qualified Data.ByteString.Builder as Builder
20import qualified Data.ByteString.Builder as Builder
21import qualified Data.ByteString.Lazy.Char8 as BL
21import qualified Data.ByteString.Lazy.Char8 as BL
22+import Data.ByteString (ByteString)
22import qualified Data.Map as Map
23import qualified Data.Map as Map
23import Data.Maybe (catMaybes, fromMaybe)
24import Data.Maybe (catMaybes, fromMaybe)
24import Data.Functor.Compose
25import Data.Functor.Compose
@@ -244,7 +245,7 @@ reqToReflexRequest reqMeth reqHost req =
244 , _xhrRequestConfig_user = Nothing
245 , _xhrRequestConfig_user = Nothing
245 , _xhrRequestConfig_password = Nothing
246 , _xhrRequestConfig_password = Nothing
246 , _xhrRequestConfig_responseType = Just XhrResponseType_ArrayBuffer
247 , _xhrRequestConfig_responseType = Just XhrResponseType_ArrayBuffer
247− , _xhrRequestConfig_sendData = ""
248+ , _xhrRequestConfig_sendData = mempty
248 , _xhrRequestConfig_withCredentials = False
249 , _xhrRequestConfig_withCredentials = False
249 }
250 }
250 Just rBody -> liftA2 mkConfigBody xhrHeaders rBody
251 Just rBody -> liftA2 mkConfigBody xhrHeaders rBody
@@ -335,9 +336,9 @@ performSomeRequestsAsync' opts newXhr req = performEventAsync $ ffor req $ \hrs
335
336
336
337
337
338
338−type XhrPayload = T.Text
339+type XhrPayload = ByteString
339bytesToPayload :: BL.ByteString -> XhrPayload
340bytesToPayload :: BL.ByteString -> XhrPayload
340−bytesToPayload = TE.decodeUtf8 . BL.toStrict
341+bytesToPayload = BL.toStrict
341
342
342
343
343performRequestsCT
344performRequestsCT
src/Servant/Reflex.hs+42−23
@@ -39,34 +39,36 @@ module Servant.Reflex
39
39
40------------------------------------------------------------------------------
40------------------------------------------------------------------------------
41import Control.Applicative
41import Control.Applicative
42−import Data.Monoid ((<>))
43−import qualified Data.Set as Set
44−import qualified Data.Text.Encoding as E
45−import Data.CaseInsensitive (mk)
42+import qualified Data.CaseInsensitive as CI
46import Data.Functor.Identity
43import Data.Functor.Identity
47−import Data.Proxy (Proxy (..))
48import qualified Data.Map as Map
44import qualified Data.Map as Map
45+import Data.Monoid ((<>))
46+import Data.Proxy (Proxy (..))
47+import qualified Data.Set as Set
49import Data.Text (Text)
48import Data.Text (Text)
50import qualified Data.Text as T
49import qualified Data.Text as T
50+import qualified Data.Text.Encoding as E
51import GHC.Exts (Constraint)
51import GHC.Exts (Constraint)
52import GHC.TypeLits (KnownSymbol, symbolVal)
52import GHC.TypeLits (KnownSymbol, symbolVal)
53−import Servant.API ((:<|>)(..),(:>), BasicAuth,
53+import Servant.API ((:<|>) (..), (:>), BasicAuth,
54− BasicAuthData, BuildHeadersTo(..),
54+ BasicAuthData, BuildHeadersTo (..),
55− Capture, contentType, Header,
55+ Capture, Header, Headers (..),
56− Headers(..), HttpVersion, IsSecure,
56+ HttpVersion, IsSecure,
57− MimeRender(..), MimeUnrender,
57+ MimeRender (..), MimeUnrender,
58 NoContent, QueryFlag, QueryParam,
58 NoContent, QueryFlag, QueryParam,
59− QueryParams, Raw, ReflectMethod(..),
59+ QueryParams, Raw, ReflectMethod (..),
60 RemoteHost, ReqBody,
60 RemoteHost, ReqBody,
61− ToHttpApiData(..), Vault, Verb)
61+ ToHttpApiData (..), Vault, Verb,
62+ contentType)
63+import Servant.API.Description (Summary)
62import qualified Servant.Auth as Auth
64import qualified Servant.Auth as Auth
63
65
64import Reflex.Dom.Core (Dynamic, Event, Reflex,
66import Reflex.Dom.Core (Dynamic, Event, Reflex,
65− XhrRequest(..),
67+ XhrRequest (..), XhrResponse (..),
66− XhrResponseHeaders(..),
68+ XhrResponseHeaders (..),
67− XhrResponse(..), attachPromptlyDynWith, constDyn, ffor, fmapMaybe,
69+ attachPromptlyDynWith, constDyn, ffor,
70+ fmapMaybe, leftmost,
68− leftmost, performRequestsAsync,
71+ performRequestsAsync)
69− )
70------------------------------------------------------------------------------
72------------------------------------------------------------------------------
71import Servant.Common.BaseUrl (BaseUrl(..), Scheme(..), baseUrlWidget,
73import Servant.Common.BaseUrl (BaseUrl(..), Scheme(..), baseUrlWidget,
72 showBaseUrl,
74 showBaseUrl,
@@ -101,7 +103,7 @@ import Servant.Common.Req (ClientOptions(..),
101-- >
103-- >
102-- > getAllBooks :: Event t l -> m (Event t (l, ReqResult [Book]))
104-- > getAllBooks :: Event t l -> m (Event t (l, ReqResult [Book]))
103-- > postNewBook :: Dynamic t (Maybe Book) -> Event t l
105-- > postNewBook :: Dynamic t (Maybe Book) -> Event t l
104−-- -> m (Event t (l, ReqResult Book)))
106+-- > -> m (Event t (l, ReqResult Book)))
105-- > (getAllBooks :<|> postNewBook) = client myApi host
107-- > (getAllBooks :<|> postNewBook) = client myApi host
106-- > where host = constDyn $ BaseUrl Http "localhost" 8080
108-- > where host = constDyn $ BaseUrl Http "localhost" 8080
107client
109client
@@ -226,22 +228,26 @@ instance {-# OVERLAPPING #-}
226
228
227toHeaders :: BuildHeadersTo ls => ReqResult tag a -> ReqResult tag (Headers ls a)
229toHeaders :: BuildHeadersTo ls => ReqResult tag a -> ReqResult tag (Headers ls a)
228toHeaders r =
230toHeaders r =
229− let toBS = E.encodeUtf8
230− hdrs = maybe []
231+ let hdrs = maybe []
231− (\xhr -> fmap (\(h,v) -> (mk (toBS h), toBS v))
232+ (\xhr -> fmap (\(h,v) -> (CI.map E.encodeUtf8 h, E.encodeUtf8 v))
232 (Map.toList $ _xhrResponse_headers xhr))
233 (Map.toList $ _xhrResponse_headers xhr))
233 (response r)
234 (response r)
234 in ffor r $ \a -> Headers {getResponse = a ,getHeadersHList = buildHeadersTo hdrs}
235 in ffor r $ \a -> Headers {getResponse = a ,getHeadersHList = buildHeadersTo hdrs}
235
236
237+
236class BuildHeaderKeysTo hs where
238class BuildHeaderKeysTo hs where
237− buildHeaderKeysTo :: Proxy hs -> [T.Text]
239+ buildHeaderKeysTo :: Proxy hs -> [CI.CI T.Text]
238
240
239instance {-# OVERLAPPABLE #-} BuildHeaderKeysTo '[]
241instance {-# OVERLAPPABLE #-} BuildHeaderKeysTo '[]
240 where buildHeaderKeysTo _ = []
242 where buildHeaderKeysTo _ = []
241
243
242instance {-# OVERLAPPABLE #-} (BuildHeaderKeysTo xs, KnownSymbol h)
244instance {-# OVERLAPPABLE #-} (BuildHeaderKeysTo xs, KnownSymbol h)
243 => BuildHeaderKeysTo ((Header h v) ': xs) where
245 => BuildHeaderKeysTo ((Header h v) ': xs) where
246+ buildHeaderKeysTo _ =
247+ let
248+ thisKey = CI.mk $ T.pack (symbolVal (Proxy :: Proxy h))
244− buildHeaderKeysTo _ = T.pack (symbolVal (Proxy :: Proxy h)) : buildHeaderKeysTo (Proxy :: Proxy xs)
249+ in thisKey : buildHeaderKeysTo (Proxy :: Proxy xs)
250+
245
251
246-- HEADERS Verb (Content) --
252-- HEADERS Verb (Content) --
247-- Headers combinator not treated in fully general case,
253-- Headers combinator not treated in fully general case,
@@ -323,6 +329,19 @@ instance HasClient t m sublayout tag
323 clientWithRouteAndResultHandler Proxy =
329 clientWithRouteAndResultHandler Proxy =
324 clientWithRouteAndResultHandler (Proxy :: Proxy sublayout)
330 clientWithRouteAndResultHandler (Proxy :: Proxy sublayout)
325
331
332+-- | Using a 'Summary' combinator in your API doesn't affect the client
333+-- functions.
334+instance (HasClient t m sublayout tag, KnownSymbol sym)
335+ => HasClient t m (Summary sym :> sublayout) tag where
336+
337+ type Client t m (Summary sym :> sublayout) tag =
338+ Client t m sublayout tag
339+
340+ clientWithRouteAndResultHandler Proxy =
341+ clientWithRouteAndResultHandler (Proxy :: Proxy sublayout)
342+
343+
344+
326
345
327-- | If you use a 'QueryParam' in one of your endpoints in your API,
346-- | If you use a 'QueryParam' in one of your endpoints in your API,
328-- the corresponding querying function will automatically take
347-- the corresponding querying function will automatically take
src/Servant/Reflex/Multi.hs+35−22
@@ -37,28 +37,30 @@ module Servant.Reflex.Multi (
37 ) where
37 ) where
38
38
39------------------------------------------------------------------------------
39------------------------------------------------------------------------------
40−import Control.Applicative (liftA2)
40+import Control.Applicative (liftA2)
41−import Data.Functor.Compose (Compose (..), getCompose)
41+import Data.Functor.Compose (Compose (..), getCompose)
42−import Data.Proxy (Proxy (..))
42+import Data.Proxy (Proxy (..))
43−import qualified Data.Set as Set
43+import qualified Data.Set as Set
44−import Data.Text (Text)
44+import Data.Text (Text)
45−import qualified Data.Text as T
45+import qualified Data.Text as T
46−import qualified Data.Text.Encoding as E
46+import qualified Data.Text.Encoding as E
47−import GHC.TypeLits (KnownSymbol, symbolVal)
47+import GHC.TypeLits (KnownSymbol, symbolVal)
48−import Servant.API ((:<|>) (..), (:>), BasicAuth,
48+import Servant.API ((:<|>) (..), (:>), BasicAuth,
49− BasicAuthData, BuildHeadersTo (..),
49+ BasicAuthData, BuildHeadersTo (..),
50− Capture, Header, Headers (..),
50+ Capture, Header, Headers (..),
51− HttpVersion, IsSecure, MimeRender (..),
51+ HttpVersion, IsSecure,
52+ MimeRender (..), MimeUnrender,
52− MimeUnrender, NoContent, QueryFlag,
53+ NoContent, QueryFlag, QueryParam,
53− QueryParam, QueryParams, Raw,
54+ QueryParams, Raw, ReflectMethod (..),
54− ReflectMethod (..), RemoteHost,
55+ RemoteHost, ReqBody,
55− ReqBody, ToHttpApiData (..), Vault,
56+ ToHttpApiData (..), Vault, Verb,
56− Verb, contentType)
57+ contentType)
57−
58+import Servant.API.Description (Summary)
59+
58−import Reflex.Dom.Core (Dynamic, Event, Reflex,
60+import Reflex.Dom.Core (Dynamic, Event, Reflex,
59− XhrRequest (..),
61+ XhrRequest (..),
60− XhrResponseHeaders (..),
62+ XhrResponseHeaders (..),
61− attachPromptlyDynWith, constDyn)
63+ attachPromptlyDynWith, constDyn)
62------------------------------------------------------------------------------
64------------------------------------------------------------------------------
63import Servant.Common.BaseUrl (BaseUrl (..), Scheme (..),
65import Servant.Common.BaseUrl (BaseUrl (..), Scheme (..),
64 SupportsServantReflex)
66 SupportsServantReflex)
@@ -240,6 +242,17 @@ instance HasClientMulti t m sublayout f tag
240 clientWithRouteMulti (Proxy :: Proxy sublayout) q f tag
242 clientWithRouteMulti (Proxy :: Proxy sublayout) q f tag
241
243
242
244
245+------------------------------------------------------------------------------
246+instance (HasClientMulti t m sublayout f tag, KnownSymbol sym)
247+ => HasClientMulti t m (Summary sym :> sublayout) f tag where
248+
249+ type ClientMulti t m (Summary sym :> sublayout) f tag =
250+ ClientMulti t m sublayout f tag
251+
252+ clientWithRouteMulti Proxy q f tag =
253+ clientWithRouteMulti (Proxy :: Proxy sublayout) q f tag
254+
255+
243------------------------------------------------------------------------------
256------------------------------------------------------------------------------
244instance (KnownSymbol sym,
257instance (KnownSymbol sym,
245 ToHttpApiData a,
258 ToHttpApiData a,
testserver/testserver.cabal+3−3
@@ -19,13 +19,13 @@ executable back
19 main-is: Main.hs
19 main-is: Main.hs
20 -- other-modules:
20 -- other-modules:
21 -- other-extensions:
21 -- other-extensions:
22− build-depends: aeson >= 0.9 && < 1.4
22+ build-depends: aeson >= 0.9 && < 1.5
23− , base >=4.8 && <4.12
23+ , base >=4.8 && < 5
24 , mtl
24 , mtl
25 , snap >= 1.0 && < 1.2
25 , snap >= 1.0 && < 1.2
26 , snap-server >= 1.0 && < 1.2
26 , snap-server >= 1.0 && < 1.2
27 , snap-core >= 1.0 && < 1.1
27 , snap-core >= 1.0 && < 1.1
28− , servant >= 0.8 && < 0.15
28+ , servant >= 0.16 && < 0.18
29 , servant-snap >= 0.8 && < 0.9
29 , servant-snap >= 0.8 && < 0.9
30 , text >= 1.0 && < 1.3
30 , text >= 1.0 && < 1.3
31 -- hs-source-dirs:
31 -- hs-source-dirs:
travis.nix+2
@@ -31,6 +31,7 @@ let
31 servant-snap = dontCheck ((import ./nix/servant-snap.nix {}) self super);
31 servant-snap = dontCheck ((import ./nix/servant-snap.nix {}) self super);
32 testdriver = self.callCabal2nix "testdriver" ./testdriver {};
32 testdriver = self.callCabal2nix "testdriver" ./testdriver {};
33 testserver = import nix/testserver.nix ghcjsPkgs.servant-reflex self super;
33 testserver = import nix/testserver.nix ghcjsPkgs.servant-reflex self super;
34+ servant-reflex = self.callPackage ./default.nix {};
34 };
35 };
35 };
36 };
36
37
@@ -47,6 +48,7 @@ in
47 inherit reflexPlatform ghcPkgs ghcjsPkgs;
48 inherit reflexPlatform ghcPkgs ghcjsPkgs;
48
49
49 build = ghcjsPkgs.servant-reflex;
50 build = ghcjsPkgs.servant-reflex;
51+ buildGhc = ghcPkgs.servant-reflex;
50 testserver = ghcPkgs.testserver;
52 testserver = ghcPkgs.testserver;
51 testdriver = ghcPkgs.testdriver;
53 testdriver = ghcPkgs.testdriver;
52 inherit testresults;
54 inherit testresults;