Idris2Doc : Cheerio.Utils

Cheerio.Utils

(source)

Definitions

primToMaybe : a->Maybea
Visibility: export
arrayToList : AnyPtr->Ptr (Lista)
Visibility: public export