source/factorcss/CSS.hs

-- Datatypes for CSS

module CSS where
import List

data Stylesheet
        = Stylesheet
                (Maybe String)          -- charset
                [(String, [String])]    -- imports (url, media)
                [Statement]
        deriving Show

data Statement
        = Ruleset [Selector] [Declaration]
        | Media [String] [Statement]
        | Page (Maybe String) [Declaration]
        deriving Show

type Selector
        = [(SimpleSelector, Combinator)]

type SimpleSelector
        = (Maybe String, [Detail])

data Detail
        = Id String
        | Class String
        | Attrib String
        | AttribEq String String
        | AttribInc String String
        | AttribDM String String
        | Pseudo String
        | PseudoFunc String String
        deriving Show

data Combinator
        = Ancestor
        | Preceded
        | Parent
        | NoMore
        deriving Show

type Declaration
        = (String, [Value], Bool)

data Value
        = Number Float
        | Percentage Float
        | Length String
        | Ems Float
        | Exs Float
        | Angle String
        | Time String
        | Freq String
        | StringV String
        | Ident String
        | Uri String
        | HexColour String
        | Slash
        | Comma
        | Function String [Value]
        deriving Show


show_stylesheet :: Stylesheet -> [String]
show_stylesheet (Stylesheet c is ss) = show_charset c ++
                map show_import (reverse is) ++
                map show_statement ss

show_charset :: Maybe String -> [String]
show_charset Nothing = []
show_charset (Just c) = ["@charset " ++ c ++ ";"]

show_import :: (String, [String]) -> String
show_import (url, media) = "@import " ++ url ++ " " ++
                (concat . intersperse ", ") media ++ ";"

show_statement :: Statement -> String
show_statement (Ruleset ss ds) =
                (concat . intersperse ", " . map show_selector) ss ++
                " { " ++
                (concat . intersperse "; " . map show_declaration) ds ++
                " }"
show_statement z = "(statement)"

show_selector :: Selector -> String
show_selector [] = ""
show_selector ((ss, c):zs) = show_simple_selector ss ++
                show_combinator c ++
                show_selector zs

show_simple_selector :: SimpleSelector -> String
show_simple_selector (Just s, ds) = s ++ (concat . map show_detail) ds
show_simple_selector (Nothing, ds) = (concat . map show_detail) ds

show_detail :: Detail -> String
show_detail (Id i) = i
show_detail (Class c) = "." ++ c
show_detail (Attrib a) = "[" ++ a ++ "]"
show_detail (AttribEq a v) = "[" ++ a ++ "=" ++ v ++ "]"
show_detail (AttribInc a v) = "[" ++ a ++ "~=" ++ v ++ "]"
show_detail (AttribDM a v) = "[" ++ a ++ "|=" ++ v ++ "]"
show_detail (Pseudo p) = ":" ++ p
show_detail (PseudoFunc f p) = ":" ++ f ++ p ++ ")"

show_combinator :: Combinator -> String
show_combinator Ancestor = " "
show_combinator Preceded = " + "
show_combinator Parent = " > "
show_combinator NoMore = ""

show_declaration :: Declaration -> String
show_declaration (p, vs, i) = p ++ ": " ++ show_values vs ++
                if i then " !important" else ""

show_values :: [Value] -> String
show_values = concat . intersperse " " . map show_value

