Rhone.JS.Source

A `Source` is a monadic streaming function that produces
values independently of the input value.

Definitions

interface HasValue : Type -> Type

Parameters: t
Constraints: SafeCast t
Methods:

getValue : t -> JSIO String

Implementations:

HasValue HTMLButtonElement

HasValue HTMLDataElement

HasValue HTMLInputElement

HasValue HTMLOptionElement

HasValue HTMLOutputElement

HasValue HTMLParamElement

HasValue HTMLSelectElement

HasValue HTMLTextAreaElement

HasValue RadioNodeList

getValue : HasValue t => t -> JSIO String

Totality: total
Visibility: public export

value : HasValue t => MSF JSIO (ElemRef t) String

Totality: total
Visibility: export

valueOf : HasValue t => ElemRef t -> MSF JSIO i String

Totality: total
Visibility: export

meterValue : MSF JSIO (ElemRef HTMLMeterElement) Double

Totality: total
Visibility: export

meterValueOf : ElemRef HTMLMeterElement -> MSF JSIO i Double

Totality: total
Visibility: export

progressValue : MSF JSIO (ElemRef HTMLProgressElement) Double

Totality: total
Visibility: export

progressValueOf : ElemRef HTMLProgressElement -> MSF JSIO i Double

Totality: total
Visibility: export

getChecked : HTMLInputElement -> JSIO Bool

Totality: total
Visibility: export

checked : MSF JSIO (ElemRef HTMLInputElement) Bool

Totality: total
Visibility: export

checkedAt : ElemRef HTMLInputElement -> MSF JSIO i Bool

Totality: total
Visibility: export

windowLocation : MSF JSIO i Location

Totality: total
Visibility: export

windowHash : MSF JSIO i String

Totality: total
Visibility: export