haskell - ネットワイヤーネットワークを取得して、個別のインスタントセットでの実行をシミュレートするにはどうすればよいですか？

Question

私はネットワイヤーの使用を検討してきましたが、実際の時間に依存しない一連のワイヤーを介してインスタントをポンピングする方法がわかりません。つまり、タイプのワイヤーとタイプWire e m a bの変数を[(Time, a)]取得して、タイプの何かを取り戻す方法はあり[b]ますか？例のすべては、リアルタイムクロックでインスタントを生成することを目的としているようです。

Answer 1

Control.Wire.Sessionモジュールを調べてください。そこには、独自の時計を作成するためのユーティリティがあります。Session特に、データ型とgenSessionヘルパー関数を調べる必要があります。これは時計についてです。2番目の問題は入力です。どの入力が1つの瞬間に渡されるかは、メインループの作成者によって決定されます。

実際、入力と組み合わせた時間のリストしかない場合は、時間デルタを計算してから、セッション機構全体をバイパスしてstepWire（ではなく）直接使用することをお勧めします。stepSession唯一の制約は、時間は常にタイプであるということですDouble。例：

loop :: [(Time, a)] -> Time -> Wire e m a b -> m [Either e b]
loop [] _ _ = return []
loop ((t, x):ins) t' w' = do
    (mx, w) <- stepWire w' (t - t') x
    fmap (mx:) (loop ins t w)

テストされていないコードですが、動作するはずです。2番目の引数は開始時刻です。