{"header":{"message":"Pretty print the budget","description":null,"timestamp":"2023-05-18T14:23:44.008648428Z","authors":[{}]},"hash":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC","authors":[{"login":"wgaffa","key":"Fh9V5Mu9d5zHhjimi3PXt2ZewZ6oA7hqNnt9bvGydN7N"}],"deps":{"hashes":[["4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC","Pretty print the budget"],["AA",null],["F3PSUKWXAFKSWPWD4OFGDMMOPGRZVLJWWHNWOHRDP677PZVFTRIQC","Refactor main to use Monad Transformers"],["H5ZMKSRCKHPZZTZ6ITFKMDWSF25AIJZBEKX6SD77NBHW7ZFX3DSQC","Been playing around with type level stuff"],["ZJ6BESB2ZX5KZWQRANKZFHPP64H3WQHF56PMFFMZIKVSIZSX3SXAC","Create a Budget type"],["BFH72ISNORLFYPNB5SKVOG36JUXY2NAYHQZ6SMQIUUG4PB4EKVLAC","Calculate a new budget"],["4YZYDSDVJFE7RB47LPOUIOQ3U5XBTSJ53UG4TY42VXZI7O3NX7AAC","Read income from user"]],"deps":["F3PSUKWXAFKSWPWD4OFGDMMOPGRZVLJWWHNWOHRDP677PZVFTRIQC"],"known":["ZJ6BESB2ZX5KZWQRANKZFHPP64H3WQHF56PMFFMZIKVSIZSX3SXAC","BFH72ISNORLFYPNB5SKVOG36JUXY2NAYHQZ6SMQIUUG4PB4EKVLAC","H5ZMKSRCKHPZZTZ6ITFKMDWSF25AIJZBEKX6SD77NBHW7ZFX3DSQC","4YZYDSDVJFE7RB47LPOUIOQ3U5XBTSJ53UG4TY42VXZI7O3NX7AAC"]},"hunks":[{"FileAdd":{"meta":{"basename":"PrettyPrint.hs","metadata":0},"context":[{"change":3,"pos":162}],"contents":[{"Add":{"text":"{-# LANGUAGE TypeApplications #-}","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:73"}},{"Add":{"text":"{-# LANGUAGE ScopedTypeVariables #-}","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:110"}},{"Add":{"text":"{-# LANGUAGE DataKinds #-}","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:137"}},{"Add":{"text":"{-# LANGUAGE OverloadedStrings #-}","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:172"}},{"Add":{"text":"{-# LANGUAGE KindSignatures #-}","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:204"}},{"Add":{"text":"","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:205"}},{"Add":{"text":"module PrettyPrint","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:224"}},{"Add":{"text":" ( money","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:236"}},{"Add":{"text":" , rule","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:247"}},{"Add":{"text":" , fromBudget","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:264"}},{"Add":{"text":" ) where","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:276"}},{"Add":{"text":"","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:277"}},{"Add":{"text":"import Data.Pos (unP)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:299"}},{"Add":{"text":"import Data.Proxy (Proxy (..))","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:330"}},{"Add":{"text":"","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:331"}},{"Add":{"text":"import GHC.TypeLits","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:351"}},{"Add":{"text":"","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:352"}},{"Add":{"text":"import Prettyprinter","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:373"}},{"Add":{"text":"","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:374"}},{"Add":{"text":"import Budget (Budget)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:397"}},{"Add":{"text":"import qualified Budget (needs, wants, savings)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:445"}},{"Add":{"text":"import Money (PosMoney, unPosMoney)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:481"}},{"Add":{"text":"","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:482"}},{"Add":{"text":"fromBudget :: forall curr a b c. (KnownSymbol curr, KnownNat a, KnownNat b, KnownNat c) => Budget curr '(a, b, c) -> Doc ()","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:606"}},{"Add":{"text":"fromBudget budget = header <> hardline <> need <> hardline <> want <> hardline <> saving","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:695"}},{"Add":{"text":" where","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:703"}},{"Add":{"text":" header = \"Budget with rule\" <+> rule budget","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:751"}},{"Add":{"text":" need = fill width \"Needs:\" <+> money (Budget.needs budget)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:814"}},{"Add":{"text":" want = fill width \"Wants:\" <+> money (Budget.wants budget)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:877"}},{"Add":{"text":" saving = fill width \"Savings:\" <+> money (Budget.savings budget)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:946"}},{"Add":{"text":" width = 8","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:960"}},{"Add":{"text":"","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:961"}},{"Add":{"text":"rule :: forall a b c proxy (curr :: Symbol). (KnownNat a, KnownNat b, KnownNat c) => proxy curr '(a, b, c) -> Doc ()","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1078"}},{"Add":{"text":"rule _ = concatWith (surround \"/\") . map pretty $ [natVal (Proxy @a), natVal (Proxy @b), natVal (Proxy @c)]","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1186"}},{"Add":{"text":"","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1187"}},{"Add":{"text":"money :: forall c. (KnownSymbol c) => PosMoney c -> Doc ()","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1246"}},{"Add":{"text":"money x = pretty currency <+> pretty value","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1289"}},{"Add":{"text":" where","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1297"}},{"Add":{"text":" value = unP . unPosMoney $ x","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1330"}},{"Add":{"text":" currency = symbolVal (Proxy @c)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1366"}}]}},{"Replacement":{"inode":{"change":3,"pos":936},"path":"budget.cabal","line":26,"ins":{"up_context":[{"change":3,"pos":4283}],"down_context":[{"change":3,"pos":1447}],"flag":"BLOCK","start":1368,"end":1402,"inode":{"change":3,"pos":936}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4283},"to":{"change":3,"start":4283,"end":4296},"introduced_by":3}],"inode":{"change":3,"pos":936}},"ins_contents":[{"Add":{"text":" Rule,","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1381"}},{"Add":{"text":" PrettyPrint","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1401"}}],"del_contents":[{"Del":{"text":" Rule","pos":"H5ZMKSRCKHPZZTZ6ITFKMDWSF25AIJZBEKX6SD77NBHW7ZFX3DSQC:4295"}}]}},{"Edit":{"inode":{"change":3,"pos":936},"path":"budget.cabal","line":29,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":1448}],"down_context":[{"change":3,"pos":1448}],"flag":"BLOCK","start":1403,"end":1404,"inode":{"change":3,"pos":936}}},"contents":[{"Add":{"text":"","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1403"}}]}},{"Replacement":{"inode":{"change":3,"pos":936},"path":"budget.cabal","line":38,"ins":{"up_context":[{"change":3,"pos":989}],"down_context":[{"change":3,"pos":1001}],"flag":"BLOCK","start":1405,"end":1441,"inode":{"change":3,"pos":936}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":989},"to":{"change":3,"start":989,"end":1001},"introduced_by":3}],"inode":{"change":3,"pos":936}},"ins_contents":[{"Add":{"text":" mtl,","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1417"}},{"Add":{"text":" prettyprinter,","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1440"}}],"del_contents":[{"Del":{"text":" mtl","pos":"BFH72ISNORLFYPNB5SKVOG36JUXY2NAYHQZ6SMQIUUG4PB4EKVLAC:1000"}}]}},{"Edit":{"inode":{"change":3,"pos":2303},"path":"app/Main.hs","line":19,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":4504}],"down_context":[{"change":3,"pos":4504}],"flag":"BLOCK","start":1442,"end":1471,"inode":{"change":3,"pos":2303}}},"contents":[{"Add":{"text":"import qualified PrettyPrint","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1470"}}]}},{"Replacement":{"inode":{"change":3,"pos":2303},"path":"app/Main.hs","line":39,"ins":{"up_context":[{"change":2,"pos":479}],"down_context":[{"change":3,"pos":4582}],"flag":"BLOCK","start":1472,"end":1529,"inode":{"change":3,"pos":2303}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":479},"to":{"change":2,"start":479,"end":509},"introduced_by":2}],"inode":{"change":3,"pos":2303}},"ins_contents":[{"Add":{"text":" liftIO . print . PrettyPrint.fromBudget $ budget","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1528"}}],"del_contents":[{"Del":{"text":" liftIO $ print budget","pos":"F3PSUKWXAFKSWPWD4OFGDMMOPGRZVLJWWHNWOHRDP677PZVFTRIQC:508"}}]}}],"owner":"wgaffa","repo":"budget","token":"PQWF49S4uWrZ6XtaK42F4rsxeZwJBO/7MVOm5jktNCs=","login":null}

…

Dependencies

Change contents

Review