2023-05-01から1ヶ月間の記事一覧
unliftio-pool: Data.Pool generalized to MonadUnliftIO. unliftio-poolはresource-poolをMonadUnliftIOにgeneralizeしたバージョン。 resource-poolはその名の通りリソースプールの汎用実装。例えばデータベースコネクションなんかを蓄積しておいて、各ス…
unliftio-pool: Data.Pool generalized to MonadUnliftIO. unliftio-poolはresource-poolをMonadUnliftIOにgeneralizeしたバージョン。 resource-poolはその名の通りリソースプールの汎用実装。例えばデータベースコネクションなんかを蓄積しておいて、各ス…