2022-12-01から1ヶ月間の記事一覧

Haskell -- brick を使ってみる 5

brick と 私が開發してゐた kdbtl を組み合はせた kdbtlB コードは github に載せてゐる github.com appEvent のところだけ appEvent :: BrickEvent Name CustomEvent -> EventM Name St () appEvent e = case e of VtyEvent (V.EvKey V.KEsc []) -> halt Vt…

Haskell -- brick を使ってみる 4

なんか できてしまった・・・ {-# 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 (…

Haskell -- brickを使ってみる 3

今回の目標はーー ログ表示部分と エディタ部分を 1つづ つくり タイマーで 1秒ごとにログを表示していくもの をつくること {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TemplateHaskell #-} module Main(main) where import Lens.Micro ((^.)) import…

Haskell -- ちょっと Lens の お勉強 ++ vty って何 ++ ちょっと改良 ++ ちょっと實驗

brick モジュールを試してみてゐた Haskell -- brick を使ってみる - あしひきの Haskell -- brick を使ってみる 2 - あしひきの その中に どちらも makeLenses ''St といふ記述があり この Lens といふやつが 何かしてることは明らかだった なので ちょっと…

15時33分

まう 行く時間だ 曇りガラスの向かうから 真冬の太陽が優しく誘ふ 昨日心の中でした約束を 僕は破るよ お互ひ様だね これで 寒い風は きっと 温もりの幸せのためにあるんだ 夕日が照らす 雲は なんで あんなに きれいなんだらう いつもの道のりなのに こんな…

Haskell -- brick を使ってみる 2

今回試すのは CustomEventDemo.hs といふ brick のデモだ 前回と同様に stack を使って 走らせてみた CustomEventDemo コードの全貌は以下 {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE TemplateHaskell #-} module Main where import Lens.Micro ((^.)…

Haskell -- brick を使ってみる

Haskell でつくられたゲームが Haskell GameDev – に載ってゐた それぞれ 色々と面白いのだが Swarm – Haskell GameDev のやうな ターミナルアプリに魅かれ これに使はれてゐる brick といふライブラリを試してみたくなった github.com ドキュメント類も色々…