Copyright | Dennis Gosnell 2017 |
---|---|
License | BSD3 |
Maintainer | Dennis Gosnell (cdep.illabout@gmail.com) |
Stability | experimental |
Portability | unknown |
Safe Haskell | None |
Language | Haskell2010 |
- class CreateRespBodiesFor list ctypes where
- createRespBodyFor :: forall e ctypes. (AllMimeRender ctypes (Envelope '[e] ()), ToSample e) => Proxy e -> Proxy ctypes -> [(Text, MediaType, ByteString)]
Documentation
class CreateRespBodiesFor list ctypes where Source #
Create samples for a given list
of types, under given ctypes
.
Additional instances of this class should not need to be created.
createRespBodiesFor :: Proxy list -> Proxy ctypes -> [(Text, MediaType, ByteString)] Source #
CreateRespBodiesFor k1 [k] ([] k) ctypes Source # | An empty list of types has no samples. |
(AllMimeRender ctypes (Envelope ((:) * e ([] *)) ()), CreateRespBodiesFor [*] [*] es ctypes, ToSample e) => CreateRespBodiesFor [*] [*] ((:) * e es) ctypes Source # | Create a response body for each of the error types. |
createRespBodyFor :: forall e ctypes. (AllMimeRender ctypes (Envelope '[e] ()), ToSample e) => Proxy e -> Proxy ctypes -> [(Text, MediaType, ByteString)] Source #
Create a sample for a given e
under given ctypes
.
Orphan instances
HasDocs * ((:>) k * (Throwing (Snoc * es e)) api) => HasDocs * ((:>) * * (Throwing es) ((:>) k * (Throws e) api)) Source # | When a |
(CreateRespBodiesFor [*] [*] es ctypes, HasDocs * (Verb * k1 method status ctypes (Envelope es a))) => HasDocs * ((:>) * * (Throwing es) (Verb * k1 method status ctypes a)) Source # | When |
HasDocs * ((:>) k * (Throwing ((:) * e ([] *))) api) => HasDocs * ((:>) k * (Throws e) api) Source # | |
ToSample a => ToSample (Envelope es a) Source # | We can generate a sample of an This doesn't need to worry about generating a sample of |