io

stdio / fs などの入出力にゅうしゅつりょく系統けいとうを category target の enum で束たばねる facade

目的もくてき

read target / write target data の共通きょうつう入口いりぐちを std facade 側がわに置おき、stdio / fs / 将来しょうらいの network / event を同おなじ形かたちで扱あつかえる土台どだいを作つくります。
streamio が個別こべつ stream handle を対象たいしょうにするのに対たいし、こちらは入出力にゅうしゅつりょく系統けいとうそのものを enum target で選えらぶ facade とします。
ReadStream / WriteStream を分わけ、読よめない target や書かけない target を compile error で弾はじけるようにします。

注意ちゅうい

現在げんざいは stdio と fs と in-memory text の最小さいしょう構成だけを実装じっそうしています。network / event は将来しょうらいの variant 追加ついかを想定そうていした設計せっけいです。
file read 失敗しっぱいの詳細しょうさい errno は現状げんじょう StdErrorKind::IoError へ丸まるめます。
ReadStream::Text "..." を使つかうと、文字列リテラルや in-memory text を stdin / fs と同おなじ read target 面めんで扱あつかえます。
raw binary は ReadStream::Bytes bytes で渡わたします。型付かたづき binary（u8 / u32 など）は暗黙あんもく再解釈せず、明示的めいじてきに byte buffer へ符号化ふごうかしてから渡わたす方針ほうしんです。

計算量けいさんりょう

各かく category backend の実装じっそうに依存いそんします。

TEST

#entry main
#target std
#import "std/io" as *
#import "core/result" as *
fn main <()*>i32> ():
    match write WriteStream::Stdio "io facade\n":
        Result::Ok out:
            match flush out:
                Result::Ok _:
                    0
                Result::Err _e:
                    1
        Result::Err _e:
            1

TargetWritable

category target へ書かき込こめる値あたいの能力のうりょく

TargetReadable

category target から読よみ出だせる値あたいの能力のうりょく

read

category target から byte 列れつを読よむ facade

目的もくてき

read ReadStream::Stdio や read ReadStream::Fs "a.txt" のように、媒体ばいたいの種類しゅるいではなく target enum 中心ちゅうしんで読よめるようにします。

実装じっそう

stdio は内部ないぶで StdinStream / StdoutStream を直接ちょくせつ使つかい、category facade 側がわへ low-level handle を漏もらしません。
fs は fs_read_to_bytes を呼よび、error は StdErrorKind::IoError へ正規化せいきかします。
ReadStream::Text は str を ByteBuf へ複製ふくせいして返かえします。

注意ちゅうい

file read の詳細しょうさい errno は保持ほじしません。
型引数かたひきすうまたは受うけ側がわの型注釈かたちゅうしゃくで返かえす型かたを決きめます。

計算量けいさんりょう

各かく backend に依存いそんします。

read

category target から byte 列れつや text を読よむ facade

write

category target へ byte 列れつや text を書かく facade

目的もくてき

write WriteStream::Stdio data と data |> write WriteStream::Stdio を 1 個この write へ集約しゅうやくし、公開面に型 suffix を残のこしません。

write

pipe 終端しゅうたんから category target へ byte 列れつや text を書かく overload

writeln

category target へ text とを続つづけて書かく facade

writeln

pipe 終端しゅうたんから category target へ text とを続つづけて書かく overload

flush

category target の保留中ほりゅうちゅう出力しゅつりょくを反映はんえいする

目的もくてき

flush WriteStream::Stdio / WriteStream::Stdio |> flush で category target 単位たんいの flush を扱あつかいます。

実装じっそう

現在げんざいの WriteStream::Stdio は StdoutStream の flush に委譲いじょうします。

close

category target を閉とじる

目的もくてき

close WriteStream::Stdio のように facade 側がわから終了しゅうりょうを揃そろえます。

注意ちゅうい

現在げんざいの stdout close は no-op です。