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 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.

#expand Source

expand :: forall lt gt a i. 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 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

#id_ Source

id_ :: forall r i. Warn (Text "`id_` is deprecated. Use `id` instead.") => 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

#style Source

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

Sets the style attribute to the specified string.

... [ style "height: 50px;" ]

If you prefer to use typed CSS for this attribute, you can use the purescript-halogen-css library: https://github.com/purescript-halogen/purescript-halogen-css

#scope Source

scope :: forall r i. ScopeValue -> IProp (scope :: ScopeValue | 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

#download Source

download :: forall r i. String -> IProp (download :: 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

#selectedIndex Source

selectedIndex :: forall r i. Int -> IProp (selectedIndex :: Int | 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. InputAcceptType -> IProp (accept :: InputAcceptType | 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

#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.ScopeValue

#ScopeValue Source

data ScopeValue

Constructors

Re-exports from DOM.HTML.Indexed.StepValue

#StepValue Source

data StepValue

Constructors

Any
Step Number