]> Git — Sourcephile - doclang.git/blob - Text/Blaze/DTC.hs
Fix TCT dependencies dump.
[doclang.git] / Text / Blaze / DTC.hs
1 {-# LANGUAGE OverloadedLists #-}
2 {-# LANGUAGE OverloadedStrings #-}
3 {-# OPTIONS_GHC -fno-warn-orphans #-}
4 module Text.Blaze.DTC where
5
6 import Data.Bool
7 import Data.Text (Text)
8 import Text.Blaze
9 import Text.Blaze.Internal
10
11 import Text.Blaze.Utils
12 import Text.Blaze.XML (XML)
13
14 import Hdoc.DTC.Document
15
16 -- * Type 'DTC'
17 type DTC = Text.Blaze.XML.XML
18
19 xmlModel :: Text -> DTC
20 xmlModel rnc =
21 Leaf "xml-model" "<?xml-model" "?>\n" ()
22 ! attribute "type" " type=\"" "application/relax-ng-compact-syntax"
23 ! attribute "href" " href=\"" (attrify rnc)
24
25 xmlStylesheet :: Text -> DTC
26 xmlStylesheet xsl =
27 Leaf "xml-stylesheet" "<?xml-stylesheet" "?>\n" ()
28 ! attribute "type" " type=\"" "text/xsl"
29 ! attribute "href" " href=\"" (attrify xsl)
30
31 html5Stylesheet :: Text -> DTC
32 html5Stylesheet xsl =
33 Leaf "html5-stylesheet" "<?html5-stylesheet" "?>\n" ()
34 ! attribute "type" " type=\"" "text/xsl"
35 ! attribute "href" " href=\"" (attrify xsl)
36
37 atomStylesheet :: Text -> DTC
38 atomStylesheet xsl =
39 Leaf "atom-stylesheet" "<?atom-stylesheet" "?>\n" ()
40 ! attribute "type" " type=\"" "text/xsl"
41 ! attribute "href" " href=\"" (attrify xsl)
42
43 about :: DTC -> DTC
44 about = Parent "about" "<about" "</about>"
45 alias :: DTC -> DTC
46 alias = Parent "alias" "<alias" "</alias>"
47 at :: DTC -> DTC
48 at = Parent "at" "<at" "</at>"
49 at_back :: DTC -> DTC
50 at_back = Parent "at-back" "<at-back" "</at-back>"
51 artwork :: DTC -> DTC
52 artwork = Parent "artwork" "<artwork" "</artwork>"
53 aside :: DTC -> DTC
54 aside = Parent "aside" "<aside" "</aside>"
55 author :: DTC -> DTC
56 author = Parent "author" "<author" "</author>"
57 b :: DTC -> DTC
58 b = Parent "b" "<b" "</b>"
59 br :: DTC
60 br = Leaf "br" "<br" " />" ()
61 break :: DTC
62 break = Leaf "break" "<break" " />" ()
63 call :: DTC -> DTC
64 call = Parent "call" "<call" "</call>"
65 code :: DTC -> DTC
66 code = Parent "code" "<code" "</code>"
67 comment :: Text -> DTC
68 comment t = Comment (Text t) ()
69 date :: DTC
70 date = Leaf "date" "<date" "/>" ()
71 define :: DTC -> DTC
72 define = Parent "define" "<define" "</define>"
73 del :: DTC -> DTC
74 del = Parent "del" "<del" "</del>"
75 document :: DTC -> DTC
76 document = Parent "document" "<document" "</document>"
77 editor :: DTC -> DTC
78 editor = Parent "editor" "<editor" "</editor>"
79 email :: DTC -> DTC
80 email = Parent "email" "<email" "</email>"
81 entity :: DTC
82 entity = Leaf "entity" "<entity" "/>" ()
83 eref :: DTC -> DTC
84 eref (Empty a) = Leaf "eref" "<eref" "/>" a
85 eref x = Parent "eref" "<eref" "</eref>" x
86 figure :: DTC -> DTC
87 figure = Parent "figure" "<figure" "</figure>"
88 grades :: DTC -> DTC
89 grades = Parent "grades" "<grades" "</grades>"
90 i :: DTC -> DTC
91 i = Parent "i" "<i" "</i>"
92 include :: Bool -> DTC
93 include inc = Leaf "include" "<include" "/>" () !? (not inc, attribute "include" " include=\"" "no")
94 index :: DTC -> DTC
95 index = Parent "index" "<index" "</index>"
96 iref :: DTC -> DTC
97 iref (Empty a) = Leaf "iref" "<iref" "/>" a
98 iref x = Parent "iref" "<iref" "</iref>" x
99 judges :: DTC -> DTC
100 judges = Parent "judges" "<judges" "</judges>"
101 judgment :: DTC -> DTC
102 judgment = Parent "judgment" "<judgment" "</judgment>"
103 li :: DTC -> DTC
104 li = Parent "li" "<li" "</li>"
105 link :: DTC -> DTC
106 link = Parent "link" "<link" "</link>"
107 macro :: DTC -> DTC
108 macro = Parent "macro" "<macro" "</macro>"
109 note :: DTC -> DTC
110 note = Parent "note" "<note" "</note>"
111 ol :: DTC -> DTC
112 ol = Parent "ol" "<ol" "</ol>"
113 organization :: DTC -> DTC
114 organization = Parent "organization" "<organization" "</organization>"
115 p :: DTC -> DTC
116 p = Parent "p" "<p" "</p>"
117 para :: DTC -> DTC
118 para = Parent "para" "<para" "</para>"
119 q :: DTC -> DTC
120 q = Parent "q" "<q" "</q>"
121 quote :: DTC -> DTC
122 quote = Parent "quote" "<quote" "</quote>"
123 ref :: DTC -> DTC
124 ref (Empty a) = Leaf "ref" "<ref" "/>" a
125 ref x = Parent "ref" "<ref" "</ref>" x
126 reference :: DTC -> DTC
127 reference = Parent "reference" "<reference" "</reference>"
128 references :: DTC -> DTC
129 references = Parent "references" "<references" "</references>"
130 refs :: DTC -> DTC
131 refs = Parent "refs" "<refs" "</refs>"
132 sc :: DTC -> DTC
133 sc = Parent "sc" "<sc" "</sc>"
134 section :: DTC -> DTC
135 section = Parent "section" "<section" "</section>"
136 span :: DTC -> DTC
137 span = Parent "span" "<span" "</span>"
138 sub :: DTC -> DTC
139 sub = Parent "sub" "<sub" "</sub>"
140 sup :: DTC -> DTC
141 sup = Parent "sup" "<sup" "</sup>"
142 tag :: DTC -> DTC
143 -- tag (Empty a) = Leaf "tag" "<tag" "/>" a
144 tag = Parent "tag" "<tag" "</tag>"
145 tag_back :: DTC -> DTC
146 tag_back = Parent "tag-back" "<tag-back" "</tag-back>"
147 title :: DTC -> DTC
148 title = Parent "title" "<title" "</title>"
149 toc :: DTC
150 toc = Leaf "toc" "<toc" "/>" ()
151 tof :: DTC -> DTC
152 tof = Parent "tof" "<tof" "</tof>"
153 u :: DTC -> DTC
154 u = Parent "u" "<u" "</u>"
155 ul :: DTC -> DTC
156 ul = Parent "ul" "<ul" "</ul>"
157 version :: DTC -> DTC
158 version = Parent "version" "<version" "</version>"
159
160 isInlinedElement :: Text -> Bool
161 isInlinedElement = \case
162 "a" -> True
163 "b" -> True
164 "br" -> True
165 "code" -> True
166 "em" -> True
167 "i" -> True
168 "note" -> True
169 "q" -> True
170 "u" -> True
171 "sup" -> True
172 "sub" -> True
173 _ -> False
174
175 instance Attrify Name where
176 attrify (Name a) = attrify a
177 instance MayAttr Name where
178 mayAttr a (Name t) = mayAttr a t