-
Notifications
You must be signed in to change notification settings - Fork 88
New issue
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
Concurrently combinator & Handler in MonadCatch #2298
Conversation
In second patch I simplified |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, this is in principle fine I think.
A couple minor requests below.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM.
The commit messages still talk about the "M" variants, but not a big deal.
Yes, and the branch name too :D; I'll clean the commits, |
Remove `HandlerM` from `MonadCatch` class and provide use `Handler` directly, without `mkHandler`.
bors merge |
As by cardano-ledger-specs' PR #2298, the code that was isolated previously is being moved to the ledger side. This commit updates the ledger-spec dependency commit to the head of that branch and removes the relevant code. Co-authored-by: EncodePanda <[email protected]>
As by cardano-ledger-specs' PR #2298, the code that was isolated previously is being moved to the ledger side. This commit updates the ledger-spec dependency commit to the head of that branch and removes the relevant code. Co-authored-by: EncodePanda <[email protected]>
As by cardano-ledger-specs' PR #2298, the code that was isolated previously is being moved to the ledger side. This commit updates the ledger-spec dependency commit to the head of that branch and removes the relevant code. Co-authored-by: EncodePanda <[email protected]>
As by cardano-ledger-specs' PR #2298, the code that was isolated previously is being moved to the ledger side. This commit updates the ledger-spec dependency commit to the head of that branch and removes the relevant code. Co-authored-by: EncodePanda <[email protected]>
As by cardano-ledger-specs' PR #2298, the code that was isolated previously is being moved to the ledger side. This commit updates the ledger-spec dependency commit to the head of that branch and removes the relevant code. Co-authored-by: EncodePanda <[email protected]>
3177: Remove ShelleyLedgerExamples and update cardano-ledger-specs r=Jasagredo a=Jasagredo As by [cardano-ledger-specs' PR #2298](IntersectMBO/cardano-ledger#2298), the code that was isolated previously is being moved to the ledger side. This PR updates the ledger-spec dependency commit to the head of that branch and removes the relevant code. As a side change, `StandardCrypto` was defined in `Ouroboros.Consensus.Shelley.Protocol.Crypto` as well as in `Cardano.Ledger.Crypto`, with the same verbatim declaration. Now that we generate data on ledger's side we are using their `StandardCrypto` definition which is incompatible with ours, so in order to fix type errors, our definition was removed in favor of theirs. This shouldn't mean any real change because as stated in their code (see the comment removed in their [PR#2298](IntersectMBO/cardano-ledger#2298), both definitions MUST have been (and remain) equal at all times. Note that the two first commits are related to this PR and the last one updates ledger-specs and plutus to the correct commits, and fixes imports. This addresses #3139 Co-authored-by: Javier Sagredo <[email protected]>
2298: Concurrently combinator & Handler in MonadCatch r=coot a=coot `ConcurentlyM`, like `Concurently` but for `MonadAsync`. It's not part of the `MonadAsync` which makes it simpler to implement and use, but we're not reusing `Concurrently` for `MonadAsync`'s `IO` instance. Co-authored-by: Marcin Szamotulski <[email protected]>
ConcurentlyM
, likeConcurently
but forMonadAsync
. It's not part of theMonadAsync
which makes it simpler to implement and use, but we're not reusingConcurrently
forMonadAsync
'sIO
instance.