Does there exist a Haskell code-generator?

Luciano · December 25, 2023, 8:33am

i.e. a conversion from LF Values into Haskell data types?

Ideally one that would be compatible with

All the examples in that module have the conversion hand-coded, for instance here:

digital-asset/daml/blob/af7545ff46e290dbbb8ccc4d4792c31945efc539/language-support/hs/bindings/examples/nim/src/DA/Ledger/App/Nim/Domain.hs#L64-L70


      
          instance IsLedgerValue Move where
              toValue Move{pileNum,howMany} =
                  VRecord(Record{rid=Nothing,
                                 fields=[
                                        RecordField "" (toValue pileNum),
                                        RecordField "" (toValue howMany)]})
              fromValue = undefined -- we never receive moves from the ledger

and it made me wonder whether there exists a code generator in (or outside) the main Daml repo, or whether one has existed in the past.

I also noticed the typescript code-generator is written in Haskell, so it wouldn’t be a far throw from there to hs.

Gary_Verhaegen · January 2, 2024, 11:12am

I don’t think there is one and as far as I’m aware we are not looking to expand the list of generated languages at the moment.

@Bas_van_Gijzel or @Remy can probably give you a more definite answer.

Topic		Replies	Views
Did you create Daml using Template Haskell? Questions	4	237	October 26, 2021
DAML Contract Conversion into Haskell Questions daml , damlhub , sandbox , sdk	3	308	May 14, 2022
Draft Version Of Template Generator Complete on Github Pages Tutorials and Guides daml , template , bash , generator	5	751	September 20, 2021
Converting JSON to generated JavaScript class instance Questions	3	204	February 2, 2023
Java JsonCodec -- how to convert from JsValue to Value Questions java	3	181	May 9, 2024

Does there exist a Haskell code-generator?

Related topics