Rhone.JS.Sink

A `Sink` is a monadic streaming function that consumes
data but produces no relevant output.

Definitions

rawInnerHtmlAt : ElemRef t -> String -> JSIO ()

  Replaces the `innerHTML` property of the target with the
  given `String`. Warning: The string will not be escaped
  before being inserted, so don't use this with text from
  untrusted sources.

Totality: total
Visibility: export

innerHtml : ElemRef t -> MSF JSIO String ()

  Sets the innerHTML property of the referenced node to
  the input string value.

Totality: total
Visibility: export

text : ElemRef t -> MSF JSIO String ()

  Replaces the target's child nodes with a `Text` node
  displaying the input `String`. The `String` will be
  properly escaped before being inserted.

Totality: total
Visibility: export

attribute : String -> MSF JSIO (HList [ElemRef t, Maybe String]) ()

  Sets or removes the attribute of the given name
  at the given target element.

Totality: total
Visibility: export

attributeAt : String -> ElemRef t -> MSF JSIO (Maybe String) ()

  Sets or unsets the attribute of the given element.

Totality: total
Visibility: export

attribute_ : String -> MSF JSIO (HList [ElemRef t, String]) ()

  Sets the attribute of the given name at the given target element.

Totality: total
Visibility: export

attributeAt_ : String -> ElemRef t -> MSF JSIO String ()

  Sets or unsets the attribute of the given element.

Totality: total
Visibility: export

boolAttribute : String -> MSF JSIO (HList [ElemRef t, Bool]) ()

  Sets or unsets the boolean attribute of the given name at
  the given target element.

Totality: total
Visibility: export

disabled : MSF JSIO (HList [ElemRef t, Bool]) ()

  Sets or unsets the `disabled` attribute of the given element.

Totality: total
Visibility: export

disabledAt : ElemRef t -> MSF JSIO Bool ()

  Sets or unsets the `disabled` attribute of the given element.

Totality: total
Visibility: export

hidden : MSF JSIO (HList [ElemRef t, Bool]) ()

  Sets or unsets the `hidden` attribute of the given element.

Totality: total
Visibility: export

hiddenAt : ElemRef t -> MSF JSIO Bool ()

  Sets or unsets the `hidden` attribute of the given element.

Totality: total
Visibility: export

class : MSF JSIO (HList [ElemRef t, String]) ()

  Sets the `class` attribute of the given element.

Totality: total
Visibility: export

classAt : ElemRef t -> MSF JSIO String ()

  Sets the `class` attribute of the given element.

Totality: total
Visibility: export

interface SetValidity : Type -> Type

  Interface for DOM elements that can have a custom
  validity message set.

Parameters: t
Constraints: SafeCast t
Methods:

setValidityMessage : t -> String -> JSIO ()

Implementations:

SetValidity HTMLButtonElement

SetValidity HTMLFieldSetElement

SetValidity HTMLInputElement

SetValidity HTMLObjectElement

SetValidity HTMLOutputElement

SetValidity HTMLSelectElement

SetValidity HTMLTextAreaElement

setValidityMessage : SetValidity t => t -> String -> JSIO ()

Totality: total
Visibility: public export

setValidityMessageAt : SetValidity t => ElemRef t -> String -> JSIO ()

Totality: total
Visibility: export

validityMessageAt : SetValidity t => ElemRef t -> MSF JSIO String ()

  Sets a custom validity message at the given target element

Totality: total
Visibility: export

leftInvalid : SetValidity t => ElemRef t -> MSF JSIO (Either String x) ()

  Sets or unsets a custom validity message at the given target element
  depending on whether the input value is a `Left`.

Totality: total
Visibility: export

interface SetValue : Type -> Type

Parameters: t
Constraints: SafeCast t
Methods:

setValue' : String -> t -> JSIO ()

Implementations:

SetValue HTMLButtonElement

SetValue HTMLDataElement

SetValue HTMLInputElement

SetValue HTMLOptionElement

SetValue HTMLOutputElement

SetValue HTMLParamElement

SetValue HTMLSelectElement

SetValue HTMLTextAreaElement

SetValue RadioNodeList

setValue' : SetValue t => String -> t -> JSIO ()

Totality: total
Visibility: public export

setValue : SetValue t => ElemRef t -> String -> JSIO ()

Totality: total
Visibility: export

value : SetValue t => MSF JSIO (HList [ElemRef t, String]) ()

Totality: total
Visibility: export

valueOf : SetValue t => ElemRef t -> MSF JSIO String ()

Totality: total
Visibility: export

setChecked : Bool -> HTMLInputElement -> JSIO ()

Totality: total
Visibility: export

checked : MSF JSIO (HList [ElemRef HTMLInputElement, Bool]) ()

Totality: total
Visibility: export

isChecked : ElemRef HTMLInputElement -> MSF JSIO Bool ()

Totality: total
Visibility: export

setItem : MSF JSIO (HList [String, String]) ()

Totality: total
Visibility: export

setItemAt : String -> MSF JSIO String ()

Totality: total
Visibility: export

setFocus : {auto 0 {conArg:37612} : JSType t} -> {auto 0 _ : Elem HTMLOrSVGElement (Types t)} -> SafeCast t => t -> JSIO ()

Totality: total
Visibility: export

focus : {auto 0 {conArg:37643} : JSType t} -> {auto 0 _ : Elem HTMLOrSVGElement (Types t)} -> SafeCast t => MSF JSIO (ElemRef t) ()

Totality: total
Visibility: export

focusAt : {auto 0 {conArg:37686} : JSType t} -> {auto 0 _ : Elem HTMLOrSVGElement (Types t)} -> SafeCast t => ElemRef t -> MSF JSIO i ()

Totality: total
Visibility: export