Safe Haskell	None
Language	GHC2021

Halogen.HTML.Properties

Synopsis

newtype IProp (r :: Row Type) msg = IProp (Prop (Input msg))
prop :: forall value (r :: Row Type) msg. IsProp value => PropName value -> value -> IProp r msg
attr :: forall (r :: Row Type) msg. AttrName -> Text -> IProp r msg
attrNS :: forall (r :: Row Type) i. Namespace -> AttrName -> Text -> IProp r i
rows :: forall (r :: Row Type) msg. HasType "rows" Int r => Int -> IProp r msg
castProp :: forall (r1 :: Row Type) (r2 :: Row Type) msg. Subset r1 r2 => IProp r1 msg -> IProp r2 msg
ref :: forall (r :: Row Type) i. RefLabel -> IProp r i
alt :: forall (r :: Row Type) i. HasType "alt" Text r => Text -> IProp r i
charset :: forall (r :: Row Type) i. HasType "charset" Text r => Text -> IProp r i
class_ :: forall (r :: Row Type) i. HasType "class" Text r => ClassName -> IProp r i
classes :: forall (r :: Row Type) i. HasType "class" Text r => [ClassName] -> IProp r i
cols :: forall (r :: Row Type) i. HasType "cols" Int r => Int -> IProp r i
colSpan :: forall (r :: Row Type) i. HasType "colSpan" Int r => Int -> IProp r i
rowSpan :: forall (r :: Row Type) i. HasType "rowSpan" Int r => Int -> IProp r i
for :: forall (r :: Row Type) i. HasType "for" Text r => Text -> IProp r i
height :: forall (r :: Row Type) i. HasType "height" CSSPixel r => CSSPixel -> IProp r i
width :: forall (r :: Row Type) i. HasType "width" CSSPixel r => CSSPixel -> IProp r i
href :: forall (r :: Row Type) i. HasType "href" Text r => Text -> IProp r i
id :: forall (r :: Row Type) i. HasType "id" Text r => Text -> IProp r i
name :: forall (r :: Row Type) i. HasType "name" Text r => Text -> IProp r i
rel :: forall (r :: Row Type) i. HasType "rel" Text r => Text -> IProp r i
src :: forall (r :: Row Type) i. HasType "src" Text r => Text -> IProp r i
srcDoc :: forall (r :: Row Type) i. HasType "srcDoc" Text r => Text -> IProp r i
style :: forall (r :: Row Type) i. HasType "style" Text r => Css -> IProp r i
styleText :: forall (r :: Row Type) i. HasType "style" Text r => Text -> IProp r i
scope :: forall (r :: Row Type) i. HasType "scope" ScopeValue r => ScopeValue -> IProp r i
target :: forall (r :: Row Type) i. HasType "target" Text r => Text -> IProp r i
title :: forall (r :: Row Type) i. HasType "title" Text r => Text -> IProp r i
download :: forall (r :: Row Type) i. HasType "download" Text r => Text -> IProp r i
method :: forall (r :: Row Type) i. HasType "method" FormMethod r => FormMethod -> IProp r i
action :: forall (r :: Row Type) i. HasType "action" Text r => Text -> IProp r i
enctype :: forall (r :: Row Type) i. HasType "enctype" MediaType r => MediaType -> IProp r i
noValidate :: forall (r :: Row Type) i. HasType "noValidate" Bool r => Bool -> IProp r i
type_ :: forall value (r :: Row Type) i. (HasType "type" value r, IsProp value) => value -> IProp r i
value :: forall value (r :: Row Type) i. (HasType "value" value r, IsProp value) => value -> IProp r i
min :: forall (r :: Row Type) i. HasType "min" Double r => Double -> IProp r i
minLength :: forall (r :: Row Type) i. HasType "minLength" Int r => Int -> IProp r i
max :: forall (r :: Row Type) i. HasType "max" Double r => Double -> IProp r i
maxLength :: forall (r :: Row Type) i. HasType "maxLength" Int r => Int -> IProp r i
step :: forall (r :: Row Type) i. HasType "step" StepValue r => StepValue -> IProp r i
enabled :: forall (r :: Row Type) i. HasType "disabled" Bool r => Bool -> IProp r i
disabled :: forall (r :: Row Type) i. HasType "disabled" Bool r => Bool -> IProp r i
required :: forall (r :: Row Type) i. HasType "required" Bool r => Bool -> IProp r i
readOnly :: forall (r :: Row Type) i. HasType "readOnly" Bool r => Bool -> IProp r i
spellcheck :: forall (r :: Row Type) i. HasType "spellcheck" Bool r => Bool -> IProp r i
checked :: forall (r :: Row Type) i. HasType "checked" Bool r => Bool -> IProp r i
selected :: forall (r :: Row Type) i. HasType "selected" Bool r => Bool -> IProp r i
selectedIndex :: forall (r :: Row Type) i. HasType "selectedIndex" Int r => Int -> IProp r i
placeholder :: forall (r :: Row Type) i. HasType "placeholder" Text r => Text -> IProp r i
autocomplete :: forall (r :: Row Type) i. HasType "autocomplete" AutocompleteType r => AutocompleteType -> IProp r i
list :: forall (r :: Row Type) i. HasType "list" Text r => Text -> IProp r i
autofocus :: forall (r :: Row Type) i. HasType "autofocus" Bool r => Bool -> IProp r i
multiple :: forall (r :: Row Type) i. HasType "multiple" Bool r => Bool -> IProp r i
accept :: forall (r :: Row Type) i. HasType "accept" InputAcceptType r => InputAcceptType -> IProp r i
pattern_ :: forall (r :: Row Type) i. HasType "pattern" Text r => Text -> IProp r i
autoplay :: forall (r :: Row Type) i. HasType "autoplay" Bool r => Bool -> IProp r i
controls :: forall (r :: Row Type) i. HasType "controls" Bool r => Bool -> IProp r i
loop :: forall (r :: Row Type) i. HasType "loop" Bool r => Bool -> IProp r i
muted :: forall (r :: Row Type) i. HasType "muted" Bool r => Bool -> IProp r i
poster :: forall (r :: Row Type) i. HasType "poster" Text r => Text -> IProp r i
preload :: forall (r :: Row Type) i. HasType "preload" PreloadValue r => PreloadValue -> IProp r i
draggable :: forall (r :: Row Type) i. HasType "draggable" Bool r => Bool -> IProp r i
tabIndex :: forall (r :: Row Type) i. HasType "tabIndex" Int r => Int -> IProp r i

