ごめんなさい質問がちょっと些細なようであれば...それは私にとってではない。 type SB i a = ReaderT (AlgRO i) (State (AlgState i)) a
も、ある、行儀モナド: は、私は喜んで、次のモナドを構成しています。 ReaderTはモナド変換子であり、StateはStateモナドであり、AlgROとAlgStateは、それぞれ可変と読取り専用の状態でパ
私はData.Binary.PutMモナドをモナドトランスに変更しようとしています。 : だから私は その後 newtype PutM a = Put { unPut :: Identity (PairS a) } に newtype PutM a = Put { unPut :: PairS a } からの定義をCHANGINによって開始されたが、もちろん私はリターンと>> =関数の実装を変更し
これは問題です。私は持っています: f :: MonadIO m => ReaderT FooBar m Answer;
f = (liftIO getArgs) >>= ...
私はこれを修正された引数で実行する必要があります。 mが不明であるため、私はすべてのmについてメートルに(WITHARGSの引数)を形質転換するために何らかの形で必要なので、私は単に mapReaderT (wit