summaryrefslogtreecommitdiffstats
path: root/app
diff options
context:
space:
mode:
Diffstat (limited to 'app')
-rw-r--r--app/Data/Iban.hs49
-rw-r--r--app/Import/Ing/SavingsAccountCsv.hs32
-rw-r--r--app/Main.hs3
3 files changed, 45 insertions, 39 deletions
diff --git a/app/Data/Iban.hs b/app/Data/Iban.hs
index a42e192..45343ec 100644
--- a/app/Data/Iban.hs
+++ b/app/Data/Iban.hs
@@ -15,26 +15,31 @@ mkIban :: T.Text -> Either String Iban
15mkIban t = validateIban t >> return (Iban t) 15mkIban t = validateIban t >> return (Iban t)
16 16
17validateIban :: T.Text -> Either String () 17validateIban :: T.Text -> Either String ()
18validateIban t = AP.parseOnly ibanP t 18validateIban = AP.parseOnly $ do
19 countryCode <- AP.count 2 AP.letter
20 checkDigits <- AP.count 2 AP.digit
21 chars <- AP.many1 (AP.letter <|> AP.digit)
22 endOfInput
23 if length chars < 30
24 then
25 if valid countryCode checkDigits chars
26 then return ()
27 else fail $ "IBAN checksum does not match (" <> countryCode <> checkDigits <> chars <> ")"
28 else fail "IBAN has more than 34 characters"
19 where 29 where
20 ibanP = do 30 letterToInt c = ord (toUpper c) - ord 'A' + 10
21 countryCode <- AP.count 2 ibanLetter 31 charsToInteger =
22 checkDigits <- AP.count 2 ibanDigit 32 foldl'
23 chars <- AP.many1 ibanChar 33 ( \acc -> \case
24 endOfInput 34 d
25 if length chars < 30 35 | '0' <= d && d <= '9' -> acc * 10 + toInteger (digitToInt d)
26 then 36 | 'A' <= d && d <= 'Z'
27 if valid countryCode checkDigits chars 37 || 'a' <= d && d <= 'z' ->
28 then return () 38 acc * 100 + toInteger (letterToInt d)
29 else fail $ "IBAN checksum does not match (" ++ T.unpack t ++ ")" 39 | otherwise -> error "unreachable"
30 else fail "IBAN has more than 34 characters" 40 )
31 where 41 0
32 ibanChar = ibanDigit <|> ibanLetter 42 ibanToInteger countryCode checkDigits chars =
33 ibanDigit = toInteger . digitToInt <$> AP.digit 43 charsToInteger chars * 1000000 + charsToInteger countryCode * 100 + charsToInteger checkDigits
34 ibanLetter = letterToInt <$> AP.letter 44 valid countryCode checkDigits chars =
35 letterToInt c = toInteger (ord (toUpper c) - ord 'A' + 10) 45 ibanToInteger countryCode checkDigits chars `mod` 97 == 1
36 charsToInteger = foldl' (\acc d -> if d >= 10 then acc * 100 + d else acc * 10 + d) 0
37 ibanToInteger countryCode checkDigits chars =
38 charsToInteger chars * 1000000 + charsToInteger countryCode * 100 + charsToInteger checkDigits
39 valid countryCode checkDigits chars =
40 ibanToInteger countryCode checkDigits chars `mod` 97 == 1
diff --git a/app/Import/Ing/SavingsAccountCsv.hs b/app/Import/Ing/SavingsAccountCsv.hs
index f6632fc..3f2e5e6 100644
--- a/app/Import/Ing/SavingsAccountCsv.hs
+++ b/app/Import/Ing/SavingsAccountCsv.hs
@@ -121,26 +121,26 @@ mutationTypeCP "Opname" = return WithdrawalMutation
121mutationTypeCP "Rente" = return InterestMutation 121mutationTypeCP "Rente" = return InterestMutation
122mutationTypeCP t = fail ("Unknown mutation type '" ++ T.unpack t ++ "'") 122mutationTypeCP t = fail ("Unknown mutation type '" ++ T.unpack t ++ "'")
123 123
124parseNamedRecord :: C.NamedRecord -> C.Parser Tx 124instance C.FromNamedRecord Tx where
125parseNamedRecord m = 125 parseNamedRecord m =
126 eitherToCP . processPrimTx 126 eitherToCP . processPrimTx
127 =<< PrimTx 127 =<< PrimTx
128 <$> (m .: "Datum" >>= dateCP "%Y-%m-%d") 128 <$> (m .: "Datum" >>= dateCP "%Y-%m-%d")
129 <*> m .: "Omschrijving" 129 <*> m .: "Omschrijving"
130 <*> m .: "Rekening" 130 <*> m .: "Rekening"
131 <*> m .: "Rekening naam" 131 <*> m .: "Rekening naam"
132 <*> (m .: "Tegenrekening" >>= maybeCP ibanCP) 132 <*> (m .: "Tegenrekening" >>= maybeCP ibanCP)
133 <*> (m .: "Af Bij" >>= debitCreditCP) 133 <*> (m .: "Af Bij" >>= debitCreditCP)
134 <*> (m .: "Bedrag" >>= decimalCP) 134 <*> (m .: "Bedrag" >>= decimalCP)
135 <*> m .: "Valuta" 135 <*> m .: "Valuta"
136 <*> (m .: "Mutatiesoort" >>= mutationTypeCP) 136 <*> (m .: "Mutatiesoort" >>= mutationTypeCP)
137 <*> m .: "Mededelingen" 137 <*> m .: "Mededelingen"
138 <*> (m .: "Saldo na mutatie" >>= decimalCP) 138 <*> (m .: "Saldo na mutatie" >>= decimalCP)
139 139
140readFile :: Handle -> IO (V.Vector Tx) 140readFile :: Handle -> IO (V.Vector Tx)
141readFile h = do 141readFile h = do
142 contents <- BS.hGetContents h 142 contents <- BS.hGetContents h
143 case C.decodeByNameWithP parseNamedRecord scsvOptions contents of 143 case C.decodeByNameWith scsvOptions contents of
144 Left err -> fail err 144 Left err -> fail err
145 Right 145 Right
146 ( [ "Datum", 146 ( [ "Datum",
diff --git a/app/Main.hs b/app/Main.hs
index 2438203..403b78f 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -16,6 +16,7 @@ import Brick.Widgets.Core
16import Brick.Widgets.Dialog qualified as D 16import Brick.Widgets.Dialog qualified as D
17import Graphics.Vty qualified as V 17import Graphics.Vty qualified as V
18import Import.Ing.SavingsAccountCsv qualified 18import Import.Ing.SavingsAccountCsv qualified
19import Import.Ing.CurrentAccountCsv qualified
19import System.IO (IOMode (ReadMode), withFile) 20import System.IO (IOMode (ReadMode), withFile)
20import Text.Pretty.Simple (pPrint) 21import Text.Pretty.Simple (pPrint)
21 22
@@ -93,7 +94,7 @@ main = do
93 let filename = "/home/rutgerbrf/Code/P/wayligmative/test.csv" 94 let filename = "/home/rutgerbrf/Code/P/wayligmative/test.csv"
94 putStrLn $ "Reading " ++ filename 95 putStrLn $ "Reading " ++ filename
95 withFile filename ReadMode $ \h -> do 96 withFile filename ReadMode $ \h -> do
96 entries <- Import.Ing.SavingsAccountCsv.readFile h 97 entries <- Import.Ing.CurrentAccountCsv.readFile h
97 pPrint entries 98 pPrint entries
98 99
99-- d <- M.defaultMain theApp initialState 100-- d <- M.defaultMain theApp initialState