Idris2Doc : Cheerio.Utils

Cheerio.Utils

(source)

Definitions

primToMaybe : a -> Maybe a
Visibility: export
arrayToList : AnyPtr -> Ptr (List a)
Visibility: public export