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

getValue : LiftJSIO m => HasValue t => t -> m String

Totality: total
Visibility: export

value : LiftJSIO m => HasValue t => MSF m (ElemRef t) String

Totality: total
Visibility: export

valueOf : LiftJSIO m => HasValue t => ElemRef t -> MSF m i String

Totality: total
Visibility: export

meterValue : LiftJSIO m => MSF m (ElemRef HTMLMeterElement) Double

Totality: total
Visibility: export

meterValueOf : LiftJSIO m => ElemRef HTMLMeterElement -> MSF m i Double

Totality: total
Visibility: export

progressValue : LiftJSIO m => MSF m (ElemRef HTMLProgressElement) Double

Totality: total
Visibility: export

progressValueOf : LiftJSIO m => ElemRef HTMLProgressElement -> MSF m i Double

Totality: total
Visibility: export

getChecked : LiftJSIO m => HTMLInputElement -> m Bool

Totality: total
Visibility: export

checked : LiftJSIO m => MSF m (ElemRef HTMLInputElement) Bool

Totality: total
Visibility: export

checkedAt : LiftJSIO m => ElemRef HTMLInputElement -> MSF m i Bool

Totality: total
Visibility: export

windowLocation : LiftJSIO m => MSF m i Location

Totality: total
Visibility: export

windowHash : LiftJSIO m => MSF m i String

Totality: total
Visibility: export