ReaderTとどちらかで動作する関数をどのように構成するのですか？

Question

以下の関数を1行で書き換えることはできますか？

action :: NewTenant -> AppM (Either TenantCreationError Tenant) 
action newTenant = (createTenant newTenant) >>= \case 
    Left x -> return $ Left x 
    Right y -> do 
    t <- activateTenant $ (y ^. key) 
    return $ Right t 

type AppM = ReaderT AppConfig IO 
createTenant :: NewTenant -> AppM (Either TenantCreationError Tenant) 
activateTenant :: TenantId -> AppM Tenant 

Answer 1

おそらく最良の方法は、あなたのAppMモナドでExceptTまたは類似を含めることになります。そして、あなたはcreateTenantとactivateTenantに新しい種類を提供します：

createTenant :: NewTenant -> AppM Tenant 
activateTenant :: TenantId -> AppM Tenant 

action :: NewTenant -> AppM Tenant 
action = activateTenant . view key <=< createTenant 

あなたは（activateTenant用）ExceptT（createTenant用）とliftで新しいモナドスタックに古い関数を変換することができます。何らかの理由でこのアプローチができない場合

、その後、あなたの代わりにあなたのコードが適切に読めなく作ることができます：

action = createTenant >=> either (return . Left) (\y -> Right <$> activateTenant (y ^. key)) 

OneをAppMモナドでExceptTを置くことの欠点は、あなたが区別する方法がありませんということです失敗することができるアクションとできないアクション。これがあなたにとって重要なら、あなたはカップルの選択肢があります。

1. ExcepTをそのインスタンスのためだけに使用します。あなたはそのままであるAppMを維持し、createTenantとactivateTenantの種類として-ですが、

   action newTenant = runExceptT $ do 
       y <- ExcepT (createTenant newTenant) 
       lift (activateTenant (y ^. key)) 
   

   またはその一行相当を記述します。

   action n = runExcepT (ExceptT (createTenant n) >>= lift . activateTenant . view key) 
   

2. その効果以上のあなたの行動が多型を確認します。あなたはまだAppMモナドでExceptTが含まれるであろうが、createTenantとactivateTenantの種類は、今あなたが、その後特にactionに単相タイプAppM Tenantを与えることができるだろう

   createTenant :: (MonadReader AppConfig m, MonadIO m, MonadThrow TenantCreationError m) 
         => NewTenant -> m Tenant 
   activateTenant :: (MonadReader AppConfig m, MonadIO m) 
          => TenantId -> m Tenant 
   
   action :: (MonadReader AppConfig m, MonadIO m, MonadThrow TenantCreationError m) 
        => NewTenant => m Tenant 
   action = activateTenant . view key <=< createTenant 
   

   だろう。 activateTenantのタイプからは、それが失敗しないことは明らかである。さらに、それはあなたが以前には言えなかったことを言う機会を与えるだろう。例えばnewTenantの場合は、IOを実行する必要はありません。そのタイプの制約からMonadIO mを削除することで指定できます。最も頻繁に使用されると予想される組み合わせのタイプシノニムを定義することによって、短いタイプのシグネチャを回復することができます。 （から[ `Data.Bifunctor`（https://hackage.haskell.org/package/bifunctors-3.2.0.1/docs/Data-Bifunctor.html）を使用してのコストで

   type ConfigIO m = (MonadReader AppConfig m, MonadIO m) 
   type Failable m = (ConfigIO m, MonadThrow TenantCreationError m) 
   createTenant :: Failable m => NewTenant -> m Tenant 
   activateTenant :: ConfigIO m => TenantId -> m Tenant