問題タブ [haskell-pipes]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
haskell - 外部エクスポート関数への引数をパイプに渡す方法は?
私は
この関数を呼び出すたびに、その引数を haskell パイプ ライブラリから一連のパイプに渡したいと思います。
呼び出しの間に、最後の 10 回の呼び出しの引数の最小値と最大値をパイプに忘れさせたくありません。
どうすればいいですか？
haskell - pipes-attoparsec の型チェックの問題
pipes-attoparsec を試してみましたが、うまくいきませんでした。
比較的単純なコード (と思われるもの) では、Void と X の間に型の不一致があるようです。ライブラリで読んだことから（これはある時点で型の同義語になるということです）、型エラーを解釈する方法がわかりません。
テストコード:
これにより、次のエラーが発生します。
haskell - pipes-parse を使用してマップで残り物を保存する
spanと以外のケースで pipes-parse 3.0 がどのように機能するかを理解しようとしていますsplitAtが、うまく機能させる方法がわかりません。基本的な考え方は、私には同型性があり、すべての入力値をマップして type から type に変換したいということAですB。B次に、すべての残り物を からに戻したいと思いAます。でこれをどのように達成しpipes-parseますか?
比較のために、コードは次のようになりますconduit。
編集:明確にするために、上記のコードの出力は次のとおりです。
元のストリームのタイプは であることに注意してくださいA。最初の要素に変換しBてピークし、次の 3 つの要素を type としてA取得し、次の 3 つを としてB取得し、最後に残りを として取得しAます。
haskell - パイプで状態を使用するには?
type の関数がありますMap Int String -> Proxy () a () Void IO b。現在await、取得した値を使用して何でも実行し、自分自身を再呼び出しします。State (Map Int String)それを引数として渡すのではなく、使用するように変更したいので、使用するだけforeverで、すべてのブランチで再帰を覚えておく必要はありません。StateT別のモナドと組み合わせるために使用する必要があることはわかりましたが、その型シグネチャのどこに属しているか、または のような関数が必要かどうかStateがわかりません。aと a の両方である関数の正しい型は?StateTliftgetState (Map Int String)Proxy () a () Void IO b