How to change the type of Value to Integer? Or pass Value type as parameter to Bouds (between (parameter1 :: Value) and (parameter1 :: Value))?
2
-
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.– nauDec 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?– RobertDec 21, 2021 at 19:33
Add a comment
|