Module

Halogen.HTML.Properties

Package: purescript-halogen
Repository: purescript-halogen/purescript-halogen

A closed signature of type-indexed (refined) HTML properties; these can be used to ensure correctness by construction, and then erased into the standard unrefined versions.

#IProp Source

newtype IProp (r :: Row Type) i

The phantom row r can be thought of as a context which is synthesized in the course of constructing a refined HTML expression.

Constructors

IProp (Prop (Input i))

Instances

Newtype (IProp r i) _
Functor (IProp r)

#prop Source

prop :: forall i r value. IsProp value => PropName value -> value -> IProp r i

Creates an indexed HTML property.

#attr Source

attr :: forall i r. AttrName -> String -> IProp r i

Creates an indexed HTML attribute.

#attrNS Source

attrNS :: forall i r. Namespace -> AttrName -> String -> IProp r i

Creates an indexed HTML attribute.

#ref Source

ref :: forall i r. RefLabel -> IProp r i

The ref property allows an input to be raised once a HTMLElement has been created or destroyed in the DOM for the element that the property is attached to.

#expand Source

expand :: forall i a gt lt. Union lt a gt => IProp lt i -> IProp gt i

Every IProp lt i can be cast to some IProp gt i as long as lt is a subset of gt.

#alt Source

alt :: forall i r. String -> IProp (alt :: String | r) i

#charset Source

charset :: forall i r. String -> IProp (charset :: String | r) i

#class_ Source

class_ :: forall i r. ClassName -> IProp (class :: String | r) i

#classes Source

classes :: forall i r. Array ClassName -> IProp (class :: String | r) i

#cols Source

cols :: forall i r. Int -> IProp (cols :: Int | r) i

#rows Source

rows :: forall i r. Int -> IProp (rows :: Int | r) i

#colSpan Source

colSpan :: forall i r. Int -> IProp (colSpan :: Int | r) i

#rowSpan Source

rowSpan :: forall i r. Int -> IProp (rowSpan :: Int | r) i

#for Source

for :: forall i r. String -> IProp (for :: String | r) i

#height Source

height :: forall i r. CSSPixel -> IProp (height :: CSSPixel | r) i

#width Source

width :: forall i r. CSSPixel -> IProp (width :: CSSPixel | r) i

#href Source

href :: forall i r. String -> IProp (href :: String | r) i

#id_ Source

id_ :: forall i r. String -> IProp (id :: String | r) i

#name Source

name :: forall i r. String -> IProp (name :: String | r) i

#rel Source

rel :: forall i r. String -> IProp (rel :: String | r) i

#src Source

src :: forall i r. String -> IProp (src :: String | r) i

#target Source

target :: forall i r. String -> IProp (target :: String | r) i

#title Source

title :: forall i r. String -> IProp (title :: String | r) i

#download Source

download :: forall i r. String -> IProp (download :: String | r) i

#method Source

method :: forall i r. FormMethod -> IProp (method :: FormMethod | r) i

#action Source

action :: forall i r. String -> IProp (action :: String | r) i

#enctype Source

enctype :: forall i r. MediaType -> IProp (enctype :: MediaType | r) i

#noValidate Source

noValidate :: forall i r. Boolean -> IProp (noValidate :: Boolean | r) i

#type_ Source

type_ :: forall value i r. IsProp value => value -> IProp (type :: value | r) i

#value Source

value :: forall i r. String -> IProp (value :: String | r) i

#min Source

min :: forall i r. Number -> IProp (min :: Number | r) i

#max Source

max :: forall i r. Number -> IProp (max :: Number | r) i

#step Source

step :: forall i r. StepValue -> IProp (step :: StepValue | r) i

#disabled Source

disabled :: forall i r. Boolean -> IProp (disabled :: Boolean | r) i

#enabled Source

enabled :: forall i r. Boolean -> IProp (disabled :: Boolean | r) i

#required Source

required :: forall i r. Boolean -> IProp (required :: Boolean | r) i

#readOnly Source

readOnly :: forall i r. Boolean -> IProp (readOnly :: Boolean | r) i

#spellcheck Source

spellcheck :: forall i r. Boolean -> IProp (spellcheck :: Boolean | r) i

#checked Source

checked :: forall i r. Boolean -> IProp (checked :: Boolean | r) i

#selected Source

selected :: forall i r. Boolean -> IProp (selected :: Boolean | r) i

#selectedIndex Source

selectedIndex :: forall i r. Int -> IProp (selectedIndex :: Int | r) i

#placeholder Source

placeholder :: forall i r. String -> IProp (placeholder :: String | r) i

#autocomplete Source

autocomplete :: forall i r. Boolean -> IProp (autocomplete :: OnOff | r) i

#list Source

list :: forall i r. String -> IProp (list :: String | r) i

#autofocus Source

autofocus :: forall i r. Boolean -> IProp (autofocus :: Boolean | r) i

#multiple Source

multiple :: forall i r. Boolean -> IProp (multiple :: Boolean | r) i

#pattern Source

pattern :: forall i r. String -> IProp (pattern :: String | r) i

#accept Source

accept :: forall i r. InputAcceptType -> IProp (accept :: InputAcceptType | r) i

#autoplay Source

autoplay :: forall i r. Boolean -> IProp (autoplay :: Boolean | r) i

#controls Source

controls :: forall i r. Boolean -> IProp (controls :: Boolean | r) i

#loop Source

loop :: forall i r. Boolean -> IProp (loop :: Boolean | r) i

#muted Source

muted :: forall i r. Boolean -> IProp (muted :: Boolean | r) i

#poster Source

poster :: forall i r. String -> IProp (poster :: String | r) i

#preload Source

preload :: forall i r. PreloadValue -> IProp (preload :: PreloadValue | r) i

#draggable Source

draggable :: forall i r. Boolean -> IProp (draggable :: Boolean | r) i

#tabIndex Source

tabIndex :: forall i r. Int -> IProp (tabIndex :: Int | r) i

Re-exports from DOM.HTML.Indexed

#CSSPixel Source

type CSSPixel = Int

Re-exports from DOM.HTML.Indexed.ButtonType

#ButtonType Source

data ButtonType

Constructors

Re-exports from DOM.HTML.Indexed.FormMethod

#FormMethod Source

data FormMethod

Constructors

POST
GET

Re-exports from DOM.HTML.Indexed.InputAcceptType

#InputAcceptType Source

newtype InputAcceptType

Constructors

InputAcceptType (Array InputAcceptTypeAtom)

Instances

Semigroup InputAcceptType

Re-exports from DOM.HTML.Indexed.InputType

#InputType Source

data InputType

Constructors

Re-exports from DOM.HTML.Indexed.MenuType

#MenuType Source

data MenuType

Constructors

Re-exports from DOM.HTML.Indexed.MenuitemType

#MenuitemType Source

data MenuitemType

Constructors

Re-exports from DOM.HTML.Indexed.OnOff

#OnOff Source

data OnOff

Constructors

On
Off

Re-exports from DOM.HTML.Indexed.OrderedListType

#OrderedListType Source

data OrderedListType

Constructors

Re-exports from DOM.HTML.Indexed.PreloadValue

#PreloadValue Source

data PreloadValue

Constructors

Re-exports from DOM.HTML.Indexed.StepValue

#StepValue Source

data StepValue

Constructors

Any
Step Number