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
  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
  
Str : String -> String -> Attribute t
  
Bool : String -> Bool -> Attribute t
  
Event_ : Bool -> Bool -> Sink event => DOMEvent event -> Attribute t
  
Empty : Attribute t
attrID : List (Attribute t) -> Maybe (Ref t)
  Tries to extract the ID from a list of attributes

  Totality: total
  Visibility: export
attrIf : Bool -> Lazy (Attribute t) -> Attribute t
  Optional attribute that is set to `Empty` if the given `Bool` is `False`

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