Idris2Doc : Cheerio.Data

Cheerio.Data

(source)
Definitions
data CheerioModule : Type
  Totality: total
  Visibility: export
  Constructor: 
MkCheerioModule : AnyPtr -> CheerioModule
data CheerioApi : Type
  Totality: total
  Visibility: export
  Constructor: 
MkCheerioApi : AnyPtr -> CheerioApi
data Cheerio : Type
  Totality: total
  Visibility: export
  Constructor: 
MkCheerio : AnyPtr -> Cheerio
data AnyNode : Type
  Totality: total
  Visibility: export