Làm cách nào để kết hợp Handles trong Haskell?

Question

Tôi muốn có một cái gì đó như bash's 2>&1 chuyển hướng trong Haskell kết hợp stdout và stderr từ một quá trình vào một đơn Handle. Nó sẽ là tốt đẹp để làm điều này trực tiếp với System.Process.createProcess hoặc một chức năng thư viện tương tự, đặc biệt nếu nó được sử dụng cùng một ngữ nghĩa như chuyển hướng bash w.r.t. xen kẽ đầu vào từ tay cầm.

Sự linh hoạt được cung cấp bởi createProcess dường như hứa hẹn ban đầu: người ta có thể chỉ định một Handle để sử dụng cho các file descriptor tiêu chuẩn, do cùng Handle có thể được trao cho cả stdout và stderr. Tuy nhiên, đối số Handle phải tồn tại trước cuộc gọi. Không có khả năng để tạo ra một Handle từ không khí mỏng trước khi gọi chức năng, tôi không chắc chắn vấn đề có thể được giải quyết theo cách này.

Chỉnh sửa: Giải pháp cần phải hoạt động bất kể nền tảng.

Answer 1

Từ here:

import GHC.IO.Handle -- yes, it's GHC-specific 
import System.IO 

main = do 
    stdout_excl <- hDuplicate stdout 
    hDuplicateTo stderr stdout -- redirect stdout to stderr 

    putStrLn "Hello stderr" -- will print to stderr 
    hPutStrLn stdout_excl "Hello stdout" -- prints to stdout 

Answer 2

Bắt tay của bạn trên một Handle không phải là quá khó: System.IO cung cấp hằng stdin,stdout,stderr :: Handle và chức năng withFile :: FilePath -> IOMode -> (Handle -> IO r) -> IO r và openFile :: FilePath -> IOMode -> IO Handle.

Cách khác, bạn có thể yêu cầu các đường ống mới từ createProcess và đặt bản thân làm dịch vụ chuyển tiếp (đọc từ số mới stdout và stderr xử lý con của bạn và gửi đến bất cứ nơi nào bạn muốn).

Answer 3

Vì Windows hỗ trợ pipe (3) nguyên bản và thư viện IO của GHC uses CRT file descriptors internally on Windows, có thể đưa ra giải pháp hoạt động trên cả Windows và * nix ít nhất. Thuật toán cơ bản là:

• Gọi pipe. Điều này cung cấp cho bạn hai bộ mô tả tệp mà bạn có thể chuyển đổi thành Handles với fdToHandle'.
• Gọi createProcess với stdout và stderr cả hai được đặt thành đầu ghi của đường ống.
• Đọc kết quả đầu ra của trẻ từ đầu đọc của ống.

Module System.Posix.Internals, trong đó xuất khẩu c_pipe, được ẩn theo mặc định, nhưng bạn có thể biên dịch một phiên bản tùy chỉnh của base cho phép bạn truy cập vào nó (tip: sử dụng cabal-dev). Ngoài ra, bạn có thể truy cập pipe qua FFI. NB: giải pháp này là GHC cụ thể.