You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Based on this discussion the Error type has had a few changes:
The bespoke Equals operators have been removed. Meaning that all Error types use the built-in record structural equality.
Is<E>() where E : Exception, the test for an exceptional error contained within the Error, has been renamed to HasException<E>().
IsType<E>() where E : Error has been added to test if this contains an E. It's like this is E, but because this might contain many-errors, it checks for the existence of any Error of type E.
The Catch extensions and the @catch combinators have been updated:
To fix some obvious bugs!
To flip the operands when matching, so the predicate argument is on the left-hand-side where appropriate.
Added support for error-codes in Catch (previously missing)
Previous releases:
I did some minor releases that didn't get release notes, so here's a quick summary:
notFollowedBy in Parsec reports the correct position
Explicit (useAsync) and implicit (via use) support for IAsyncDisposable resources
SomeRun overrides for Eff weren't disposing of the EnvIO properly
Fin.Apply matching fix
LiftM support for StreamT:
Previously we could Lift(IAsyncEnumerable<A>) or Lift(IEnumerable<A>) to return a StreamT<M, A>
Now we can LiftM(IAsyncEnumerable<K<M, A>>) and LiftM(IEnumerable<K<M, A>>) to also return a StreamT<M, A>
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
Based on this discussion the
Error
type has had a few changes:Equals
operators have been removed. Meaning that allError
types use the built-in record structural equality.Is<E>() where E : Exception
, the test for an exceptional error contained within theError
, has been renamed toHasException<E>()
.IsType<E>() where E : Error
has been added to test ifthis
contains anE
. It's likethis is E
, but becausethis
might contain many-errors, it checks for the existence of anyError
of typeE
.The
Catch
extensions and the@catch
combinators have been updated:Catch
(previously missing)Previous releases:
I did some minor releases that didn't get release notes, so here's a quick summary:
notFollowedBy
inParsec
reports the correct positionuseAsync
) and implicit (viause
) support forIAsyncDisposable
resourcesRun
overrides forEff
weren't disposing of theEnvIO
properlyFin.Apply
matching fixLiftM
support forStreamT
:Lift(IAsyncEnumerable<A>)
orLift(IEnumerable<A>)
to return aStreamT<M, A>
LiftM(IAsyncEnumerable<K<M, A>>)
andLiftM(IEnumerable<K<M, A>>)
to also return aStreamT<M, A>
This discussion was created from the release Error and catching updates.
Beta Was this translation helpful? Give feedback.
All reactions