Skip to content

Make ChainBackend a monad#2503

Open
locallycompact wants to merge 2 commits intomasterfrom
lc/chain-backend-monad
Open

Make ChainBackend a monad#2503
locallycompact wants to merge 2 commits intomasterfrom
lc/chain-backend-monad

Conversation

@locallycompact
Copy link
Contributor

No description provided.

Copy link
Contributor

@v0d1ch v0d1ch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I am not sure how much this improves the current situation. Perhaps we should also do another experiment where we just use a handle with needed functions instead of type class approach?

ChainBackend backend =>
backend ->
ChainBackend m =>
MonadIO m =>
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why do we still need MonadIO m here? Looks like it should work out without this constraint?

ChainBackend backend =>
backend ->
ChainBackend m =>
MonadIO m =>
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Same here.

forall backend.
ChainBackend backend =>
backend ->
forall backend r.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ugh.

backend ->
forall m.
ChainBackend m =>
MonadIO m =>
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Are these extra constraints needed?

-- starting another BF related test.
delayBF backend
action (getShelleyGenesisBlockTime shelleyGenesis) backend
-- TODO: Implement delay using the backend
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this a leftover or we actually need to implement it?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments