Idris2Doc : HTTP.FormData

HTTP.FormData

(source)
Definitions
record FDPart : Type
  Totality: total
  Visibility: public export
  Constructor: 
FDP : Headers -> String -> ByteString -> FDPart

  Projections:
  
.content : FDPart -> ByteString
  
.headers : FDPart -> Headers
  
.name : FDPart -> String
.headers : FDPart -> Headers
  Totality: total
  Visibility: public export
headers : FDPart -> Headers
  Totality: total
  Visibility: public export
.name : FDPart -> String
  Totality: total
  Visibility: public export
name : FDPart -> String
  Totality: total
  Visibility: public export
.content : FDPart -> ByteString
  Totality: total
  Visibility: public export
content : FDPart -> ByteString
  Totality: total
  Visibility: public export
0 FormData : Type
  Totality: total
  Visibility: public export
multipart : ByteString -> ByteString -> FormData
  Totality: total
  Visibility: export