Idris2Doc : Rhone.JS.Input

Rhone.JS.Input

(source)

Definitions

input : (ev -> Event String) -> (String -> Either String a) -> ElemRef HTMLInputElement -> MSF JSIO ev (Either String a)
Visibility: export
getInput : Eq ev => ev -> (String -> Either String a) -> ElemRef HTMLInputElement -> MSF JSIO ev (Either String a)
Visibility: export