@@ -53,9 +53,6 @@ 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
56−instance HasStatus a => HasStatus (Headers hs a) where
57− type StatusOf (Headers hs a) = StatusOf a
59class HasStatuses (as :: [*]) where
56class HasStatuses (as :: [*]) where
60 type Statuses (as :: [*]) :: [Nat]
57 type Statuses (as :: [*]) :: [Nat]
61 statuses :: Proxy as -> [Status]
58 statuses :: Proxy as -> [Status]