Documentation

newtype IProp (r :: Row Type) msg Source #

Constructors

IProp (Prop (Input msg))

prop :: forall value (r :: Row Type) msg. IsProp value => PropName value -> value -> IProp r msg Source #

attr :: forall (r :: Row Type) msg. AttrName -> Text -> IProp r msg Source #

attrNS :: forall (r :: Row Type) i. Namespace -> AttrName -> Text -> IProp r i Source #

rows :: forall (r :: Row Type) msg. HasType "rows" Int r => Int -> IProp r msg Source #

castProp :: forall (r1 :: Row Type) (r2 :: Row Type) msg. Subset r1 r2 => IProp r1 msg -> IProp r2 msg Source #

ref :: forall (r :: Row Type) i. RefLabel -> IProp r i Source #

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 :: forall (r :: Row Type) i. HasType "alt" Text r => Text -> IProp r i Source #

charset :: forall (r :: Row Type) i. HasType "charset" Text r => Text -> IProp r i Source #

class_ :: forall (r :: Row Type) i. HasType "class" Text r => ClassName -> IProp r i Source #

classes :: forall (r :: Row Type) i. HasType "class" Text r => [ClassName] -> IProp r i Source #

cols :: forall (r :: Row Type) i. HasType "cols" Int r => Int -> IProp r i Source #

colSpan :: forall (r :: Row Type) i. HasType "colSpan" Int r => Int -> IProp r i Source #

rowSpan :: forall (r :: Row Type) i. HasType "rowSpan" Int r => Int -> IProp r i Source #

for :: forall (r :: Row Type) i. HasType "for" Text r => Text -> IProp r i Source #

height :: forall (r :: Row Type) i. HasType "height" CSSPixel r => CSSPixel -> IProp r i Source #

width :: forall (r :: Row Type) i. HasType "width" CSSPixel r => CSSPixel -> IProp r i Source #

href :: forall (r :: Row Type) i. HasType "href" Text r => Text -> IProp r i Source #

id :: forall (r :: Row Type) i. HasType "id" Text r => Text -> IProp r i Source #

name :: forall (r :: Row Type) i. HasType "name" Text r => Text -> IProp r i Source #

rel :: forall (r :: Row Type) i. HasType "rel" Text r => Text -> IProp r i Source #

src :: forall (r :: Row Type) i. HasType "src" Text r => Text -> IProp r i Source #

srcDoc :: forall (r :: Row Type) i. HasType "srcDoc" Text r => Text -> IProp r i Source #

