Text.Html.Attribute

Definitions

data Dir : Type

Totality: total
Visibility: public export
Constructors:

LTR : Dir

RTL : Dir

Hint: 

Show Dir

data LoadType : Type

Totality: total
Visibility: public export
Constructors:

Lzy : LoadType

Eager : LoadType

Hint: 

Show LoadType

data InputType : Type

Totality: total
Visibility: public export
Constructors:

Button : InputType

CheckBox : InputType

Color : InputType

Date : InputType

DateTime : InputType

Email : InputType

File : InputType

Image : InputType

Month : InputType

Number : InputType

Password : InputType

Radio : InputType

Range : InputType

Tel : InputType

Text : InputType

Time : InputType

URL : InputType

Week : InputType

Hint: 

Show InputType

data Attribute : Type -> Type

Totality: total
Visibility: public export
Constructors:

Id : String -> Attribute event

Str : String -> String -> Attribute event

Bool : String -> Bool -> Attribute event

Event : DOMEvent event -> Attribute event

Empty : Attribute event

Attributes : Type -> Type

Totality: total
Visibility: public export

displayAttribute : Attribute ev -> Maybe String

Totality: total
Visibility: export

displayAttributes : Attributes ev -> String

Totality: total
Visibility: export

getId : Attributes ev -> Maybe String

Totality: total
Visibility: export

getEvents : Attributes ev -> List (DOMEvent ev)

Totality: total
Visibility: export

dispAttr : String -> (a -> String) -> a -> Attribute ev

Totality: total
Visibility: export

showAttr : Show a => String -> a -> Attribute ev

Totality: total
Visibility: export

accesskey : String -> Attribute ev

Totality: total
Visibility: export

action : String -> Attribute ev

Totality: total
Visibility: export

alt : String -> Attribute ev

Totality: total
Visibility: export

autocapitalize : Bool -> Attribute ev

Totality: total
Visibility: export

autocomplete : Bool -> Attribute ev

Totality: total
Visibility: export

autofocus : Bool -> Attribute ev

Totality: total
Visibility: export

autoplay : Bool -> Attribute ev

Totality: total
Visibility: export

checked : Bool -> Attribute ev

Totality: total
Visibility: export

cite : String -> Attribute ev

Totality: total
Visibility: export

class : String -> Attribute ev

Totality: total
Visibility: export

classes : List String -> Attribute ev

Totality: total
Visibility: export

cols : Bits32 -> Attribute ev

Totality: total
Visibility: export

colspan : Bits32 -> Attribute ev

Totality: total
Visibility: export

contenteditable : Bool -> Attribute ev

Totality: total
Visibility: export

controls : Bool -> Attribute ev

Totality: total
Visibility: export

data_ : String -> Attribute ev

Totality: total
Visibility: export

dir : Dir -> Attribute ev

Totality: total
Visibility: export

disabled : Bool -> Attribute ev

Totality: total
Visibility: export

download : String -> Attribute ev

Totality: total
Visibility: export

draggable : Bool -> Attribute ev

Totality: total
Visibility: export

for : String -> Attribute ev

Totality: total
Visibility: export

form : String -> Attribute ev

Totality: total
Visibility: export

height : Bits32 -> Attribute ev

Totality: total
Visibility: export

hidden : Bool -> Attribute ev

Totality: total
Visibility: export

href : String -> Attribute ev

Totality: total
Visibility: export

hreflang : String -> Attribute ev

Totality: total
Visibility: export

id : String -> Attribute ev

Totality: total
Visibility: export

label : String -> Attribute ev

Totality: total
Visibility: export

lang : String -> Attribute ev

Totality: total
Visibility: export

loading : LoadType -> Attribute ev

Totality: total
Visibility: export

list : String -> Attribute ev

Totality: total
Visibility: export

loop : Bool -> Attribute ev

Totality: total
Visibility: export

maxlength : Bits32 -> Attribute ev

Totality: total
Visibility: export

minlength : Bits32 -> Attribute ev

Totality: total
Visibility: export

multiple : Bool -> Attribute ev

Totality: total
Visibility: export

muted : Bool -> Attribute ev

Totality: total
Visibility: export

name : String -> Attribute ev

Totality: total
Visibility: export

placeholder : String -> Attribute ev

Totality: total
Visibility: export

readonly : Bool -> Attribute ev

Totality: total
Visibility: export

required : Bool -> Attribute ev

Totality: total
Visibility: export

reverse : Bool -> Attribute ev

Totality: total
Visibility: export

rows : Bits32 -> Attribute ev

Totality: total
Visibility: export

rowspan : Bits32 -> Attribute ev

Totality: total
Visibility: export

selected : Bool -> Attribute ev

Totality: total
Visibility: export

spellcheck : Bool -> Attribute ev

Totality: total
Visibility: export

src : String -> Attribute ev

Totality: total
Visibility: export

style : String -> Attribute ev

Totality: total
Visibility: export

tabindex : Int32 -> Attribute ev

Totality: total
Visibility: export

target : String -> Attribute ev

Totality: total
Visibility: export

title : String -> Attribute ev

Totality: total
Visibility: export

type : InputType -> Attribute ev

Totality: total
Visibility: export

value : String -> Attribute ev

Totality: total
Visibility: export

width : Bits32 -> Attribute ev

Totality: total
Visibility: export

wrap : Bool -> Attribute ev

Totality: total
Visibility: export

click : (MouseInfo -> Maybe ev) -> Attribute ev

Totality: total
Visibility: export

onClick : ev -> Attribute ev

Totality: total
Visibility: export

onLeftClick : ev -> Attribute ev

Totality: total
Visibility: export

onRightClick : ev -> Attribute ev

Totality: total
Visibility: export

onMiddleClick : ev -> Attribute ev

Totality: total
Visibility: export

dblClick : (MouseInfo -> Maybe ev) -> Attribute ev

Totality: total
Visibility: export

onDblClick : ev -> Attribute ev

Totality: total
Visibility: export

onChange : (String -> ev) -> Attribute ev

Totality: total
Visibility: export

onChecked : (Bool -> ev) -> Attribute ev

Totality: total
Visibility: export

onInput : (String -> ev) -> Attribute ev

Totality: total
Visibility: export

onEnterDown : ev -> Attribute ev

Totality: total
Visibility: export

onEscDown : ev -> Attribute ev

Totality: total
Visibility: export

onShiftDown : ev -> Attribute ev

Totality: total
Visibility: export

onShiftUp : ev -> Attribute ev

Totality: total
Visibility: export

onAltDown : ev -> Attribute ev

Totality: total
Visibility: export

onAltUp : ev -> Attribute ev

Totality: total
Visibility: export

onCtrlUp : ev -> Attribute ev

Totality: total
Visibility: export

onCtrlDown : ev -> Attribute ev

Totality: total
Visibility: export

onKeyUp : (KeyInfo -> ev) -> Attribute ev

Totality: total
Visibility: export

onBlur : ev -> Attribute ev

Totality: total
Visibility: export

onFocus : ev -> Attribute ev

Totality: total
Visibility: export