How do I change the type of Value to Integer in Marlowe?

Or pass Value type as parameter to Bound (*between (parameter1 :: Value) and (parameter1 :: Value)*)?

  • Could you please describe what are you trying to do? There is a evalValue function in Semantics.hs which evaluates a Value expression to Integer.
    – nau
    Commented Dec 21, 2021 at 13:09
  • In brief: choiceId name party = ChoiceId name party, next step: payment name party = ChoiceValue (choiceId name party)... and value payment I want to convert to Integer... Thanks for the hint. How easy is it to use this function in this case?
    – Robert
    Commented Dec 21, 2021 at 19:33


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.