問題タブ [cdr]
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.
elm - Elm リストの先頭を更新する方法
私は自分がしていることを書く小さな時間追跡アプリケーションをプログラムしようとしていますが、それを記録するだけです。
ログへのエントリの追加を正常に実装しましたが、現在、最後のログエントリを期間で更新したいと考えています (たとえば、00:01 にプログラミングを開始したとき、現在は 00:20 であり、SO に関する質問を書き始めているため、そのログ エントリをリストに追加すると、リストの先頭に 19 分の期間が必要になるため、プログラミングに費やした時間がわかります)。
私はこのコードでそれをやろうとします:
問題はそれList.tail model.log
でありMaybe List LogEntry
、私はそれが欲しいですJust List LogEntry
。Just List LogEntry
頭もJust LogEntry
.
そこで何をしますか?別のブランチをネストしcase
て、1 つのブランチをアクセス不可としてマークしますか? これを行う方法にはいくつかのパターンがありますか?List a -> Maybe (a, List a)
または、同じで頭と尾を返すような関数Maybe
ですか?