How to change the type of Value to Integer? Or pass Value type as parameter to Bouds (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
    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
    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.