runtime/basis/Posix/IO/write.c

   1 #include "platform.h"
   2
   3 static inline C_Errno_t(C_SSize_t)
   4 Posix_IO_write (C_Fd_t fd, Pointer b,
   5                 C_Int_t i, C_Size_t s) {
   6   return write (fd, (void *) ((char *) b + i), s);
   7 }
   8
   9 C_Errno_t(C_SSize_t)
  10 Posix_IO_writeChar8Arr (C_Fd_t fd, Array(Char8_t) b,
  11                         C_Int_t i, C_Size_t s) {
  12   return Posix_IO_write (fd, (Pointer)b, i, s);
  13 }
  14 C_Errno_t(C_SSize_t)
  15 Posix_IO_writeChar8Vec (C_Fd_t fd, Vector(Char8_t) b,
  16                         C_Int_t i, C_Size_t s) {
  17   return Posix_IO_write (fd, (Pointer)b, i, s);
  18 }
  19 C_Errno_t(C_SSize_t)
  20 Posix_IO_writeWord8Arr (C_Fd_t fd, Array(Word8_t) b,
  21                         C_Int_t i, C_Size_t s) {
  22   return Posix_IO_write (fd, (Pointer)b, i, s);
  23 }
  24 C_Errno_t(C_SSize_t)
  25 Posix_IO_writeWord8Vec (C_Fd_t fd, Vector(Word8_t) b,
  26                         C_Int_t i, C_Size_t s) {
  27   return Posix_IO_write (fd, (Pointer)b, i, s);
  28 }