Idris2Doc : Rhone.JS.Input
Definitions
input : LiftJSIO m => (ev -> Event String) -> (String -> Either String a) -> ElemRef HTMLInputElement -> MSF m ev (Either String a)
- Visibility: export
getInput : LiftJSIO m => Eq ev => ev -> (String -> Either String a) -> ElemRef HTMLInputElement -> MSF m ev (Either String a)
- Visibility: export