show_value :: Value -> String
show_value (Number n) = show n
show_value (Percentage p) = show p ++ "%"
show_value (Length l) = l
show_value (Ems e) = show e ++ "em"
show_value (Exs x) = show x ++ "ex"
show_value (Angle a) = a
show_value (Time t) = t
show_value (Freq f) = f
show_value (StringV s) = s
show_value (Ident i) = i
show_value (Uri u) = u
show_value (HexColour c) = c
show_value Slash = "/"
show_value Comma = ","
show_value (Function f vs) = f ++ show_values vs ++ ")"
1	james	61	-- Datatypes for CSS
2
3			module CSS where
4			import List
5
6			data Stylesheet
7			= Stylesheet
8			(Maybe String) -- charset
9			[(String, [String])] -- imports (url, media)
10			[Statement]
11			deriving Show
12
13			data Statement
14			= Ruleset [Selector] [Declaration]
15			\| Media [String] [Statement]
16			\| Page (Maybe String) [Declaration]
17			deriving Show
18
19			type Selector
20			= [(SimpleSelector, Combinator)]
21
22			type SimpleSelector
23			= (Maybe String, [Detail])
24
25			data Detail
26			= Id String
27			\| Class String
28			\| Attrib String
29			\| AttribEq String String
30			\| AttribInc String String
31			\| AttribDM String String
32			\| Pseudo String
33			\| PseudoFunc String String
34			deriving Show
35
36			data Combinator
37			= Ancestor
38			\| Preceded
39			\| Parent
40			\| NoMore
41			deriving Show
42
43			type Declaration
44			= (String, [Value], Bool)
45
46			data Value
47			= Number Float
48			\| Percentage Float
49			\| Length String
50			\| Ems Float
51			\| Exs Float
52			\| Angle String
53			\| Time String
54			\| Freq String
55			\| StringV String
56			\| Ident String
57			\| Uri String
58			\| HexColour String
59			\| Slash
60			\| Comma
61			\| Function String [Value]
62			deriving Show
63
64
65			show_stylesheet :: Stylesheet -> [String]
66			show_stylesheet (Stylesheet c is ss) = show_charset c ++
67			map show_import (reverse is) ++
68			map show_statement ss
69
70			show_charset :: Maybe String -> [String]
71			show_charset Nothing = []
72			show_charset (Just c) = ["@charset " ++ c ++ ";"]
73
74			show_import :: (String, [String]) -> String
75			show_import (url, media) = "@import " ++ url ++ " " ++
76			(concat . intersperse ", ") media ++ ";"
77
78			show_statement :: Statement -> String
79			show_statement (Ruleset ss ds) =
80			(concat . intersperse ", " . map show_selector) ss ++
81			" { " ++
82			(concat . intersperse "; " . map show_declaration) ds ++
83			" }"
84			show_statement z = "(statement)"
85
86			show_selector :: Selector -> String
87			show_selector [] = ""
88			show_selector ((ss, c):zs) = show_simple_selector ss ++
89			show_combinator c ++
90			show_selector zs
91
92			show_simple_selector :: SimpleSelector -> String
93			show_simple_selector (Just s, ds) = s ++ (concat . map show_detail) ds
94			show_simple_selector (Nothing, ds) = (concat . map show_detail) ds
95
96			show_detail :: Detail -> String
97			show_detail (Id i) = i
98			show_detail (Class c) = "." ++ c
99			show_detail (Attrib a) = "[" ++ a ++ "]"
100			show_detail (AttribEq a v) = "[" ++ a ++ "=" ++ v ++ "]"
101			show_detail (AttribInc a v) = "[" ++ a ++ "~=" ++ v ++ "]"
102			show_detail (AttribDM a v) = "[" ++ a ++ "\|=" ++ v ++ "]"
103			show_detail (Pseudo p) = ":" ++ p
104			show_detail (PseudoFunc f p) = ":" ++ f ++ p ++ ")"
105
106			show_combinator :: Combinator -> String
107			show_combinator Ancestor = " "
108			show_combinator Preceded = " + "
109			show_combinator Parent = " > "
110			show_combinator NoMore = ""
111
112			show_declaration :: Declaration -> String
113			show_declaration (p, vs, i) = p ++ ": " ++ show_values vs ++
114			if i then " !important" else ""
115
116			show_values :: [Value] -> String
117			show_values = concat . intersperse " " . map show_value
118
119			show_value :: Value -> String
120			show_value (Number n) = show n
121			show_value (Percentage p) = show p ++ "%"
122			show_value (Length l) = l
123			show_value (Ems e) = show e ++ "em"
124			show_value (Exs x) = show x ++ "ex"
125			show_value (Angle a) = a
126			show_value (Time t) = t
127			show_value (Freq f) = f
128			show_value (StringV s) = s
129			show_value (Ident i) = i
130			show_value (Uri u) = u
131			show_value (HexColour c) = c
132			show_value Slash = "/"
133			show_value Comma = ","
134			show_value (Function f vs) = f ++ show_values vs ++ ")"