blob: 81dd9d0bfdc7022facd1ace9ab8421a9f17b7f6d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
{- Printing utilities.
-
- Copyright 2013 Raúl Benencia <rul@kalgan.cc>
-
- Licensed under the GNU GPL version 3 or higher
-
-}
module Print where
import Data.Char (isSpace)
import Data.List (intercalate)
import Email
import Rfc1342
import Types(Flag(..), Flags)
unquote xs= if (head xs == '"' && last xs == '"') then (tail . init) xs else xs
ppField = flat . decodeField
{- Pretty print a RFC822 date format -}
fromLen :: Int
fromLen = 20
maxFlags :: Int
maxFlags = 4
flat xs = intercalate " " $ map (dropWhile isSpace) $ map (filter (/= '\r')) $ lines xs
ppFlags :: Flags -> String
ppFlags = map ppFlag
ppFlag :: Flag -> Char
ppFlag NEW = 'N'
ppFlag SEEN = 'S'
ppFlag ANSWERED = 'A'
ppFlag FLAGGED = 'F'
ppFlag DRAFT = 'D'
ppFlag FORWARDED = 'P'
ppFlag DELETED = 'T'
ppFlag (OTHERFLAG [c]) = c
ppSep = " "
normalizeLen len cs = if (length cs > len)
then shorten len cs
else if (length cs < len)
then fillWithSpace len cs
else cs
fillWithSpace len cs = cs ++ (take (len - length cs) . repeat $ ' ')
-- The following functions are from DynamicLog xmonad-contrib source
-- | Wrap a string in delimiters, unless it is empty.
wrap :: String -- ^ left delimiter
-> String -- ^ right delimiter
-> String -- ^ output string
-> String
wrap _ _ "" = ""
wrap l r m = l ++ m ++ r
-- | Pad a string with a leading and trailing space.
pad :: String -> String
pad = wrap " " " "
-- | Trim leading and trailing whitespace from a string.
trim :: String -> String
trim = f . f
where f = reverse . dropWhile isSpace
-- | Limit a string to a certain length, adding "..." if truncated.
shorten :: Int -> String -> String
shorten n xs | length xs < n = xs
| otherwise = take (n - length end) xs ++ end
where
end = "..."
|
