{-# LANGUAGE OverloadedLists #-}
{-# LANGUAGE OverloadedStrings #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Text.Blaze.DTC where

import Data.Bool
import Data.Text (Text)
import Text.Blaze
import Text.Blaze.Internal
import qualified Symantic.XML as XML
import qualified Data.Text.Lazy as TL

import Text.Blaze.Utils
import Text.Blaze.XML (XML)

import Textphile.DTC.Document

-- * Type 'DTC'
type DTC = XML

xmlns_dtc :: XML.Namespace
xmlns_dtc = XML.Namespace (TL.pack "http://commonsoft.org/xml/2018/dtc.rnc")

xmlModel :: Text -> DTC
xmlModel rnc =
	Leaf "xml-model" "<?xml-model" "?>\n" ()
	 ! attribute "type" " type=\"" "application/relax-ng-compact-syntax"
	 ! attribute "href" " href=\"" (attrify rnc)

xmlStylesheet :: Text -> DTC
xmlStylesheet xsl =
	Leaf "xml-stylesheet" "<?xml-stylesheet" "?>\n" ()
	 ! attribute "type" " type=\"" "text/xsl"
	 ! attribute "href" " href=\"" (attrify xsl)

html5Stylesheet :: Text -> DTC
html5Stylesheet xsl =
	Leaf "html5-stylesheet" "<?html5-stylesheet" "?>\n" ()
	 ! attribute "type" " type=\"" "text/xsl"
	 ! attribute "href" " href=\"" (attrify xsl)

atomStylesheet :: Text -> DTC
atomStylesheet xsl =
	Leaf "atom-stylesheet" "<?atom-stylesheet" "?>\n" ()
	 ! attribute "type" " type=\"" "text/xsl"
	 ! attribute "href" " href=\"" (attrify xsl)

about :: DTC -> DTC
about = Parent "about" "<about" "</about>"
alias :: DTC -> DTC
alias = Parent "alias" "<alias" "</alias>"
at :: DTC -> DTC
at = Parent "at" "<at" "</at>"
at_back :: DTC -> DTC
at_back = Parent "at-back" "<at-back" "</at-back>"
artwork :: DTC -> DTC
artwork = Parent "artwork" "<artwork" "</artwork>"
aside :: DTC -> DTC
aside = Parent "aside" "<aside" "</aside>"
author :: DTC -> DTC
author = Parent "author" "<author" "</author>"
b :: DTC -> DTC
b = Parent "b" "<b" "</b>"
br :: DTC
br = Leaf "br" "<br" " />" ()
break :: DTC
break = Leaf "break" "<break" " />" ()
call :: DTC -> DTC
call = Parent "call" "<call" "</call>"
code :: DTC -> DTC
code = Parent "code" "<code" "</code>"
comment :: Text -> DTC
comment t = Comment (Text t) ()
date :: DTC
date = Leaf "date" "<date" "/>" ()
define :: DTC -> DTC
define = Parent "define" "<define" "</define>"
del :: DTC -> DTC
del = Parent "del" "<del" "</del>"
document :: DTC -> DTC
document = Parent "document" "<document" "</document>"
editor :: DTC -> DTC
editor = Parent "editor" "<editor" "</editor>"
email :: DTC -> DTC
email = Parent "email" "<email" "</email>"
entity :: DTC -> DTC
entity = Parent "entity" "<entity" "</entity>"
eref :: DTC -> DTC
-- eref (Empty a) = Leaf "eref" "<eref" "/>" a
eref = Parent "eref" "<eref" "</eref>"
figure :: DTC -> DTC
figure = Parent "figure" "<figure" "</figure>"
grades :: DTC -> DTC
grades = Parent "grades" "<grades" "</grades>"
head :: DTC -> DTC
head = Parent "head" "<head" "</head>"
i :: DTC -> DTC
i = Parent "i" "<i" "</i>"
include :: Bool -> DTC
include inc =
	Leaf "include" "<include" "/>" ()
	 !? (not inc, attribute "include" " include=\"" "no")
index :: DTC -> DTC
index = Parent "index" "<index" "</index>"
iref :: DTC -> DTC
-- iref (Empty a) = Leaf "iref" "<iref" "/>" a
iref = Parent "iref" "<iref" "</iref>"
judges :: DTC -> DTC
judges = Parent "judges" "<judges" "</judges>"
judgment :: DTC -> DTC
judgment = Parent "judgment" "<judgment" "</judgment>"
li :: DTC -> DTC
li = Parent "li" "<li" "</li>"
link :: DTC -> DTC
link = Parent "link" "<link" "</link>"
macro :: DTC -> DTC
macro = Parent "macro" "<macro" "</macro>"
note :: DTC -> DTC
note = Parent "note" "<note" "</note>"
ol :: DTC -> DTC
ol = Parent "ol" "<ol" "</ol>"
org :: DTC -> DTC
org = Parent "org" "<org" "</org>"
p :: DTC -> DTC
p = Parent "p" "<p" "</p>"
page_ref :: DTC -> DTC
page_ref = Parent "page-ref" "<page-ref" "</page-ref>"
para :: DTC -> DTC
para = Parent "para" "<para" "</para>"
q :: DTC -> DTC
q = Parent "q" "<q" "</q>"
quote :: DTC -> DTC
quote = Parent "quote" "<quote" "</quote>"
ref :: DTC -> DTC
-- ref (Empty a) = Leaf "ref" "<ref" "/>" a
ref x = Parent "ref" "<ref" "</ref>" x
reference :: DTC -> DTC
reference = Parent "reference" "<reference" "</reference>"
references :: DTC -> DTC
references = Parent "references" "<references" "</references>"
refs :: DTC -> DTC
refs = Parent "refs" "<refs" "</refs>"
sc :: DTC -> DTC
sc = Parent "sc" "<sc" "</sc>"
section :: DTC -> DTC
section = Parent "section" "<section" "</section>"
span :: DTC -> DTC
span = Parent "span" "<span" "</span>"
sub :: DTC -> DTC
sub = Parent "sub" "<sub" "</sub>"
sup :: DTC -> DTC
sup = Parent "sup" "<sup" "</sup>"
tag :: DTC -> DTC
-- tag (Empty a) = Leaf "tag" "<tag" "/>" a
tag = Parent "tag" "<tag" "</tag>"
tag_back :: DTC -> DTC
tag_back = Parent "tag-back" "<tag-back" "</tag-back>"
title :: DTC -> DTC
title = Parent "title" "<title" "</title>"
toc :: DTC
toc = Leaf "toc" "<toc" "/>" ()
tof :: DTC -> DTC
tof = Parent "tof" "<tof" "</tof>"
u :: DTC -> DTC
u = Parent "u" "<u" "</u>"
ul :: DTC -> DTC
ul = Parent "ul" "<ul" "</ul>"
version :: DTC -> DTC
version = Parent "version" "<version" "</version>"

isInlinedElement :: Text -> Bool
isInlinedElement = \case
 "a"    -> True
 "b"    -> True
 "br"   -> True
 "code" -> True
 "em"   -> True
 "i"    -> True
 "note" -> True
 "q"    -> True
 "u"    -> True
 "sup"  -> True
 "sub"  -> True
 _      -> False

instance Attrify Name where
	attrify (Name a) = attrify a
instance MayAttr Name where
	mayAttr a (Name t) = mayAttr a t