style :: forall (r :: Row Type) i. HasType "style" Text r => Css -> IProp r i Source #

styleText :: forall (r :: Row Type) i. HasType "style" Text r => Text -> IProp r i Source #

scope :: forall (r :: Row Type) i. HasType "scope" ScopeValue r => ScopeValue -> IProp r i Source #

target :: forall (r :: Row Type) i. HasType "target" Text r => Text -> IProp r i Source #

title :: forall (r :: Row Type) i. HasType "title" Text r => Text -> IProp r i Source #

download :: forall (r :: Row Type) i. HasType "download" Text r => Text -> IProp r i Source #

method :: forall (r :: Row Type) i. HasType "method" FormMethod r => FormMethod -> IProp r i Source #

action :: forall (r :: Row Type) i. HasType "action" Text r => Text -> IProp r i Source #

enctype :: forall (r :: Row Type) i. HasType "enctype" MediaType r => MediaType -> IProp r i Source #

noValidate :: forall (r :: Row Type) i. HasType "noValidate" Bool r => Bool -> IProp r i Source #

type_ :: forall value (r :: Row Type) i. (HasType "type" value r, IsProp value) => value -> IProp r i Source #

value :: forall value (r :: Row Type) i. (HasType "value" value r, IsProp value) => value -> IProp r i Source #

min :: forall (r :: Row Type) i. HasType "min" Double r => Double -> IProp r i Source #

minLength :: forall (r :: Row Type) i. HasType "minLength" Int r => Int -> IProp r i Source #

max :: forall (r :: Row Type) i. HasType "max" Double r => Double -> IProp r i Source #

maxLength :: forall (r :: Row Type) i. HasType "maxLength" Int r => Int -> IProp r i Source #

step :: forall (r :: Row Type) i. HasType "step" StepValue r => StepValue -> IProp r i Source #

enabled :: forall (r :: Row Type) i. HasType "disabled" Bool r => Bool -> IProp r i Source #

disabled :: forall (r :: Row Type) i. HasType "disabled" Bool r => Bool -> IProp r i Source #

required :: forall (r :: Row Type) i. HasType "required" Bool r => Bool -> IProp r i Source #

readOnly :: forall (r :: Row Type) i. HasType "readOnly" Bool r => Bool -> IProp r i Source #

spellcheck :: forall (r :: Row Type) i. HasType "spellcheck" Bool r => Bool -> IProp r i Source #

checked :: forall (r :: Row Type) i. HasType "checked" Bool r => Bool -> IProp r i Source #

selected :: forall (r :: Row Type) i. HasType "selected" Bool r => Bool -> IProp r i Source #

selectedIndex :: forall (r :: Row Type) i. HasType "selectedIndex" Int r => Int -> IProp r i Source #

placeholder :: forall (r :: Row Type) i. HasType "placeholder" Text r => Text -> IProp r i Source #

autocomplete :: forall (r :: Row Type) i. HasType "autocomplete" AutocompleteType r => AutocompleteType -> IProp r i Source #

list :: forall (r :: Row Type) i. HasType "list" Text r => Text -> IProp r i Source #

autofocus :: forall (r :: Row Type) i. HasType "autofocus" Bool r => Bool -> IProp r i Source #

multiple :: forall (r :: Row Type) i. HasType "multiple" Bool r => Bool -> IProp r i Source #

accept :: forall (r :: Row Type) i. HasType "accept" InputAcceptType r => InputAcceptType -> IProp r i Source #

pattern_ :: forall (r :: Row Type) i. HasType "pattern" Text r => Text -> IProp r i Source #

autoplay :: forall (r :: Row Type) i. HasType "autoplay" Bool r => Bool -> IProp r i Source #

controls :: forall (r :: Row Type) i. HasType "controls" Bool r => Bool -> IProp r i Source #

loop :: forall (r :: Row Type) i. HasType "loop" Bool r => Bool -> IProp r i Source #

muted :: forall (r :: Row Type) i. HasType "muted" Bool r => Bool -> IProp r i Source #

poster :: forall (r :: Row Type) i. HasType "poster" Text r => Text -> IProp r i Source #

preload :: forall (r :: Row Type) i. HasType "preload" PreloadValue r => PreloadValue -> IProp r i Source #

draggable :: forall (r :: Row Type) i. HasType "draggable" Bool r => Bool -> IProp r i Source #

tabIndex :: forall (r :: Row Type) i. HasType "tabIndex" Int r => Int -> IProp r i Source #