git.iko.soy/servant
on ea87e97 help sign in
aaeee88
swap
0 ahead, 1 behind
changelog.d/1571−2
since splitsnapshots
unifiedsplit
@@ -5,6 +5,4 @@ description: {
5UVerb endpoints are now supported by servant-auth-server and can be used under the
5UVerb endpoints are now supported by servant-auth-server and can be used under the
6Auth combinator when writing servers. It is still unsupported by
6Auth combinator when writing servers. It is still unsupported by
7servant-auth-client.
7servant-auth-client.
8−
9−This PR also brings Headers support in UVerb responses
10}
8}
servant/src/Servant/API/UVerb.hs+3
@@ -53,6 +53,9 @@ statusOf = const (statusVal (Proxy :: Proxy (StatusOf a)))
53instance HasStatus NoContent where
53instance HasStatus NoContent where
54 type StatusOf NoContent = 204
54 type StatusOf NoContent = 204
55
55
56+instance HasStatus a => HasStatus (Headers hs a) where
57+ type StatusOf (Headers hs a) = StatusOf a
58+
56class HasStatuses (as :: [*]) where
59class HasStatuses (as :: [*]) where
57 type Statuses (as :: [*]) :: [Nat]
60 type Statuses (as :: [*]) :: [Nat]
58 statuses :: Proxy as -> [Status]
61 statuses :: Proxy as -> [Status]