Safe Haskell	None
Language	Haskell2010

Html.Type

Synopsis

type (>) a b = (:@:) a () b
data ((a :: Element) :@: b) c where
- WithAttributes :: (a <?> b) c => b -> c -> (a :@: b) c
data a # b = (:#:) a b
(#) :: a -> b -> a # b
type (?>) a b = Check Element a b
type (<?>) p a b = (Check Attribute p a, Check Element p b)
newtype (a :: Attribute) := b = AT b
newtype Raw a = Raw {
- fromRaw :: a
}
data Attribute
- = AcceptA
- | AcceptCharsetA
- | AccesskeyA
- | ActionA
- | AllowfullscreenA
- | AllowpaymentrequestA
- | AlignA
- | AltA
- | AsyncA
- | AutocompleteA
- | AutofocusA
- | AutoplayA
- | AutosaveA
- | BgcolorA
- | BorderA
- | BufferedA
- | ChallengeA
- | CharsetA
- | CheckedA
- | CiteA
- | ClassA
- | CodeA
- | CodebaseA
- | ColorA
- | ColsA
- | ColspanA
- | ContentA
- | ContenteditableA
- | ContextmenuA
- | ControlsA
- | CoordsA
- | CrossoriginA
- | DataA
- | DatetimeA
- | DefaultA
- | DeferA
- | DirA
- | DirnameA
- | DisabledA
- | DownloadA
- | DraggableA
- | DropzoneA
- | EnctypeA
- | ForA
- | FormA
- | FormactionA
- | FormenctypeA
- | FormmethodA
- | FormnovalidateA
- | FormtargetA
- | HeadersA
- | HeightA
- | HiddenA
- | HighA
- | HrefA
- | HreflangA
- | HttpEquivA
- | IconA
- | IdA
- | IntegrityA
- | IsmapA
- | ItempropA
- | KeytypeA
- | KindA
- | LabelA
- | LangA
- | LanguageA
- | ListA
- | LongdescA
- | LoopA
- | LowA
- | ManifestA
- | MaxA
- | MaxlengthA
- | MediaA
- | MethodA
- | MinA
- | MinlengthA
- | MultipleA
- | MutedA
- | NameA
- | NonceA
- | NovalidateA
- | OpenA
- | OptimumA
- | PatternA
- | PingA
- | PlaceholderA
- | PosterA
- | PreloadA
- | RadiogroupA
- | ReadonlyA
- | ReferrerpolicyA
- | RelA
- | RequiredA
- | RevA
- | ReversedA
- | RowsA
- | RowspanA
- | SandboxA
- | ScopeA
- | ScopedA
- | SeamlessA
- | SelectedA
- | ShapeA
- | SizeA
- | SizesA
- | SlotA
- | SpanA
- | SpellcheckA
- | SrcA
- | SrcdocA
- | SrclangA
- | SrcsetA
- | StartA
- | StepA
- | StyleA
- | SummaryA
- | TabindexA
- | TargetA
- | TitleA
- | TranslateA
- | TypeA
- | TypemustmatchA
- | UsemapA
- | ValueA
- | WidthA
- | WrapA
data Element
- = DOCTYPE
- | A
- | Abbr
- | Acronym
- | Address
- | Applet
- | Area
- | Article
- | Aside
- | Audio
- | B
- | Base
- | Basefont
- | Bdi
- | Bdo
- | Bgsound
- | Big
- | Blink
- | Blockquote
- | Body
- | Br
- | Button
- | Canvas
- | Caption
- | Center
- | Cite
- | Code
- | Col
- | Colgroup
- | Command
- | Content
- | Data
- | Datalist
- | Dd
- | Del
- | Details
- | Dfn
- | Dialog
- | Dir
- | Div
- | Dl
- | Dt
- | Element
- | Em
- | Embed
- | Fieldset
- | Figcaption
- | Figure
- | Font
- | Footer
- | Form
- | Frame
- | Frameset
- | H1
- | H2
- | H3
- | H4
- | H5
- | H6
- | Head
- | Header
- | Hgroup
- | Hr
- | Html
- | I
- | Iframe
- | Image
- | Img
- | Input
- | Ins
- | Isindex
- | Kbd
- | Keygen
- | Label
- | Legend
- | Li
- | Link
- | Listing
- | Main
- | Map
- | Mark
- | Marquee
- | Math
- | Menu
- | Menuitem
- | Meta
- | Meter
- | Multicol
- | Nav
- | Nextid
- | Nobr
- | Noembed
- | Noframes
- | Noscript
- | Object
- | Ol
- | Optgroup
- | Option
- | Output
- | P
- | Param
- | Picture
- | Plaintext
- | Pre
- | Progress
- | Q
- | Rp
- | Rt
- | Rtc
- | Ruby
- | S
- | Samp
- | Script
- | Section
- | Select
- | Shadow
- | Slot
- | Small
- | Source
- | Spacer
- | Span
- | Strike
- | Strong
- | Style
- | Sub
- | Summary
- | Sup
- | Svg
- | Table
- | Tbody
- | Td
- | Template
- | Textarea
- | Tfoot
- | Th
- | Thead
- | Time
- | Title
- | Tr
- | Track
- | Tt
- | U
- | Ul
- | Var
- | Video
- | Wbr
- | Xmp

Documentation

type (>) a b = (:@:) a () b infixr 6 Source #

Type synonym for elements without attributes.

data ((a :: Element) :@: b) c where infixr 8 Source #

Decorate an element with attributes and descend to a valid child. It is recommended to use the predefined elements.

>>> WithAttributes (A.class_ "bar") "a" :: ('Div :@: ('ClassA := String)) String
<div class="bar">a</div>

