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 # | |
(AllMimeRender ctypes (Envelope ((:) * e ([] *)) ()), CreateRespBodiesFor [*] [*] es ctypes, ToSample e) => CreateRespBodiesFor [*] [*] ((:) * e es) ctypes Source # | |
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 # | |
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 |