We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
keypool version: 0.4.7
Even when the state of the pool is PoolClosed a new resource can still be acquired. Should an exception be thrown at this case?
PoolClosed
Example:
val pool = KeyPool .Builder( (i: Int) => IO.ref(i), (r: Ref[IO, Int]) => IO.unit ) .build for { closedPool <- pool.use(kp => IO.pure(kp)) _ <- closedPool.take(1).use { ref => ref.get.flatMap(value => IO.println(s"created a new ref in the closed pool: $value")) } } yield ()
Output:
created a new ref in the closed pool: 1
The text was updated successfully, but these errors were encountered:
No branches or pull requests
keypool version: 0.4.7
Even when the state of the pool is
PoolClosed
a new resource can still be acquired.Should an exception be thrown at this case?
Example:
Output:
The text was updated successfully, but these errors were encountered: