Skip to content

Add entities/accounts/v0 namespace#5699

Open
joaosreis wants to merge 3 commits intoIntersectMBO:masterfrom
tweag:joaosreis/canonical-accounts
Open

Add entities/accounts/v0 namespace#5699
joaosreis wants to merge 3 commits intoIntersectMBO:masterfrom
tweag:joaosreis/canonical-accounts

Conversation

@joaosreis
Copy link
Copy Markdown
Contributor

@joaosreis joaosreis commented Apr 1, 2026

Description

Checklist

  • Commits in meaningful sequence and with useful messages.
  • Tests added or updated when needed.
  • CHANGELOG.md files updated for packages with externally visible changes.
    NOTE: New section is never added with the code changes. (See RELEASING.md).
  • Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
    versioning process.
  • Version bounds in .cabal files updated when necessary.
    NOTE: If bounds change in a cabal file, that package itself must have a version increase. (See RELEASING.md).
  • Code formatted (use scripts/fourmolize.sh).
  • Cabal files formatted (use scripts/cabal-format.sh).
  • CDDL files are up to date (use scripts/gen-cddl.sh)
  • hie.yaml updated (use scripts/gen-hie.sh).
  • Self-reviewed the diff.

& ppDRepActivityL .~ dRepActivity
& ppMinFeeRefScriptCostPerByteL .~ minFeeRefScriptCostPerByte
& ppProtocolVersionL .~ protVer
& ppTxFeePerByteL
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Could you please fix the formatting. I suspect you are either using an old version of fourmolu or it is incorrectly setup.

@joaosreis joaosreis force-pushed the joaosreis/canonical-accounts branch 6 times, most recently from dc33c07 to 3c62159 Compare April 7, 2026 19:09
@joaosreis joaosreis marked this pull request as ready for review April 7, 2026 19:10
@joaosreis joaosreis requested a review from a team as a code owner April 7, 2026 19:10
@joaosreis joaosreis requested a review from lehins April 7, 2026 19:10
@joaosreis joaosreis force-pushed the joaosreis/canonical-accounts branch from 3c62159 to aa24066 Compare April 8, 2026 08:25
Copy link
Copy Markdown
Collaborator

@lehins lehins left a comment

Choose a reason for hiding this comment

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

This is one of those types that needs a custom Canonical represnetation

EntitiesAccountsIn <$> unpackM

newtype EntitiesAccountsOut era
= EntitiesAccountsOut (AccountState era)
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

This type requires a custom representation and type family from Ledger State cannot be reused, because:

  • it is highly likely to change in the next era
  • there are no guarantees that it will not change even in a current era, since it is not a type family that is used on chain.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Added the CanonicalAccountState type and related instances.

@joaosreis joaosreis force-pushed the joaosreis/canonical-accounts branch from aa24066 to f934b9b Compare April 8, 2026 14:49
@joaosreis joaosreis requested a review from lehins April 8, 2026 14:51
@joaosreis joaosreis force-pushed the joaosreis/canonical-accounts branch 2 times, most recently from a19be25 to 1900527 Compare April 15, 2026 09:43
@joaosreis joaosreis force-pushed the joaosreis/canonical-accounts branch from 1900527 to 2ff46e1 Compare April 16, 2026 13:31
@joaosreis joaosreis force-pushed the joaosreis/canonical-accounts branch from 2ff46e1 to d267190 Compare April 16, 2026 16:06
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