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	204	October 26, 2021
DAML Contract Conversion into Haskell Questions daml , damlhub , sandbox , sdk	3	270	May 14, 2022
Rejig - a DAML import formatter General daml	6	640	June 30, 2022
For functional programming buffs: the Elm UI language, maybe good fit for DAML? General	11	855	August 18, 2021
Java JsonCodec -- how to convert from JsValue to Value Questions java	2	141	May 19, 2023

Does there exist a Haskell code-generator?

Related Topics