Planning: LambdaBuffers Cardano Conway upgrades

[bladyjoker]

Conway upgrade brings a lot of updates to plutus-ledger-api which means LambdaBuffers need to sync up, specifically of concern for us is https://github.com/IntersectMBO/plutus/tree/master/plutus-ledger-api/src/PlutusLedgerApi/V3

LB Schema

• Introduce all the PLA V3 types introduced by Conway and their PlutusData/Ord/Json instance declarations in libs/lbf-plutus/Plutus/V3.lbf

Haskell codegen

• Bump to latest plutus-ledger-api with Plutus.V3
• Update lambda-buffers-codegen/data/haskell-plutus.json with the new type mappings
• Update testing testsuites/lbt-plutus/lbt-plutus-haskell
  • Update and create new golden reference set
  • Update generators
  • Update internal roundtrip tests for Eq/Json/PlutusData

Plutarch codegen

• Bump everything to Plutarch 1.3.0 (has Plutus.V3 types)
• Update lambda-buffers-codegendata/plutarch-plutus.json with the new mappings
• Update testing testsuites/lbt-plutus/lbt-plutus-plutarch
  • Update PlutusData golden tests
  • Update internal roundtrip tests for Eq/PlutusData

PlutusTx codegen

• Bump everything to latest rebranded PlutusTx
• Update lambda-buffers-codegendata/plutustx-plutus.json with the new mappings
• Update testing testsuites/lbt-plutus/lbt-plutus-plutustx
  • Update PlutusData golden tests
  • Update internal roundtrip tests for Eq/PlutusData

Rust codegen

• Add new Plutus.V3 types to https://github.com/mlabs-haskell/plutus-ledger-api-rust/
• Bump everything to new pla-rust version with Plutus.V3 types
• Update lambda-buffers-codegendata/rust-plutus.json with the new mappings
• Update testing testsuites/lbt-plutus/lbt-plutus-rust
  • Update PlutusData/Json golden tests
  • Update internal roundtrip tests for Eq/Json/PlutusData

Typescript codegen

• Add new Plutus.V3 types to https://github.com/mlabs-haskell/plutus-ledger-api-typescript/
• Bump everything to new pla-typescript version with Plutus.V3 types
• Update lambda-buffers-codegendata/typescript-plutus.json with the new mappings
• Update testing testsuites/lbt-plutus/lbt-plutus-typescript
  • Update PlutusData/Json golden tests
  • Update internal roundtrip tests for Eq/Json/PlutusData

Purescript codegen

• Migrate everything to https://github.com/mlabs-haskell/purescript-cardano-types that has all the Plutus.V3 types and remove CTL as a dependency
• Implement LB Json instances for ALL Plutus types
• Update lambda-buffers-codegendata/purescript-plutus.json with the new mappings
• Update testing testsuites/lbt-plutus/lbt-plutus-purescript
  • Update PlutusData/Json golden tests
  • Update internal roundtrip tests for Eq/Json/PlutusData

Upgrade dependants

• Demo https://github.com/mlabs-haskell/lambda-buffers-for-cardano
• Client projects