Idris2Doc : Text.HTML.Ref

Text.HTML.Ref

(source)

Definitions

dataRef : 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->Reftpe
Elem : String->RefVoid
Body : RefVoid
Document : RefVoid
Window : RefVoid