Idris2Doc : Text.HTML.Attribute

Text.HTML.Attribute

(source)
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
  Enum representing different types of input elements

  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 : k -> Type -> Type
  An attribute indexed by the `HTMLTag` used for the element
  in question.
  
  This allows us to make sure we don't use invalid `Ref`s (which can
  be later used to retrieve an element from the DOM) in a HTML node.

  Totality: total
  Visibility: public export
  Constructors:
  
Id : Ref t -> Attribute t event
  
Str : String -> String -> Attribute t event
  
Bool : String -> Bool -> Attribute t event
  
Event_ : Bool -> Bool -> DOMEvent event -> Attribute t event
  
Empty : Attribute t event

  Hint: 
Functor (Attribute t)
attrIf : Bool -> Lazy (Attribute t e) -> Attribute t e
  Optional attribute that is set to `Empty` if the given `Bool` is `False`

  Totality: total
  Visibility: export
Attributes : k -> Type -> Type
  Totality: total
  Visibility: public export
Event : DOMEvent ev -> Attribute t ev
  Totality: total
  Visibility: export
displayAttribute : Attribute t ev -> Maybe String
  Totality: total
  Visibility: export
displayAttributes : Attributes t ev -> String
  Totality: total
  Visibility: export
dispAttr : String -> (a -> String) -> a -> Attribute t ev
  Totality: total
  Visibility: export
showAttr : Show a => String -> a -> Attribute t ev
  Totality: total
  Visibility: export
accesskey : String -> Attribute t ev
  Totality: total
  Visibility: export
action : String -> Attribute t ev
  Totality: total
  Visibility: export
alt : String -> Attribute t ev
  Totality: total
  Visibility: export
autocapitalize : Bool -> Attribute t ev
  Totality: total
  Visibility: export
autocomplete : Bool -> Attribute t ev
  Totality: total
  Visibility: export
autofocus : Bool -> Attribute t ev
  Totality: total
  Visibility: export
autoplay : Bool -> Attribute t ev
  Totality: total
  Visibility: export
checked : Bool -> Attribute t ev
  Totality: total
  Visibility: export
cite : String -> Attribute t ev
  Totality: total
  Visibility: export
class : Class -> Attribute t ev
  Totality: total
  Visibility: export
classes : List Class -> Attribute t ev
  Totality: total
  Visibility: export
cols : Bits32 -> Attribute t ev
  Totality: total
  Visibility: export
colspan : Bits32 -> Attribute t ev
  Totality: total
  Visibility: export
contenteditable : Bool -> Attribute t ev
  Totality: total
  Visibility: export
controls : Bool -> Attribute t ev
  Totality: total
  Visibility: export
data_ : String -> Attribute t ev
  Totality: total
  Visibility: export
dir : Dir -> Attribute t ev
  Totality: total
  Visibility: export
disabled : Bool -> Attribute t ev
  Totality: total
  Visibility: export
download : String -> Attribute t ev
  Totality: total
  Visibility: export
draggable : Bool -> Attribute t ev
  Totality: total
  Visibility: export
for : String -> Attribute t ev
  Totality: total
  Visibility: export
form : String -> Attribute t ev
  Totality: total
  Visibility: export
height : Bits32 -> Attribute t ev
  Totality: total
  Visibility: export
hidden : Bool -> Attribute t ev
  Totality: total
  Visibility: export
href : String -> Attribute t ev
  Totality: total
  Visibility: export
hreflang : String -> Attribute t ev
  Totality: total
  Visibility: export
id : String -> Attribute t ev
  Totality: total
  Visibility: export
label : String -> Attribute t ev
  Totality: total
  Visibility: export
lang : String -> Attribute t ev
  Totality: total
  Visibility: export
loading : LoadType -> Attribute t ev
  Totality: total
  Visibility: export
list : String -> Attribute t ev
  Totality: total
  Visibility: export
loop : Bool -> Attribute t ev
  Totality: total
  Visibility: export
maxlength : Bits32 -> Attribute t ev
  Totality: total
  Visibility: export
minlength : Bits32 -> Attribute t ev
  Totality: total
  Visibility: export
multiple : Bool -> Attribute t ev
  Totality: total
  Visibility: export
muted : Bool -> Attribute t ev
  Totality: total
  Visibility: export
name : String -> Attribute t ev
  Totality: total
  Visibility: export
placeholder : String -> Attribute t ev
  Totality: total
  Visibility: export
readonly : Bool -> Attribute t ev
  Totality: total
  Visibility: export
required : Bool -> Attribute t ev
  Totality: total
  Visibility: export
reverse : Bool -> Attribute t ev
  Totality: total
  Visibility: export
rows : Bits32 -> Attribute t ev
  Totality: total
  Visibility: export
rowspan : Bits32 -> Attribute t ev
  Totality: total
  Visibility: export
selected : Bool -> Attribute t ev
  Totality: total
  Visibility: export
spellcheck : Bool -> Attribute t ev
  Totality: total
  Visibility: export
src : String -> Attribute t ev
  Totality: total
  Visibility: export
style : String -> Attribute t ev
  Totality: total
  Visibility: export
tabindex : Int32 -> Attribute t ev
  Totality: total
  Visibility: export
target : String -> Attribute t ev
  Totality: total
  Visibility: export
title : String -> Attribute t ev
  Totality: total
  Visibility: export
type : InputType -> Attribute t ev
  Totality: total
  Visibility: export
value : String -> Attribute t ev
  Totality: total
  Visibility: export
width : Bits32 -> Attribute t ev
  Totality: total
  Visibility: export
wrap : Bool -> Attribute t ev
  Totality: total
  Visibility: export
click : (MouseInfo -> Maybe ev) -> Attribute t ev
  Totality: total
  Visibility: export
onClick : ev -> Attribute t ev
  Totality: total
  Visibility: export
onLeftClick : ev -> Attribute t ev
  Totality: total
  Visibility: export
onRightClick : ev -> Attribute t ev
  Totality: total
  Visibility: export
onMiddleClick : ev -> Attribute t ev
  Totality: total
  Visibility: export
dblClick : (MouseInfo -> Maybe ev) -> Attribute t ev
  Totality: total
  Visibility: export
onDblClick : ev -> Attribute t ev
  Totality: total
  Visibility: export
onMouseEnter : ev -> Attribute t ev
  Totality: total
  Visibility: export
onMouseLeave : ev -> Attribute t ev
  Totality: total
  Visibility: export
onMouseOver : ev -> Attribute t ev
  Totality: total
  Visibility: export
onMouseOut : ev -> Attribute t ev
  Totality: total
  Visibility: export
onResize : (Rect -> ev) -> Attribute t ev
  Totality: total
  Visibility: export
onChange : (String -> ev) -> Attribute t ev
  Totality: total
  Visibility: export
onChangeMaybe : (String -> Maybe ev) -> Attribute t ev
  Totality: total
  Visibility: export
onChecked : (Bool -> ev) -> Attribute t ev
  Totality: total
  Visibility: export
onInput : (String -> ev) -> Attribute t ev
  Totality: total
  Visibility: export
onScroll : (ScrollInfo -> ev) -> Attribute t ev
  Totality: total
  Visibility: export
onEnterDown : ev -> Attribute t ev
  Totality: total
  Visibility: export
onEscDown : ev -> Attribute t ev
  Totality: total
  Visibility: export
onKeyUp : (KeyInfo -> ev) -> Attribute t ev
  Totality: total
  Visibility: export
onBlur : ev -> Attribute t ev
  Totality: total
  Visibility: export
onFocus : ev -> Attribute t ev
  Totality: total
  Visibility: export