wgaffa/budget - Change HUYIJDOWWQLSKZUJ5LLC5YOFYBDXLP7T3SPQJIWKX5SLW5VDSMSAC

Now able to define the currency by the user instead of hard coded

Created by wgaffa on June 8, 2023

HUYIJDOWWQLSKZUJ5LLC5YOFYBDXLP7T3SPQJIWKX5SLW5VDSMSAC

Dependencies

In channels

main

Change contents

Deletion in lib/Money.hs at line 19 [3.1142]

B:BD[3.1536] → [3.1536:1612]

-- data SomePosMoney = forall c. KnownSymbol c => SomePosMoney (PosMoney c)

Replacement in lib/Money.hs at line 20 [3.1142]

B:BD[3.1636] → [4.100:166]

    SomePosMoney :: (KnownSymbol c) => PosMoney c -> SomePosMoney

[3.1636]

[3.1700]

    SomePosMoney :: SSymbol c -> PosMoney c -> SomePosMoney

Replacement in lib/Money.hs at line 22 [3.1142]

B:BD[3.1701] → [3.1701:1835]

-- is ^this equivalent to the below?
data SomePosMoney' :: Type where
    MkSomePosMoney' :: SSymbol s -> PosMoney s -> SomePosMoney'

[3.1701]

[3.1835]

fromPosMoney :: SSymbol s -> PosMoney s -> SomePosMoney
fromPosMoney = SomePosMoney

Replacement in lib/Money.hs at line 25 [3.1142]

B:BD[3.1836] → [3.1836:1924]

fromPosMoney :: SSymbol s -> PosMoney s -> SomePosMoney'
fromPosMoney = MkSomePosMoney'

[3.1836]

[3.1924]

fromPosMoney' :: (KnownSymbol s) => PosMoney s -> SomePosMoney
fromPosMoney' = SomePosMoney symbolSing

Deletion in lib/Money.hs at line 28 [3.1142]
B:BD[3.1925] → [4.167:231]
∅:D[4.231] → [3.1987:2031]
B:BD[3.1987] → [3.1987:2031]
```
fromPosMoney' :: (KnownSymbol s) => PosMoney s -> SomePosMoney'
fromPosMoney' = MkSomePosMoney' symbolSing
```

Deletion in lib/Money.hs at line 29 [3.1142]

B:BD[3.2079] → [3.2079:2299]

-- mkSomePosMoney currency amount = withSomeSSymbol currency $ \(ss :: SSymbol s) -> withKnownSymbol ss (mkSomeMoney @s amount)
-- mkSomePosMoney currency amount = withSomeSSymbol currency $ \ss -> mkSomeMoney ss amount

Replacement in lib/Money.hs at line 30 [3.1142]

B:BD[3.2332] → [3.2332:2448]

B:BD[3.2448] → [4.232:233]

∅:D[4.233] → [3.2448:2740]

B:BD[3.2448] → [3.2448:2740]

    withSomeSSymbol currency $ \(ss :: SSymbol s) ->
        withKnownSymbol ss (SomePosMoney @s (PosMoney amount))
-- mkSomePosMoney currency amount = withSomeSSymbol currency $ \ss -> withKnownSymbol ss (SomePosMoney (PosMoney amount))
-- mkSomeMoney :: forall (c :: Symbol). Pos -> SomePosMoney
-- mkSomeMoney :: forall c. KnownSymbol c => Pos -> SomePosMoney
-- mkSomeMoney = SomePosMoney @c . PosMoney

[3.2332]

[3.2740]

    withSomeSSymbol currency $ \(ss :: SSymbol s) -> SomePosMoney ss (PosMoney amount)

Deletion in lib/Money.hs at line 32 [3.1142]

B:BD[3.2741] → [3.2741:2897]

-- mkSomeMoney :: forall (c :: Symbol). SSymbol c -> Pos -> SomePosMoney
-- mkSomeMoney ss amount = withKnownSymbol ss $ SomePosMoney @c (PosMoney amount)

Replacement in lib/Money.hs at line 33 [3.1142]
B:BD[3.2935] → [3.2935:2978]
```
getCurrency (SomePosMoney m) = symbolVal m
```
[3.2935]
[3.2978]
```
getCurrency (SomePosMoney s _) = fromSSymbol s
```

Deletion in lib/Money.hs at line 35 [3.1142]

B:BD[3.2979] → [3.2979:3088]

B:BD[3.3088] → [4.234:235]

∅:D[4.235] → [3.3088:3221]

B:BD[3.3088] → [3.3088:3221]

getCurrency' :: SomePosMoney' -> String
getCurrency' (MkSomePosMoney' s m) = withKnownSymbol s $ symbolVal m
-- getCurrency (SomePosMoney SSymbol) = fromSSymbol $ symbolSing
-- mkMoney :: SomeSymbol -> Int -> Income c
-- mkMoney = undefined

Replacement in lib/Budget.hs at line 77 [5.198]

B:BD[2.2477] → [2.2477:2556]

    forall c n w s.
    (KnownSymbol c, KnownNat n, KnownNat w, KnownNat s) =>

[2.2477]

[2.2556]

    forall n w s.
    (KnownNat n, KnownNat w, KnownNat s) =>

Replacement in lib/Budget.hs at line 80 [5.198]
B:BD[2.2576] → [2.2576:2592]
```
    -> Income c
```
[2.2576]
[2.2592]
```
    -> SomePosMoney
```

Replacement in lib/Budget.hs at line 82 [5.198]

B:BD[2.2610] → [2.2610:2685]

calculateSomeBudget rule x = SomeBudget symbolSing rule (calculate rule x)

[2.2610]

[6.332]

calculateSomeBudget rule (SomePosMoney c x) = SomeBudget c rule (calculate rule x)

Replacement in app/Main.hs at line 46 [5.2303]
∅:D[2.2945] → [7.514:539]
B:BD[7.514] → [7.514:539]
```
    income <- mkIncome x
```
[2.2945]
[7.539]
```
    income <- mkIncome x curr
```

Replacement in app/Main.hs at line 57 [5.2303]

B:BD[8.717] → [9.750:898]

mkIncome :: Int -> App (PosMoney "USD")
mkIncome input = liftEither . mapLeft (const NegativeIncome) $ eitherPos input >>= return . PosMoney @"USD"

[8.717]

mkIncome :: Int -> String -> App (SomePosMoney)
mkIncome input currency = do
    pos <- liftEither . mapLeft (const NegativeIncome) $ eitherPos input
    return $ withSomeSSymbol currency $ \curr -> SomePosMoney curr (PosMoney pos)