<p>How do I change the type of <code>Value</code> to <code>Integer</code> in Marlowe?</p>
<p>Or pass <code>Value</code> type as parameter to <code>Bound (*between (parameter1 :: Value) and  (parameter1 :: Value)*)</code>?</p>

CC BY-SA 4.0
2021-12-21T13:09:52.997Z
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
CC BY-SA 4.0
2021-12-21T19:33:12.350Z
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
<marlowe><types>
How to convert Value to Integer in Marlowe?
# How to convert Value to Integer in Marlowe?

(Asked by: username_0 on 2021-12-19)

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)*)`?

**Tags:** marlowe, types
> **Comments:**
> **username_1**: 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.  
> **username_0**: 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?  

---

## 0 answers