>>> div_A (A.class_ "bar") "a"
<div class="bar">a</div>

>>> div_ "a"
<div>a</div>

Constructors

WithAttributes :: (a <?> b) c => b -> c -> (a :@: b) c

Instances

Document ((a :@: b) c) => Show ((a :@: b) c) Source #	Show instances to faciliate ghci development.
Instance details Defined in Html Methods showsPrec :: Int -> (a :@: b) c -> ShowS # show :: (a :@: b) c -> String # showList :: [(a :@: b) c] -> ShowS #

data a # b infixr 5 Source #

Combine two elements or attributes sequentially.

>>> i_ () # div_ ()
<i></i><div></div>

>>> i_A (A.id_ "a" # A.class_ "b") "c"
<i id="a" class="b">c</i>

Constructors

(:#:) a b

Instances

Document (a # b) => Show (a # b) Source #
Instance details Defined in Html Methods showsPrec :: Int -> (a # b) -> ShowS # show :: (a # b) -> String # showList :: [a # b] -> ShowS #

(#) :: a -> b -> a # b infixr 5 Source #

type (?>) a b = Check Element a b Source #

Check whether b is a valid child of a.

type (<?>) p a b = (Check Attribute p a, Check Element p b) Source #

Check whether a is a valid attribute and b is a valid child of p.

newtype (a :: Attribute) := b Source #

Constructors

AT b

Instances

Document (a := b) => Show (a := b) Source #
Instance details Defined in Html Methods showsPrec :: Int -> (a := b) -> ShowS # show :: (a := b) -> String # showList :: [a := b] -> ShowS #

newtype Raw a Source #

Wrapper for types which won't be escaped.

Constructors

Raw
Fields fromRaw :: a

Instances

Convert (Raw Char) Source #
Instance details Defined in Html.Convert Methods convert :: Raw Char -> Converted Source #
Convert (Raw String) Source #
Instance details Defined in Html.Convert Methods convert :: Raw String -> Converted Source #
Convert (Raw Builder) Source #
Instance details Defined in Html.Convert Methods convert :: Raw Builder -> Converted Source #
Convert (Raw Text) Source #
Instance details Defined in Html.Convert Methods convert :: Raw Text -> Converted Source #
Convert (Raw Text) Source #
Instance details Defined in Html.Convert Methods convert :: Raw Text -> Converted Source #

data Attribute Source #

Constructors

AcceptA
AcceptCharsetA
AccesskeyA
ActionA
AllowfullscreenA
AllowpaymentrequestA
AlignA
AltA
AsyncA
AutocompleteA
AutofocusA
AutoplayA
AutosaveA
BgcolorA
BorderA
BufferedA
ChallengeA
CharsetA
CheckedA
CiteA
ClassA
CodeA
CodebaseA
ColorA
ColsA
ColspanA
ContentA
ContenteditableA
ContextmenuA
ControlsA
CoordsA
CrossoriginA
DataA
DatetimeA
DefaultA
DeferA
DirA
DirnameA
DisabledA
DownloadA
DraggableA
DropzoneA
EnctypeA
ForA
FormA
FormactionA
FormenctypeA
FormmethodA
FormnovalidateA
FormtargetA
HeadersA
HeightA
HiddenA
HighA
HrefA
HreflangA
HttpEquivA
IconA
IdA
IntegrityA
IsmapA
ItempropA
KeytypeA
KindA
LabelA
LangA
LanguageA
ListA
LongdescA
LoopA
LowA
ManifestA
MaxA
MaxlengthA
MediaA
MethodA
MinA
MinlengthA
MultipleA
MutedA
NameA
NonceA
NovalidateA
OpenA
OptimumA
PatternA
PingA
PlaceholderA
PosterA
PreloadA
RadiogroupA
ReadonlyA
ReferrerpolicyA
RelA
RequiredA
RevA
ReversedA
RowsA
RowspanA
SandboxA
ScopeA
ScopedA
SeamlessA
SelectedA
ShapeA
SizeA
SizesA
SlotA
SpanA
SpellcheckA
SrcA
SrcdocA
SrclangA
SrcsetA
StartA
StepA
StyleA
SummaryA
TabindexA
TargetA
TitleA
TranslateA
TypeA
TypemustmatchA
UsemapA
ValueA
WidthA
WrapA

data Element Source #

The data type of all html elements and the kind of elements.

Constructors

DOCTYPE
A
Abbr
Acronym	Deprecated: This is an obsolete html element and should not be used.
Address
Applet	Deprecated: This is an obsolete html element and should not be used.
Area
Article
Aside
Audio
B
Base
Basefont	Deprecated: This is an obsolete html element and should not be used.
Bdi
Bdo
Bgsound
Big	Deprecated: This is an obsolete html element and should not be used.
Blink	Deprecated: This is an obsolete html element and should not be used.
Blockquote
Body
Br
Button
Canvas
Caption
Center	Deprecated: This is an obsolete html element and should not be used.
Cite
Code
Col
Colgroup
Command	Deprecated: This is an obsolete html element and should not be used.
Content	Deprecated: This is an obsolete html element and should not be used.
Data
Datalist
Dd
Del
Details
Dfn
Dialog
Dir	Deprecated: This is an obsolete html element and should not be used.
Div
Dl
Dt
Element
Em
Embed
Fieldset
Figcaption
Figure
Font	Deprecated: This is an obsolete html element and should not be used.
Footer
Form
Frame	Deprecated: This is an obsolete html element and should not be used.
Frameset	Deprecated: This is an obsolete html element and should not be used.
H1
H2
H3
H4
H5
H6
Head
Header
Hgroup
Hr
Html
I
Iframe
Image
Img
Input
Ins
Isindex	Deprecated: This is an obsolete html element and should not be used.
Kbd
Keygen	Deprecated: This is an obsolete html element and should not be used.
Label
Legend
Li
Link
Listing	Deprecated: This is an obsolete html element and should not be used.
Main
Map
Mark
Marquee	Deprecated: This is an obsolete html element and should not be used.
Math
Menu
Menuitem
Meta
Meter
Multicol	Deprecated: This is an obsolete html element and should not be used.
Nav
Nextid	Deprecated: This is an obsolete html element and should not be used.
Nobr
Noembed	Deprecated: This is an obsolete html element and should not be used.
Noframes
Noscript
Object
Ol
Optgroup
Option
Output
P
Param
Picture
Plaintext	Deprecated: This is an obsolete html element and should not be used.
Pre
Progress
Q
Rp
Rt
Rtc
Ruby
S
Samp
Script
Section
Select
Shadow	Deprecated: This is an obsolete html element and should not be used.
Slot
Small
Source
Spacer	Deprecated: This is an obsolete html element and should not be used.
Span
Strike	Deprecated: This is an obsolete html element and should not be used.
Strong
Style
Sub
Summary
Sup
Svg
Table
Tbody
Td
Template
Textarea
Tfoot
Th
Thead
Time
Title
Tr
Track
Tt	Deprecated: This is an obsolete html element and should not be used.
U
Ul
Var
Video
Wbr
Xmp	Deprecated: This is an obsolete html element and should not be used.