mirror of
https://github.com/ilyakooo0/roboservant.git
synced 2024-09-17 11:17:39 +03:00
Merge branch 'master' into servant-0.16.2
This commit is contained in:
commit
dcee0f31b3
@ -192,6 +192,18 @@ instance
|
||||
tagType (Argument (buildFrom @(captureType)))
|
||||
V.:& reifiedEndpointArguments @endpoint
|
||||
|
||||
-- caching for merge
|
||||
-- instance
|
||||
-- ( BuildFrom (IfLenient String mods captureType)
|
||||
-- , ToReifiedEndpoint endpoint) =>
|
||||
-- ToReifiedEndpoint (Capture' mods name captureType :> endpoint)
|
||||
-- where
|
||||
-- type EndpointArgs (Capture' mods name captureType :> endpoint) = IfLenient String mods captureType ': EndpointArgs endpoint
|
||||
-- type EndpointRes (Capture' mods name captureType :> endpoint) = EndpointRes endpoint
|
||||
-- reifiedEndpointArguments =
|
||||
-- tagType (Argument (buildFrom @(IfLenient String mods captureType)))
|
||||
-- V.:& reifiedEndpointArguments @endpoint
|
||||
|
||||
instance
|
||||
( BuildFrom (IfLenient String mods requestType)
|
||||
, ToReifiedEndpoint endpoint) =>
|
||||
|
@ -9,7 +9,14 @@ extra-deps:
|
||||
- dependent-sum-0.7.1.0
|
||||
- constraints-extras-0.3.0.2
|
||||
- dependent-map-0.4.0.0
|
||||
|
||||
- servant-0.16.2
|
||||
- servant-client-0.16.0.1
|
||||
- servant-client-core-0.16
|
||||
- servant-server-0.16.2
|
||||
|
||||
# cached for testing
|
||||
# - servant-0.18.2
|
||||
# - servant-client-0.18.2
|
||||
# - servant-client-core-0.18.2
|
||||
# - servant-server-0.18.2
|
||||
|
Loading…
Reference in New Issue
Block a user