2
警告をオフにする方法はありますか？ WithFilterが存在するのはなぜですか、なぜこのモナドが存在するのかを完全に理解していますが、この特定のモナドはモナド型の値のコレクションではなく個々の関数を構成するために使用され、WithFilterは意味のある改善はしません。クラスの単純なインターフェースを混乱させるクラス。Warning :(filter）メソッドを使用して、MoldPiece [PressureData（Int、prettyprint.YesNo）]に `withFilter 'メソッドがまだ存在しません
まあ、実用的には「十分に良い」と思います。それは、私の審美的感覚を乱し、そうでなければきれいにし、最小限のコードを傷つける。たぶん私はこの宣言を新しい基本特性Monadに移し、実際のモナド型がモナドクラスの型パラメータと違うものを記述するための自己記述的な方法として、後者が存在するかのように仮定します。誰も他の宣言的な解決策を思いつきません私はあなたの答えを最高のものとして受け入れます。 – Turin