2022-12-15から1日間の記事一覧
なんか できてしまった・・・ {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TemplateHaskell #-} module Main(main) where import Lens.Micro ((^.)) import Lens.Micro.TH (makeLenses) import Lens.Micro.Mtl ((%=),zoom,use) import Control.Monad (…
今回の目標はーー ログ表示部分と エディタ部分を 1つづ つくり タイマーで 1秒ごとにログを表示していくもの をつくること {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TemplateHaskell #-} module Main(main) where import Lens.Micro ((^.)) import…
brick モジュールを試してみてゐた Haskell -- brick を使ってみる - あしひきの Haskell -- brick を使ってみる 2 - あしひきの その中に どちらも makeLenses ''St といふ記述があり この Lens といふやつが 何かしてることは明らかだった なので ちょっと…
まう 行く時間だ 曇りガラスの向かうから 真冬の太陽が優しく誘ふ 昨日心の中でした約束を 僕は破るよ お互ひ様だね これで 寒い風は きっと 温もりの幸せのためにあるんだ 夕日が照らす 雲は なんで あんなに きれいなんだらう いつもの道のりなのに こんな…