Text.HTML.Ref

Definitions

data Ref : k -> Type

  A typed reference to an element or container in the DOM. Elements can
  
  This can be used as a type-safe ID when constructing
  HTML nodes and their attribute lists.
  In addition, we provide (pseudo-)element references for
  `body`, `document`, and `window`.

Totality: total
Visibility: public export
Constructors:

Id : String -> Ref tpe

Elem : String -> Ref Void

Body : Ref Void

Document : Ref Void

Window : Ref Void