2008-10-03 06:04:15 +04:00
|
|
|
{-|
|
|
|
|
|
|
|
|
'AccountName's are strings like @assets:cash:petty@.
|
|
|
|
From a set of these we derive the account hierarchy.
|
|
|
|
|
|
|
|
-}
|
|
|
|
|
2008-10-03 04:40:06 +04:00
|
|
|
module Ledger.AccountName
|
2007-02-18 21:12:02 +03:00
|
|
|
where
|
2008-10-03 04:05:16 +04:00
|
|
|
import Ledger.Utils
|
2008-10-03 04:12:59 +04:00
|
|
|
import Ledger.Types
|
2007-02-18 21:12:02 +03:00
|
|
|
|
2008-10-10 12:16:55 +04:00
|
|
|
|
2007-07-03 12:46:39 +04:00
|
|
|
sepchar = ':'
|
|
|
|
|
2007-02-18 21:12:02 +03:00
|
|
|
accountNameComponents :: AccountName -> [String]
|
2007-07-03 12:46:39 +04:00
|
|
|
accountNameComponents = splitAtElement sepchar
|
2007-02-18 21:12:02 +03:00
|
|
|
|
|
|
|
accountNameFromComponents :: [String] -> AccountName
|
2007-07-03 12:46:39 +04:00
|
|
|
accountNameFromComponents = concat . intersperse [sepchar]
|
2007-02-18 21:12:02 +03:00
|
|
|
|
|
|
|
accountLeafName :: AccountName -> String
|
2007-03-11 00:24:57 +03:00
|
|
|
accountLeafName = last . accountNameComponents
|
2007-02-18 21:12:02 +03:00
|
|
|
|
|
|
|
accountNameLevel :: AccountName -> Int
|
2007-07-03 12:46:39 +04:00
|
|
|
accountNameLevel "" = 0
|
|
|
|
accountNameLevel a = (length $ filter (==sepchar) a) + 1
|
2007-02-18 21:12:02 +03:00
|
|
|
|
2008-10-01 04:29:58 +04:00
|
|
|
-- | ["a:b:c","d:e"] -> ["a","a:b","a:b:c","d","d:e"]
|
2007-02-18 21:12:02 +03:00
|
|
|
expandAccountNames :: [AccountName] -> [AccountName]
|
|
|
|
expandAccountNames as = nub $ concat $ map expand as
|
|
|
|
where expand as = map accountNameFromComponents (tail $ inits $ accountNameComponents as)
|
|
|
|
|
2008-10-01 04:29:58 +04:00
|
|
|
-- | ["a:b:c","d:e"] -> ["a","d"]
|
2007-02-18 21:12:02 +03:00
|
|
|
topAccountNames :: [AccountName] -> [AccountName]
|
|
|
|
topAccountNames as = [a | a <- expandAccountNames as, accountNameLevel a == 1]
|
|
|
|
|
2007-02-20 00:20:06 +03:00
|
|
|
parentAccountName :: AccountName -> AccountName
|
2007-03-11 00:24:57 +03:00
|
|
|
parentAccountName a = accountNameFromComponents $ init $ accountNameComponents a
|
2007-02-20 00:20:06 +03:00
|
|
|
|
|
|
|
parentAccountNames :: AccountName -> [AccountName]
|
|
|
|
parentAccountNames a = parentAccountNames' $ parentAccountName a
|
|
|
|
where
|
|
|
|
parentAccountNames' "" = []
|
|
|
|
parentAccountNames' a = [a] ++ (parentAccountNames' $ parentAccountName a)
|
2007-02-18 21:12:02 +03:00
|
|
|
|
2007-07-03 12:46:39 +04:00
|
|
|
isAccountNamePrefixOf :: AccountName -> AccountName -> Bool
|
|
|
|
p `isAccountNamePrefixOf` s = ((p ++ [sepchar]) `isPrefixOf` s)
|
|
|
|
|
|
|
|
isSubAccountNameOf :: AccountName -> AccountName -> Bool
|
2007-02-18 21:12:02 +03:00
|
|
|
s `isSubAccountNameOf` p =
|
2007-07-03 03:41:07 +04:00
|
|
|
(p `isAccountNamePrefixOf` s) && (accountNameLevel s == (accountNameLevel p + 1))
|
2007-02-18 21:12:02 +03:00
|
|
|
|
|
|
|
subAccountNamesFrom :: [AccountName] -> AccountName -> [AccountName]
|
|
|
|
subAccountNamesFrom accts a = filter (`isSubAccountNameOf` a) accts
|
|
|
|
|
2008-10-01 13:33:05 +04:00
|
|
|
-- | We could almost get by with just the AccountName manipulations
|
|
|
|
-- above, but we need smarter structures to eg display the account
|
|
|
|
-- tree with boring accounts elided. This converts a list of
|
2008-10-03 06:04:15 +04:00
|
|
|
-- AccountName to a tree (later we will convert that to a tree of
|
|
|
|
-- 'Account'.)
|
2007-02-18 21:12:02 +03:00
|
|
|
accountNameTreeFrom_props =
|
|
|
|
[
|
2007-03-10 06:16:19 +03:00
|
|
|
accountNameTreeFrom ["a"] == Node "top" [Node "a" []],
|
|
|
|
accountNameTreeFrom ["a","b"] == Node "top" [Node "a" [], Node "b" []],
|
|
|
|
accountNameTreeFrom ["a","a:b"] == Node "top" [Node "a" [Node "a:b" []]],
|
|
|
|
accountNameTreeFrom ["a:b"] == Node "top" [Node "a" [Node "a:b" []]]
|
2007-02-18 21:12:02 +03:00
|
|
|
]
|
|
|
|
accountNameTreeFrom :: [AccountName] -> Tree AccountName
|
|
|
|
accountNameTreeFrom accts =
|
2007-03-10 06:16:19 +03:00
|
|
|
Node "top" (accountsFrom (topAccountNames accts))
|
2007-02-18 21:12:02 +03:00
|
|
|
where
|
|
|
|
accountsFrom :: [AccountName] -> [Tree AccountName]
|
|
|
|
accountsFrom [] = []
|
2007-03-10 06:16:19 +03:00
|
|
|
accountsFrom as = [Node a (accountsFrom $ subs a) | a <- as]
|
2007-02-18 21:12:02 +03:00
|
|
|
subs = (subAccountNamesFrom accts)
|
|
|
|
|
2008-10-15 23:14:34 +04:00
|
|
|
-- | Elide an account name to fit in the specified width.
|
|
|
|
-- From the ledger 2.6 news:
|
|
|
|
--
|
|
|
|
-- @
|
|
|
|
-- What Ledger now does is that if an account name is too long, it will
|
|
|
|
-- start abbreviating the first parts of the account name down to two
|
|
|
|
-- letters in length. If this results in a string that is still too
|
|
|
|
-- long, the front will be elided -- not the end. For example:
|
|
|
|
--
|
|
|
|
-- Expenses:Cash ; OK, not too long
|
|
|
|
-- Ex:Wednesday:Cash ; "Expenses" was abbreviated to fit
|
|
|
|
-- Ex:We:Afternoon:Cash ; "Expenses" and "Wednesday" abbreviated
|
|
|
|
-- ; Expenses:Wednesday:Afternoon:Lunch:Snack:Candy:Chocolate:Cash
|
|
|
|
-- ..:Af:Lu:Sn:Ca:Ch:Cash ; Abbreviated and elided!
|
|
|
|
-- @
|
|
|
|
elideAccountName :: Int -> AccountName -> AccountName
|
|
|
|
elideAccountName width s =
|
|
|
|
elideLeft width $ accountNameFromComponents $ elideparts width [] $ accountNameComponents s
|
|
|
|
where
|
|
|
|
elideparts :: Int -> [String] -> [String] -> [String]
|
|
|
|
elideparts width done ss
|
|
|
|
| (length $ accountNameFromComponents $ done++ss) <= width = done++ss
|
|
|
|
| length ss > 1 = elideparts width (done++[take 2 $ head ss]) (tail ss)
|
|
|
|
| otherwise = done++ss
|
2008-11-22 08:48:56 +03:00
|
|
|
|
|
|
|
|
|
|
|
-- -- | Check if a set of ledger account/description patterns matches the
|
|
|
|
-- -- given account name or entry description. Patterns are case-insensitive
|
|
|
|
-- -- regular expression strings; those beginning with - are anti-patterns.
|
|
|
|
-- --
|
|
|
|
-- -- Call with forbalancereport=True to mimic ledger's balance report
|
|
|
|
-- -- matching. Account patterns usually match the full account name, but in
|
|
|
|
-- -- balance reports when the pattern does not contain : and is not an
|
|
|
|
-- -- anti-pattern, it matches only the leaf name.
|
|
|
|
-- matchpats :: Bool -> [String] -> String -> Bool
|
|
|
|
-- matchpats forbalancereport pats str =
|
|
|
|
-- (null positives || any ismatch positives) && (null negatives || not (any ismatch negatives))
|
|
|
|
-- where
|
|
|
|
-- isnegative = (== negativepatternchar) . head
|
|
|
|
-- (negatives,positives) = partition isnegative pats
|
|
|
|
-- ismatch pat = containsRegex (mkRegexWithOpts pat' True True) matchee
|
|
|
|
-- where
|
|
|
|
-- pat' = if isnegative pat then drop 1 pat else pat
|
|
|
|
-- matchee = if forbalancereport && not (':' `elem` pat) && not (isnegative pat)
|
|
|
|
-- then accountLeafName str
|
|
|
|
-- else str
|
|
|
|
|
|
|
|
-- | Check if a set of ledger account/description patterns matches the
|
|
|
|
-- given account name or entry description. Patterns are case-insensitive
|
|
|
|
-- regular expression strings; those beginning with - are anti-patterns.
|
|
|
|
matchpats :: [String] -> String -> Bool
|
|
|
|
matchpats pats str =
|
|
|
|
(null positives || any match positives) && (null negatives || not (any match negatives))
|
|
|
|
where
|
|
|
|
(negatives,positives) = partition isnegativepat pats
|
|
|
|
match "" = True
|
|
|
|
match pat = matchregex (abspat pat) str
|
|
|
|
|
|
|
|
-- | Similar to matchpats, but follows the special behaviour of ledger
|
|
|
|
-- 2.6's balance command: positive patterns which do not contain : match
|
|
|
|
-- the account leaf name, other patterns match the full account name.
|
|
|
|
matchpats_balance :: [String] -> String -> Bool
|
|
|
|
matchpats_balance pats str = match_positive_pats pats str && (not $ match_negative_pats pats str)
|
|
|
|
-- (null positives || any match positives) && (null negatives || not (any match negatives))
|
|
|
|
-- where
|
|
|
|
-- (negatives,positives) = partition isnegativepat pats
|
|
|
|
-- match "" = True
|
|
|
|
-- match pat = matchregex (abspat pat) matchee
|
|
|
|
-- where
|
|
|
|
-- matchee = if not (':' `elem` pat) && not (isnegativepat pat)
|
|
|
|
-- then accountLeafName str
|
|
|
|
-- else str
|
|
|
|
|
|
|
|
-- | Do the positives in these patterns permit a match for this string ?
|
|
|
|
match_positive_pats :: [String] -> String -> Bool
|
|
|
|
match_positive_pats pats str = (null ps) || (any match ps)
|
|
|
|
where
|
|
|
|
ps = positivepats pats
|
|
|
|
match "" = True
|
|
|
|
match p = matchregex (abspat p) matchee
|
|
|
|
where
|
|
|
|
matchee | ':' `elem` p = str
|
|
|
|
| otherwise = accountLeafName str
|
|
|
|
|
|
|
|
-- | Do the negatives in these patterns prevent a match for this string ?
|
|
|
|
match_negative_pats :: [String] -> String -> Bool
|
|
|
|
match_negative_pats pats str = (not $ null ns) && (any match ns)
|
|
|
|
where
|
|
|
|
ns = map abspat $ negativepats pats
|
|
|
|
match "" = True
|
|
|
|
match p = matchregex (abspat p) str
|
|
|
|
|
|
|
|
negativepatternchar = '-'
|
|
|
|
isnegativepat pat = (== [negativepatternchar]) $ take 1 pat
|
|
|
|
abspat pat = if isnegativepat pat then drop 1 pat else pat
|
|
|
|
positivepats = filter (not . isnegativepat)
|
|
|
|
negativepats = filter isnegativepat
|
|
|
|
matchregex pat str = containsRegex (mkRegexWithOpts pat True True) str
|
|
|
|
|