Idris2Doc
: Cheerio.Utils
Index
Default
Alternative
Black & White
Cheerio.Utils
(
source
)
Definitions
primToMaybe
:
a
->
Maybe
a
Visibility
:
export
arrayToList
:
AnyPtr
->
Ptr
(
List
a
)
Visibility
:
public export