Idris2Doc
: Pack.Runner.Uninstall
Index
Default
Alternative
Black & White
Pack.Runner.Uninstall
(
source
)
Definitions
uninstallPack
:
LogRef
=>
PackDirs
=>
HasIO
io
=>
EitherT
PackErr
io
()
Visibility
:
export