haskell - タイプ「PersistEntityBackend U」を「SqlBackend」と一致させることができませんでした

Answer 1

Answer 2

ghciに尋ねる:info Userと、適切なヒントが得られました。クラスのインスタンスが表示されます。Entity User直接使用するのは間違っていることがわかりました。これによりエンティティが作成されますが、によって生成されたすべてのクラスインスタンスがエンティティDatabase.Persist.TH.shareから欠落していると思われます。Bjartur が述べたように、冗長な制約も削除して、次のコードをコンパイルします。

sampleUser :: User
sampleUser = User
  { userName = "admin"
  , userEmail = "admin@test.com"
  }

type U = User

connectInfo :: MySQLConnectInfo
connectInfo = undefined

runAction :: (MonadUnliftIO m, IsPersistBackend r, BaseBackend r ~ SqlBackend) => MySQLConnectInfo -> ReaderT r (LoggingT m) a -> m a
runAction connectInfo action = runStdoutLoggingT $ withMySQLConn connectInfo $ \backend ->
  runReaderT action backend

insertUser :: (PersistRecordBackend U SqlBackend) => 
             U -> ReaderT SqlBackend (LoggingT IO) (Key U) 
insertUser = insert

doDBStuff :: IO ()
doDBStuff = do
  runAction connectInfo (runMigration migrateAll)
  runAction connectInfo (insertUser sampleUser) -- compile error fixed
  return ()