Idris2Doc : Control.Monad.Dom

Control.Monad.Dom

(source)
Reexports
import public Control.Monad.Dom.DomIO
import public Control.Monad.Dom.Event
import public Control.Monad.Dom.Interface