Idris2Doc : JS.ByteString

JS.ByteString

(source)
Definitions
data ByteString : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI ByteString ByteString
  
ToFFI ByteString ByteString