Cachix.Types.Servant

Servant specific additions that could be upstreamed

Documentation

type Get302 (cts :: [*]) (hs :: [*]) = Verb GET 302 cts (Headers (Header "Location" Text ': hs) NoContent)

type Post302 (cts :: [*]) (hs :: [*]) = Verb POST 302 cts (Headers (Header "Location" Text ': hs) NoContent)

type Head = Verb HEAD 200 '[JSON] NoContent