{"header":{"message":"Add a class to convert from a type into a Rule","description":null,"timestamp":"2023-05-19T03:16:16.78938314Z","authors":[{}]},"hash":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC","authors":[{"login":"wgaffa","key":"Fh9V5Mu9d5zHhjimi3PXt2ZewZ6oA7hqNnt9bvGydN7N"}],"deps":{"hashes":[["O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC","Add a class to convert from a type into a Rule"],["AA",null],["BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC","Add instances for class Pretty for the types Budget, Rule and PosMoney"],["4YZYDSDVJFE7RB47LPOUIOQ3U5XBTSJ53UG4TY42VXZI7O3NX7AAC","Read income from user"],["F3PSUKWXAFKSWPWD4OFGDMMOPGRZVLJWWHNWOHRDP677PZVFTRIQC","Refactor main to use Monad Transformers"],["H5ZMKSRCKHPZZTZ6ITFKMDWSF25AIJZBEKX6SD77NBHW7ZFX3DSQC","Been playing around with type level stuff"],["4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC","Pretty print the budget"],["ZJ6BESB2ZX5KZWQRANKZFHPP64H3WQHF56PMFFMZIKVSIZSX3SXAC","Create a Budget type"],["5FL4GFXIQJ3P7U5DD7VUEZHNZTTN7DERSUBQ64JZEPLU4PRX4K5QC","Formatting"]],"deps":["BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC"],"known":["H5ZMKSRCKHPZZTZ6ITFKMDWSF25AIJZBEKX6SD77NBHW7ZFX3DSQC","4YZYDSDVJFE7RB47LPOUIOQ3U5XBTSJ53UG4TY42VXZI7O3NX7AAC","F3PSUKWXAFKSWPWD4OFGDMMOPGRZVLJWWHNWOHRDP677PZVFTRIQC","4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC"]},"hunks":[{"Edit":{"inode":{"change":3,"pos":32},"path":"lib/Rule.hs","line":5,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":154}],"down_context":[{"change":3,"pos":154}],"flag":"BLOCK","start":0,"end":114,"inode":{"change":3,"pos":32}}},"contents":[{"Add":{"text":"{-# LANGUAGE MultiParamTypeClasses #-}","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:38"}},{"Add":{"text":"{-# LANGUAGE FlexibleInstances #-}","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:73"}},{"Add":{"text":"{-# LANGUAGE FunctionalDependencies #-}","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:113"}}]}},{"Edit":{"inode":{"change":3,"pos":32},"path":"lib/Rule.hs","line":12,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":199}],"down_context":[{"change":3,"pos":199}],"flag":"BLOCK","start":115,"end":152,"inode":{"change":3,"pos":32}}},"contents":[{"Add":{"text":"","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:115"}},{"Add":{"text":" -- * Classes","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:132"}},{"Add":{"text":" IntoRule (..),","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:151"}}]}},{"Edit":{"inode":{"change":3,"pos":32},"path":"lib/Rule.hs","line":37,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":586}],"down_context":[{"change":3,"pos":586}],"flag":"BLOCK","start":153,"end":214,"inode":{"change":3,"pos":32}}},"contents":[{"Add":{"text":"","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:153"}},{"Add":{"text":"class IntoRule a t | a -> t where","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:187"}},{"Add":{"text":" toRule :: a -> Rule t","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:213"}}]}},{"Edit":{"inode":{"change":3,"pos":32},"path":"lib/Rule.hs","line":41,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":587}],"down_context":[{"change":3,"pos":587}],"flag":"BLOCK","start":215,"end":267,"inode":{"change":3,"pos":32}}},"contents":[{"Add":{"text":"instance IntoRule (Rule t) t where","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:249"}},{"Add":{"text":" toRule = id","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:265"}},{"Add":{"text":"","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:266"}}]}},{"Replacement":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":9,"ins":{"up_context":[{"change":3,"pos":225}],"down_context":[{"change":3,"pos":265}],"flag":"BLOCK","start":268,"end":286,"inode":{"change":3,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":225},"to":{"change":2,"start":36,"end":47},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":47},"to":{"change":3,"start":248,"end":265},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":248},"to":{"change":3,"start":248,"end":265},"introduced_by":3}],"inode":{"change":3,"pos":39}},"ins_contents":[{"Add":{"text":" ( Pretty (..)","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:285"}}],"del_contents":[{"Del":{"text":" ( rule","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:46"}},{"Del":{"text":" , fromBudget","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:264"}}]}},{"Replacement":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":19,"ins":{"up_context":[{"change":3,"pos":375}],"down_context":[{"change":3,"pos":398}],"flag":"BLOCK","start":287,"end":346,"inode":{"change":3,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":375},"to":{"change":2,"start":48,"end":92},"introduced_by":2}],"inode":{"change":3,"pos":39}},"ins_contents":[{"Add":{"text":"import Budget (Budget, Category (..), Rule, IntoRule (..))","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:345"}}],"del_contents":[{"Del":{"text":"import Budget (Budget, Category (..), Rule)","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:91"}}]}},{"Replacement":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":26,"ins":{"up_context":[{"change":2,"pos":171}],"down_context":[{"change":2,"pos":300}],"flag":"BLOCK","start":347,"end":780,"inode":{"change":3,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":171},"to":{"change":2,"start":171,"end":300},"introduced_by":2}],"inode":{"change":3,"pos":39}},"ins_contents":[{"Add":{"text":"instance (KnownSymbol c, KnownNat x, KnownNat y, KnownNat z) => Pretty (Budget c '(x, y, z)) where","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:445"}},{"Add":{"text":" pretty budget = concatWith (surround hardline) [header, need, want, saving]","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:525"}},{"Add":{"text":" where","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:537"}},{"Add":{"text":" header = \"Budget\" <+> pretty (toRule budget)","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:590"}},{"Add":{"text":" need = pretty Needs <+> pretty (Budget.needs budget)","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:651"}},{"Add":{"text":" want = pretty Wants <+> pretty (Budget.wants budget)","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:712"}},{"Add":{"text":" saving = pretty Savings <+> pretty (Budget.savings budget)","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:779"}}],"del_contents":[{"Del":{"text":"instance (KnownNat x, KnownNat y, KnownNat z) => Pretty (Budget c '(x, y, z)) where","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:254"}},{"Del":{"text":" pretty budget = \"Budget\" <+> rule budget","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:299"}}]}},{"Edit":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":42,"atom":{"EdgeMap":{"edges":[{"previous":"","flag":"DELETED","from":{"change":2,"pos":677},"to":{"change":3,"start":482,"end":704},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":482},"to":{"change":3,"start":482,"end":704},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":704},"to":{"change":2,"start":678,"end":882},"introduced_by":2}],"inode":{"change":3,"pos":39}}},"contents":[{"Del":{"text":"","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:482"}},{"Del":{"text":"fromBudget :: forall curr a b c. (KnownSymbol curr, KnownNat a, KnownNat b, KnownNat c) => Budget curr '(a, b, c) -> Doc ()","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:606"}},{"Del":{"text":"fromBudget budget = header <> hardline <> need <> hardline <> want <> hardline <> saving","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:695"}},{"Del":{"text":" where","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:703"}},{"Del":{"text":" header = pretty budget","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:704"}},{"Del":{"text":" need = pretty Needs <+> pretty (Budget.needs budget)","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:761"}},{"Del":{"text":" want = pretty Wants <+> pretty (Budget.wants budget)","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:818"}},{"Del":{"text":" saving = pretty Savings <+> pretty (Budget.savings budget)","pos":"BRJMDWYDEP5P765MXKA7UOM5YE6OSPUHQRY67AX6WJNGACQFRLHAC:881"}}]}},{"Edit":{"inode":{"change":3,"pos":39},"path":"lib/PrettyPrint.hs","line":43,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":962},"to":{"change":2,"start":883,"end":1005},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":2,"pos":1005},"to":{"change":3,"start":1079,"end":1187},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":1079},"to":{"change":3,"start":1079,"end":1187},"introduced_by":3}],"inode":{"change":3,"pos":39}}},"contents":[{"Del":{"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":{"text":"rule _ = concatWith (surround \"/\") . map pretty $ [natVal (Proxy @a), natVal (Proxy @b), natVal (Proxy @c)]","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1186"}}]}},{"Edit":{"inode":{"change":8,"pos":198},"path":"lib/Budget.hs","line":7,"atom":{"NewVertex":{"up_context":[{"change":9,"pos":307}],"down_context":[{"change":3,"pos":3403}],"flag":"BLOCK","start":781,"end":855,"inode":{"change":8,"pos":198}}},"contents":[{"Add":{"text":"{-# LANGUAGE FlexibleInstances #-}","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:815"}},{"Add":{"text":"{-# LANGUAGE MultiParamTypeClasses #-}","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:854"}}]}},{"Edit":{"inode":{"change":8,"pos":198},"path":"lib/Budget.hs","line":47,"atom":{"NewVertex":{"up_context":[{"change":8,"pos":617}],"down_context":[{"change":3,"pos":3836}],"flag":"BLOCK","start":856,"end":1009,"inode":{"change":8,"pos":198}}},"contents":[{"Add":{"text":"instance (KnownNat x, KnownNat y, KnownNat z) => IntoRule (Budget c '(x, y, z)) '(x, y, z) where","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:952"}},{"Add":{"text":" toRule _ = MkRule (Proxy @x) (Proxy @y) (Proxy @z)","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:1007"}},{"Add":{"text":"","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:1008"}}]}},{"Replacement":{"inode":{"change":8,"pos":2303},"path":"app/Main.hs","line":39,"ins":{"up_context":[{"change":3,"pos":479}],"down_context":[{"change":3,"pos":4582}],"flag":"BLOCK","start":1010,"end":1063,"inode":{"change":8,"pos":2303}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":479},"to":{"change":3,"start":1472,"end":1529},"introduced_by":3}],"inode":{"change":8,"pos":2303}},"ins_contents":[{"Add":{"text":" liftIO . print . PrettyPrint.pretty $ budget","pos":"O5WOFYXPZAH6Y7HUQ5E47LQAZFISCNODY5LFHUONA2Q6ZRLPTOHAC:1062"}}],"del_contents":[{"Del":{"text":" liftIO . print . PrettyPrint.fromBudget $ budget","pos":"4XWXRK36AQKTBU4DUEH4UEHDAJQYDQXBCGD3G2TZDIKYNMNPZ3CQC:1528"}}]}}],"owner":"wgaffa","repo":"budget","token":"3uTkotyz5mfhUTn0CWQWoc6X/2nbgYxDyCOCk4QuUWM=","login":null}

…

Dependencies

Change contents

Review