Idris2Doc : Web.MVC

Web.MVC

(source)
Reexports
import public JS
import public Web.MVC.Cmd
import public Web.MVC.View
import public Text.HTML
Definitions
runController : (e -> s -> (s, Cmd e)) -> (JSErr -> IO ()) -> e -> s -> IO ()
  Run (a part of) an interactive web page firing events of type
  `e` and holding state of type `s`.

  Visibility: export
runMVC : (e -> s -> s) -> (e -> s -> Cmd e) -> (JSErr -> IO ()) -> e -> s -> IO ()
  Visibility: export