wgaffa/budget - Change O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC

Add a class to convert from a type into a Rule

Created by wgaffa on May 18, 2023

O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC

Dependencies

In channels

main

Change contents

Insertion in lib/Rule.hs at line 5 [3.32]

[3.154]

{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}

Insertion in lib/Rule.hs at line 12 [3.32]
[3.199]
[3.199]
```
    -- * Classes
    IntoRule (..),
```

Insertion in lib/Rule.hs at line 37 [3.32]

[3.586]


class IntoRule a t | a -> t where
    toRule :: a -> Rule t

Insertion in lib/Rule.hs at line 41 [3.32]

[3.587]

instance IntoRule (Rule t) t where
    toRule = id

Replacement in lib/PrettyPrint.hs at line 9 [4.39]
B:BD[4.225] → [2.36:47]
∅:D[2.47] → [4.248:265]
B:BD[4.248] → [4.248:265]
```
    ( rule
    , fromBudget
```
[4.225]
[4.265]
```
    ( Pretty (..)
```

Replacement in lib/PrettyPrint.hs at line 19 [4.39]

B:BD[4.375] → [2.48:92]

import Budget (Budget, Category (..), Rule)

[4.375]

[4.398]

import Budget (Budget, Category (..), Rule, IntoRule (..))

Replacement in lib/PrettyPrint.hs at line 26 [4.39]

B:BD[2.171] → [2.171:300]

instance (KnownNat x, KnownNat y, KnownNat z) => Pretty (Budget c '(x, y, z)) where
    pretty budget = "Budget" <+> rule budget

[2.171]

[2.300]

instance (KnownSymbol c, KnownNat x, KnownNat y, KnownNat z) => Pretty (Budget c '(x, y, z)) where
    pretty budget = concatWith (surround hardline) [header, need, want, saving]
      where
        header = "Budget" <+> pretty (toRule budget)
        need = pretty Needs <+> pretty (Budget.needs budget)
        want = pretty Wants <+> pretty (Budget.wants budget)
        saving = pretty Savings <+> pretty (Budget.savings budget)

Deletion in lib/PrettyPrint.hs at line 42 [4.39]

∅:D[2.677] → [4.482:704]

B:BD[4.482] → [4.482:704]

B:BD[4.704] → [2.678:882]


fromBudget :: forall curr a b c. (KnownSymbol curr, KnownNat a, KnownNat b, KnownNat c) => Budget curr '(a, b, c) -> Doc ()
fromBudget budget = header <> hardline <> need <> hardline <> want <> hardline <> saving
  where
    header = pretty budget
    need = pretty Needs <+> pretty (Budget.needs budget)
    want = pretty Wants <+> pretty (Budget.wants budget)
    saving = pretty Savings <+> pretty (Budget.savings budget)

Deletion in lib/PrettyPrint.hs at line 43 [4.39]

B:BD[4.962] → [2.883:1005]

∅:D[2.1005] → [4.1079:1187]

B:BD[4.1079] → [4.1079:1187]

rule :: forall a b c proxy (curr :: Symbol) ann. (KnownNat a, KnownNat b, KnownNat c) => proxy curr '(a, b, c) -> Doc ann
rule _ = concatWith (surround "/") . map pretty $ [natVal (Proxy @a), natVal (Proxy @b), natVal (Proxy @c)]

Insertion in lib/Budget.hs at line 7 [6.198]

[5.307]

[3.3403]

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}

Insertion in lib/Budget.hs at line 47 [6.198]

[6.617]

[3.3836]

instance (KnownNat x, KnownNat y, KnownNat z) => IntoRule (Budget c '(x, y, z)) '(x, y, z) where
    toRule _ = MkRule (Proxy @x) (Proxy @y) (Proxy @z)

Replacement in app/Main.hs at line 39 [6.2303]

B:BD[7.479] → [4.1472:1529]

        liftIO . print . PrettyPrint.fromBudget $ budget

[7.479]

[3.4582]

        liftIO . print . PrettyPrint.pretty $ budget