fumiexcel https://blog.hatena.ne.jp/fumiexcel/ モナドとわたしとコモナド https://fumieval.hatenablog.com/ とても簡単。Free(T)に「続きがない」ということを表すFunctorをはめるだけ。 ex1はある文字列を入力すると終了するプログラム。 import Prelude hiding (break) import Control.Monad.Trans.Free import Control.Monad.Trans import Control.Monad data Zero a = Zero deriving (Show, Eq, Ord) instance Functor Zero where fmap _ _ = Zero type BreakT = FreeT Zero break :… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffumieval.hatenablog.com%2Fentry%2F20121111%2F1352622590" title="Freeモナド実用の旅(1): ループからのBreak - モナドとわたしとコモナド" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-11-11 17:29:50 rich https://fumieval.hatenablog.com/entry/20121111/1352622590 1.0 100%