wgaffa/deck-delta - Change KRHFSTCKOVHUYN6BHRRHWQAVBJLKIPQIV47R4HQ5HNEC7U3U7MDQC

uncheckedAdd implemented to add two PositiveNumber together

Created by wgaffa on March 27, 2024

KRHFSTCKOVHUYN6BHRRHWQAVBJLKIPQIV47R4HQ5HNEC7U3U7MDQC

Dependencies

In channels

main

Change contents

Insertion in src/Util.hs at line 6 [3.32]
[2.808]
[3.106]
```
    uncheckedAdd,
```
Insertion in src/Util.hs at line 17 [3.32]
[3.315]
[3.315]
```
import Refined.Unsafe
```

Insertion in src/Util.hs at line 48 [3.32]

[2.900]


uncheckedAdd :: PositiveNumber -> PositiveNumber -> PositiveNumber
uncheckedAdd a b = PositiveNumber . unsafeRefine $ toNumber a + toNumber b