This package adds resource management and exception handling to the 'pipes' ecosystem.
Notable features include:
/Resource Safety/: Guarantee finalization using 'finally', 'bracket' and more
/Exception Safety/: Even against asynchronous exceptions!
/Laziness/: Only acquire resources when you need them
/Promptness/: Finalize resources early when you are done with them
/Native Exception Handling/: Catch and resume from exceptions inside pipes
/No Buy-in/: Mix resource-safe pipes with unmanaged pipes using 'hoist'.
Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
---|---|---|---|---|---|
2.3.5-bp156.1.1 info | GA Release | 2024-03-05 | 15 SP6 |
|
|
2.3.3-bp155.2.14 info | GA Release | 2023-05-22 | 15 SP5 |
|
|
2.3.3-bp154.1.14 info | GA Release | 2022-05-09 | 15 SP4 |
|
|
2.2.5-bp150.2.3 info | GA Release | 2018-08-01 | 15 |
|
|
2.2.5-bp150.2.8 info | GA Release | 2018-07-31 | 15 |
|
|
2.2.5-bp150.2.6 info | GA Release | 2018-07-30 | 15 |
|
|