packages feed

type-of-html-1.6.1.0: src/Html/Obsolete.hs

{-# OPTIONS_GHC -fno-warn-unticked-promoted-constructors #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds     #-}
{-# LANGUAGE PolyKinds     #-}

module Html.Obsolete where

import Html.Type

-- | Functions to create obsolete html elements.
--
-- Usage:
--
-- >>> center :> "barf"
-- <center>barf</center>

type CustomElementDefault x
  = Element
  x
  '[Metadata, Flow, Sectioning, Heading, Phrasing, Embedded, Interactive, Palpable, Scripting] (Metadata :|: Flow :|: Sectioning :|: Heading :|: Phrasing :|: Embedded :|: Interactive :|: Palpable :|: Scripting)
  '[]

applet :: CustomElementDefault "applet"
applet = CustomElement

acronym :: CustomElementDefault "acronym"
acronym = CustomElement

bgsound :: CustomElementDefault "bgsound"
bgsound = CustomElement

dir :: CustomElementDefault "dir"
dir = CustomElement

frame :: CustomElementDefault "frame"
frame = CustomElement

frameset :: CustomElementDefault "frameset"
frameset = CustomElement

noframes :: CustomElementDefault "noframes"
noframes = CustomElement

isindex :: CustomElementDefault "isindex"
isindex = CustomElement

keygen :: CustomElementDefault "keygen"
keygen = CustomElement

listing :: CustomElementDefault "listing"
listing = CustomElement

menuitem :: CustomElementDefault "menuitem"
menuitem = CustomElement

nextid :: CustomElementDefault "nextid"
nextid = CustomElement

noembed :: CustomElementDefault "noembed"
noembed = CustomElement

plaintext :: CustomElementDefault "plaintext"
plaintext = CustomElement

rb :: CustomElementDefault "rb"
rb = CustomElement

rtc :: CustomElementDefault "rtc"
rtc = CustomElement

strike :: CustomElementDefault "strike"
strike = CustomElement

xmp :: CustomElementDefault "xmp"
xmp = CustomElement

basefont :: CustomElementDefault "basefont"
basefont = CustomElement

big :: CustomElementDefault "big"
big = CustomElement

blink :: CustomElementDefault "blink"
blink = CustomElement

center :: CustomElementDefault "center"
center = CustomElement

font :: CustomElementDefault "font"
font = CustomElement

marquee :: CustomElementDefault "marquee"
marquee = CustomElement

multicol :: CustomElementDefault "multicol"
multicol = CustomElement

nobr :: CustomElementDefault "nobr"
nobr = CustomElement

spacer :: CustomElementDefault "spacer"
spacer = CustomElement

tt :: CustomElementDefault "tt"
tt = CustomElement