Entries from 2019-01-01 to 1 year
モナド変換子を作ってみるやつの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.…