Package dom-mvc - Namespaces

• Text.HTML
• Text.HTML.Attribute
• Text.HTML.Event
• Text.HTML.Node
• Text.HTML.Select

  Utilities for working with `` elements

  Web.MVC

  Web.MVC.Animate

  Utilities not (yet) available from idris2-dom

  Web.MVC.Cmd

  Web.MVC.Event

  Web.MVC.Http

  Web.MVC.Util

  Web.MVC.View

  Web.MVC.Widget

  Web.MVC.Canvas

  Web.MVC.Canvas.Angle

  Web.MVC.Canvas.Scene

  Web.MVC.Canvas.Shape

  Web.MVC.Canvas.Style

  Web.MVC.Canvas.Transformation