Entries from 2019-01-04 to 1 day
モナド変換子を作ってみるやつのMaybeT、写経してみたけどうまく動かなくて四苦八苦した結果のメモ書き {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, UndecidableInstances #-} module MaybeT where import Control.Monad.Trans import Control.…
モナド変換子を作ってみるやつのMaybeT、写経してみたけどうまく動かなくて四苦八苦した結果のメモ書き {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, UndecidableInstances #-} module MaybeT where import Control.Monad.Trans import Control.…