I am a little surprised to find that STDIN is not an IOStream and that I cannot pass it to some code that handles the result of open()ing a file.
I also can't find any clear docs on what the difference between these things are, or how I convert STDIN into an IOStream. The docs mention Pipes but I'm not sure how those are connected either. Can anyone help? Am I missing something obvious (sorry!)? Thanks, Andrew
