Html.Type

Documentation

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

Type synonym for elements without attributes.

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

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)

Show instances to faciliate ghci development.

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

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)

Defined in Html

Methods

showsPrec :: Int -> (a # b) -> ShowS

show :: (a # b) -> String

showList :: [a # b] -> ShowS

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

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

Check whether b is a valid child of a.

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

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

newtype (a :: Attribute) := b

Constructors

AT b

Instances

Document (a := b) => Show (a := b)

Defined in Html

Methods

showsPrec :: Int -> (a := b) -> ShowS

show :: (a := b) -> String

showList :: [a := b] -> ShowS

newtype Raw a

Wrapper for types which won't be escaped.

Constructors

Raw

Fields

• fromRaw :: a

Instances

Convert (Raw Char)

Defined in Html.Convert

Methods

convert :: Raw Char -> Converted

Convert (Raw String)

Defined in Html.Convert

Methods

convert :: Raw String -> Converted

Convert (Raw Builder)

Defined in Html.Convert

Methods

convert :: Raw Builder -> Converted

Convert (Raw Text)

Defined in Html.Convert

Methods

convert :: Raw Text -> Converted

Convert (Raw Text)

Defined in Html.Convert

Methods

convert :: Raw Text -> Converted

data Attribute

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

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.