Module

Halogen.HTML.Properties

Package
purescript-halogen
Repository
slamdata/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 :: # 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

Instances

#prop Source

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

Creates an indexed HTML property.

#attr Source

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

Creates an indexed HTML attribute.

#attrNS Source

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

Creates an indexed HTML attribute.

#ref Source

ref :: forall r i. 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.

#alt Source

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

#charset Source

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

#class_ Source

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

#classes Source

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

#cols Source

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

#rows Source

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

#colSpan Source

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

#rowSpan Source

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

#for Source

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

#height Source

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

#width Source

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

#href Source

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

#id_ Source

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

#name Source

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

#rel Source

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

#src Source

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

#target Source

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

#title Source

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

#method Source

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

#action Source

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

#enctype Source

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

#noValidate Source

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

#type_ Source

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

#value Source

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

#min Source

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

#max Source

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

#step Source

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

#disabled Source

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

#enabled Source

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

#required Source

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

#readOnly Source

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

#spellcheck Source

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

#checked Source

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

#selected Source

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

#placeholder Source

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

#autocomplete Source

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

#list Source

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

#autofocus Source

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

#multiple Source

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

#pattern Source

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

#accept Source

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

#autoplay Source

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

#controls Source

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

#loop Source

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

#muted Source

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

#poster Source

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

#preload Source

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

#draggable Source

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

#tabIndex Source

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

Re-exports from DOM.HTML.Indexed

#CSSPixel Source

type CSSPixel = Int

Re-exports from DOM.HTML.Indexed.ButtonType

Re-exports from DOM.HTML.Indexed.FormMethod

#FormMethod Source

data FormMethod

Constructors

Re-exports from DOM.HTML.Indexed.InputType

Re-exports from DOM.HTML.Indexed.MenuType

Re-exports from DOM.HTML.Indexed.MenuitemType

Re-exports from DOM.HTML.Indexed.OnOff

#OnOff Source

data OnOff

Constructors

Re-exports from DOM.HTML.Indexed.OrderedListType

Re-exports from DOM.HTML.Indexed.PreloadValue

Re-exports from DOM.HTML.Indexed.StepValue

#StepValue Source

data StepValue

Constructors