stream.extras: add print-flush, write-flush, etc.

locals-and-roots
Doug Coleman 2016-05-09 17:18:08 -07:00
parent 7f3adf3fb1
commit c1d78e87ff
2 changed files with 19 additions and 0 deletions

View File

@ -0,0 +1 @@
Doug Coleman

View File

@ -0,0 +1,18 @@
! Copyright (C) 2016 Doug Coleman.
! See http://factorcode.org/license.txt for BSD license.
USING: io kernel namespaces ;
IN: stream.extras
: stream-write1-flush ( str stream -- )
[ stream-write1 ] [ stream-flush ] bi ; inline
: stream-write-flush ( str stream -- )
[ stream-write ] [ stream-flush ] bi ; inline
: stream-print-flush ( str stream -- )
[ stream-print ] [ stream-flush ] bi ; inline
: write1-flush ( str -- ) output-stream get stream-write1-flush ; inline
: write-flush ( str -- ) output-stream get stream-write-flush ; inline
: print-flush ( str -- ) output-stream get stream-print-flush ; inline