sink shortcuts
authortimmy <timmy@timmy-desktop.(none)>
Thu, 18 Mar 2010 21:30:17 +0000 (17:30 -0400)
committertimmy <timmy@timmy-desktop.(none)>
Thu, 18 Mar 2010 21:30:17 +0000 (17:30 -0400)
src/core/stream.slate

index 4028a85..75e877f 100644 (file)
@@ -268,7 +268,7 @@ s@(WriteStream traits) ; c
   s
 ].
 
-source@(Stream traits) >> sink
+source@(Stream traits) >> sink@(WriteStream traits)
 "Write the contents from source to target one element at a time."
 [
   [source isAtEnd]
@@ -276,6 +276,9 @@ source@(Stream traits) >> sink
   sink
 ].
 
+source@(Stream traits) >> sink
+[source >> sink writer].
+
 sink@(Stream traits) << source
 [source >> sink].