System.UV.Pointer

Reexports

Definitions

toByteString : HasIO io => Ptr Bits8 -> Bits32 -> io ByteString

  Reads `n` bytes of data from the byte array in a `uv_buf_t`
  into an Idris-managed immutable `ByteString`

Totality: total
Visibility: export

bufToByteString : HasIO io => Ptr Buf -> Bits32 -> io ByteString

Totality: total
Visibility: export

toString : HasIO io => Ptr Bits8 -> Bits32 -> io String

  Reads `n` bytes of data from the byte array in a `uv_buf_t`
  into an Idris-managed string.

Totality: total
Visibility: export

fromByteString : HasIO io => ByteString -> io (Ptr Bits8)

  Allocates a byte array to hold the data in the given bytestring.

Totality: total
Visibility: export

fromString : HasIO io => String -> io (Ptr Bits8)

  Allocates a byte array to hold the data in the given bytestring.

Totality: total
Visibility: export