Idris2Doc
: filepath
Index
Default
Alternative
Black & White
Package filepath - Namespaces
Data.FilePath
Data.FilePath.Body
Data.FilePath.File