
  0 | module HTTP.API.Client.Method
  1 | 
  2 | import HTTP.API.Client.Interface
  3 | 
  4 | %default total
  5 | 
  6 | public export
  7 | Receive ReqMethod where
  8 |   RecConstraint _ = ()
  9 |   RecTypes _ = []
 10 |   recs     _ = []
 11 |   adjRequest m _ r = {method := m.method} r
 12 | 
 13 | public export
 14 | GetResponse ReqMethod where
 15 |   RespEncodings m = m.formats
 16 |   RespTypes (M _ _ _ Nothing0) = []
 17 |   RespTypes (M _ _ _ $ Just0 t) = [t]
 18 |