3ceb425 · roboservant · git.iko.soy

git.iko.soy/roboservant

Merge pull request #14 from mstksg/servant-0.16.2-foldlenient

match ServantT type family for Capture'

commit3ceb425799ccb62151a27246f3eab5dd4ba96644 authorMark Wotton <mwotton@gmail.com> dateTue 15 Dec 2020, 13:55 (6 years ago) parent6d07ce6 1c18a92

1 file changed+3−3

unifiedsplit

src/Roboservant/Types/ReifiedApi.hs+3−3

@@ -182,14 +182,14 @@ instance

182182

183183-- this isn't happy in 0.16.2

184184instance

185− ( BuildFrom (IfLenient String mods captureType)

185+ ( BuildFrom captureType

186186 , ToReifiedEndpoint endpoint) =>

187187 ToReifiedEndpoint (Capture' mods name captureType :> endpoint)

188188 where

189− type EndpointArgs (Capture' mods name captureType :> endpoint) = IfLenient String mods captureType ': EndpointArgs endpoint

189+ type EndpointArgs (Capture' mods name captureType :> endpoint) = captureType ': EndpointArgs endpoint

190190 type EndpointRes (Capture' mods name captureType :> endpoint) = EndpointRes endpoint

191191 reifiedEndpointArguments =

192− tagType (Argument (buildFrom @(IfLenient String mods captureType)))

192+ tagType (Argument (buildFrom @(captureType)))

193193 V.:& reifiedEndpointArguments @endpoint

194194

195195instance