source/factorcss/CSS.hs

--
-- This file is part of FactorCSS
-- Licensed under the MIT License,
--                http://www.opensource.org/licenses/mit-license
-- Copyright 2004 James Bursa <james@semichrome.net>
--

-- 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


is_ruleset :: Statement -> Bool
is_ruleset (Ruleset sels decls) = True
is_ruleset _ = False

is_media :: Statement -> Bool
is_media (Media media stmts) = True
is_media _ = False

is_page :: Statement -> Bool
is_page (Page page decls) = True
is_page _ = False


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) =
                show_selectors ss ++
                " { " ++
                (concat . intersperse "; " . map show_declaration) ds ++
                " }"
show_statement (Media media stmts) =
                "@media " ++ (concat . intersperse ", ") media ++
                " {\n" ++
                (unlines . map ('\t':) . map show_statement) stmts ++
                "}"
show_statement z = "(statement)"

show_selectors :: [Selector] -> String
show_selectors = concat . intersperse ", " . map show_selector

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	--
2	-- This file is part of FactorCSS
3	-- Licensed under the MIT License,
4	-- http://www.opensource.org/licenses/mit-license
5	-- Copyright 2004 James Bursa <james@semichrome.net>
6	--
7
8	-- Datatypes for CSS
9
10	module CSS where
11	import List
12
13	data Stylesheet
14	= Stylesheet
15	(Maybe String) -- charset
16	[(String, [String])] -- imports (url, media)
17	[Statement]
18	deriving Show
19
20	data Statement
21	= Ruleset [Selector] [Declaration]
22	\| Media [String] [Statement]
23	\| Page (Maybe String) [Declaration]
24	deriving Show
25
26	type Selector
27	= [(SimpleSelector, Combinator)]
28
29	type SimpleSelector
30	= (Maybe String, [Detail])
31
32	data Detail
33	= Id String
34	\| Class String
35	\| Attrib String
36	\| AttribEq String String
37	\| AttribInc String String
38	\| AttribDM String String
39	\| Pseudo String
40	\| PseudoFunc String String
41	deriving Show
42
43	data Combinator
44	= Ancestor
45	\| Preceded
46	\| Parent
47	\| NoMore
48	deriving Show
49
50	type Declaration
51	= (String, [Value], Bool)
52
53	data Value
54	= Number Float
55	\| Percentage Float
56	\| Length String
57	\| Ems Float
58	\| Exs Float
59	\| Angle String
60	\| Time String
61	\| Freq String
62	\| StringV String
63	\| Ident String
64	\| Uri String
65	\| HexColour String
66	\| Slash
67	\| Comma
68	\| Function String [Value]
69	deriving Show
70
71
72	is_ruleset :: Statement -> Bool
73	is_ruleset (Ruleset sels decls) = True
74	is_ruleset _ = False
75
76	is_media :: Statement -> Bool
77	is_media (Media media stmts) = True
78	is_media _ = False
79
80	is_page :: Statement -> Bool
81	is_page (Page page decls) = True
82	is_page _ = False
83
84
85	show_stylesheet :: Stylesheet -> [String]
86	show_stylesheet (Stylesheet c is ss) = show_charset c ++
87	map show_import (reverse is) ++
88	map show_statement ss
89
90	show_charset :: Maybe String -> [String]
91	show_charset Nothing = []
92	show_charset (Just c) = ["@charset " ++ c ++ ";"]
93
94	show_import :: (String, [String]) -> String
95	show_import (url, media) = "@import " ++ url ++ " " ++
96	(concat . intersperse ", ") media ++ ";"
97
98	show_statement :: Statement -> String
99	show_statement (Ruleset ss ds) =
100	show_selectors ss ++
101	" { " ++
102	(concat . intersperse "; " . map show_declaration) ds ++
103	" }"
104	show_statement (Media media stmts) =
105	"@media " ++ (concat . intersperse ", ") media ++
106	" {\n" ++
107	(unlines . map ('\t':) . map show_statement) stmts ++
108	"}"
109	show_statement z = "(statement)"
110
111	show_selectors :: [Selector] -> String
112	show_selectors = concat . intersperse ", " . map show_selector
113
114	show_selector :: Selector -> String
115	show_selector [] = ""
116	show_selector ((ss, c):zs) = show_simple_selector ss ++
117	show_combinator c ++
118	show_selector zs
119
120	show_simple_selector :: SimpleSelector -> String
121	show_simple_selector (Just s, ds) = s ++ (concat . map show_detail) ds
122	show_simple_selector (Nothing, ds) = (concat . map show_detail) ds
123
124	show_detail :: Detail -> String
125	show_detail (Id i) = i
126	show_detail (Class c) = "." ++ c
127	show_detail (Attrib a) = "[" ++ a ++ "]"
128	show_detail (AttribEq a v) = "[" ++ a ++ "=" ++ v ++ "]"
129	show_detail (AttribInc a v) = "[" ++ a ++ "~=" ++ v ++ "]"
130	show_detail (AttribDM a v) = "[" ++ a ++ "\|=" ++ v ++ "]"
131	show_detail (Pseudo p) = ":" ++ p
132	show_detail (PseudoFunc f p) = ":" ++ f ++ p ++ ")"
133
134	show_combinator :: Combinator -> String
135	show_combinator Ancestor = " "
136	show_combinator Preceded = " + "
137	show_combinator Parent = " > "
138	show_combinator NoMore = ""
139
140	show_declaration :: Declaration -> String
141	show_declaration (p, vs, i) = p ++ ": " ++ show_values vs ++
142	if i then " !important" else ""
143
144	show_values :: [Value] -> String
145	show_values = concat . intersperse " " . map show_value
146
147	show_value :: Value -> String
148	show_value (Number n) = show n
149	show_value (Percentage p) = show p ++ "%"
150	show_value (Length l) = l
151	show_value (Ems e) = show e ++ "em"
152	show_value (Exs x) = show x ++ "ex"
153	show_value (Angle a) = a
154	show_value (Time t) = t
155	show_value (Freq f) = f
156	show_value (StringV s) = s
157	show_value (Ident i) = i
158	show_value (Uri u) = u
159	show_value (HexColour c) = c
160	show_value Slash = "/"
161	show_value Comma = ","
162	show_value (Function f vs) = f ++ show_values vs ++ ")"