{"header":{"message":"Add instances for class Pretty for the types Budget, Rule and PosMoney","description":null,"timestamp":"2023-05-19T02:43:51.373324803Z","authors":[{}]},"hash":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC","authors":[{"login":"wgaffa","key":"Fh9V5Mu9d5zHhjimi3PXt2ZewZ6oA7hqNnt9bvGydN7N"}],"deps":{"hashes":[["BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC","Add instances for class Pretty for the types Budget, Rule and PosMoney"],["AA",null],["5FL4GFXIQJ3P7U5DD7VUEZHNZTTN7DERSUBQ64JZEPLU4PRX4K5QC","Formatting"],["4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC","Pretty print the budget"],["ZJ6BESB2ZX5KZWQRANKZFHPP64H3WQHF56PMFFMZIKVSIZSX3SXAC","Create a Budget type"],["BFH72ISNORLFYPNB5SKVOG36JUXY2NAYHQZ6SMQIUUG4PB4EKVLAC","Calculate a new budget"],["H5ZMKSRCKHPZZTZ6ITFKMDWSF25AIJZBEKX6SD77NBHW7ZFX3DSQC","Been playing around with type level stuff"]],"deps":["5FL4GFXIQJ3P7U5DD7VUEZHNZTTN7DERSUBQ64JZEPLU4PRX4K5QC","4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC"],"known":[]},"hunks":[{"Edit":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":6,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":205}],"down_context":[{"change":3,"pos":205}],"flag":"BLOCK","start":0,"end":35,"inode":{"change":3,"pos":39}}},"contents":[{"Add":{"text":"{-# LANGUAGE FlexibleInstances #-}","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:34"}}]}},{"Replacement":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":9,"ins":{"up_context":[{"change":3,"pos":225}],"down_context":[{"change":3,"pos":248}],"flag":"BLOCK","start":36,"end":47,"inode":{"change":3,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":225},"to":{"change":3,"start":225,"end":248},"introduced_by":3}],"inode":{"change":3,"pos":39}},"ins_contents":[{"Add":{"text":" ( rule","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:46"}}],"del_contents":[{"Del":{"text":" ( money","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:236"}},{"Del":{"text":" , rule","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:247"}}]}},{"Replacement":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":20,"ins":{"up_context":[{"change":3,"pos":375}],"down_context":[{"change":3,"pos":398}],"flag":"BLOCK","start":48,"end":92,"inode":{"change":3,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":375},"to":{"change":3,"start":375,"end":398},"introduced_by":3}],"inode":{"change":3,"pos":39}},"ins_contents":[{"Add":{"text":"import Budget (Budget, Category (..), Rule)","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:91"}}],"del_contents":[{"Del":{"text":"import Budget (Budget)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:397"}}]}},{"Edit":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":23,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":482}],"down_context":[{"change":3,"pos":482}],"flag":"BLOCK","start":93,"end":677,"inode":{"change":3,"pos":39}}},"contents":[{"Add":{"text":"","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:93"}},{"Add":{"text":"instance Pretty Category where","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:124"}},{"Add":{"text":" pretty cat = fill 8 $ viaShow cat <> \":\"","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:169"}},{"Add":{"text":"","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:170"}},{"Add":{"text":"instance (KnownNat x, KnownNat y, KnownNat z) => Pretty (Budget c '(x, y, z)) where","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:254"}},{"Add":{"text":" pretty budget = \"Budget\" <+> rule budget","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:299"}},{"Add":{"text":"","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:300"}},{"Add":{"text":"instance (KnownSymbol c) => Pretty (PosMoney c) where","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:354"}},{"Add":{"text":" pretty x = pretty currency <+> pretty value","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:402"}},{"Add":{"text":" where","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:414"}},{"Add":{"text":" currency = symbolVal x","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:445"}},{"Add":{"text":" value = unP. unPosMoney $ x","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:481"}},{"Add":{"text":"","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:482"}},{"Add":{"text":"instance (KnownNat x, KnownNat y, KnownNat z) => Pretty (Rule '(x, y, z)) where","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:562"}},{"Add":{"text":" pretty x = concatWith (surround \"/\") . map pretty $ [natVal (Proxy @x), natVal (Proxy @y), natVal (Proxy @z)]","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:676"}}]}},{"Replacement":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":42,"ins":{"up_context":[{"change":3,"pos":704}],"down_context":[{"change":3,"pos":961}],"flag":"BLOCK","start":678,"end":882,"inode":{"change":3,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":704},"to":{"change":3,"start":704,"end":961},"introduced_by":3}],"inode":{"change":3,"pos":39}},"ins_contents":[{"Add":{"text":" header = pretty budget","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:704"}},{"Add":{"text":" need = pretty Needs <+> pretty (Budget.needs budget)","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:761"}},{"Add":{"text":" want = pretty Wants <+> pretty (Budget.wants budget)","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:818"}},{"Add":{"text":" saving = pretty Savings <+> pretty (Budget.savings budget)","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:881"}}],"del_contents":[{"Del":{"text":" header = \"Budget with rule\" <+> rule budget","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:751"}},{"Del":{"text":" need = fill width \"Needs:\" <+> money (Budget.needs budget)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:814"}},{"Del":{"text":" want = fill width \"Wants:\" <+> money (Budget.wants budget)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:877"}},{"Del":{"text":" saving = fill width \"Savings:\" <+> money (Budget.savings budget)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:946"}},{"Del":{"text":" width = 8","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:960"}}]}},{"Replacement":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":47,"ins":{"up_context":[{"change":3,"pos":962}],"down_context":[{"change":3,"pos":1079}],"flag":"BLOCK","start":883,"end":1005,"inode":{"change":3,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":962},"to":{"change":3,"start":962,"end":1079},"introduced_by":3}],"inode":{"change":3,"pos":39}},"ins_contents":[{"Add":{"text":"rule :: forall a b c proxy (curr :: Symbol) ann. (KnownNat a, KnownNat b, KnownNat c) => proxy curr '(a, b, c) -> Doc ann","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:1004"}}],"del_contents":[{"Del":{"text":"rule :: forall a b c proxy (curr :: Symbol). (KnownNat a, KnownNat b, KnownNat c) => proxy curr '(a, b, c) -> Doc ()","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1078"}}]}},{"Edit":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":49,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1187},"to":{"change":3,"start":1187,"end":1367},"introduced_by":3}],"inode":{"change":3,"pos":39}}},"contents":[{"Del":{"text":"","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1187"}},{"Del":{"text":"money :: forall c. (KnownSymbol c) => PosMoney c -> Doc ()","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1246"}},{"Del":{"text":"money x = pretty currency <+> pretty value","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1289"}},{"Del":{"text":" where","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1297"}},{"Del":{"text":" value = unP . unPosMoney $ x","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1330"}},{"Del":{"text":" currency = symbolVal (Proxy @c)","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1366"}}]}},{"Edit":{"inode":{"change":5,"pos":198},"path":"lib/Budget.hs","line":11,"atom":{"NewVertex":{"up_context":[{"change":6,"pos":17}],"down_context":[{"change":2,"pos":324}],"flag":"BLOCK","start":1006,"end":1025,"inode":{"change":5,"pos":198}}},"contents":[{"Add":{"text":" Category (..),","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:1024"}}]}},{"Edit":{"inode":{"change":5,"pos":198},"path":"lib/Budget.hs","line":47,"atom":{"NewVertex":{"up_context":[{"change":5,"pos":675}],"down_context":[{"change":7,"pos":3876}],"flag":"BLOCK","start":1026,"end":1083,"inode":{"change":5,"pos":198}}},"contents":[{"Add":{"text":"data Category = Needs | Wants | Savings deriving (Show)","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:1081"}},{"Add":{"text":"","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:1082"}}]}}],"owner":"wgaffa","repo":"budget","token":"7RZkWLuMzMbUjUmGJuCf1iSme/oTxWMTxzvd5PoFFbI=","login":null}

…

Dependencies

Change contents

Review