Idris2Doc : Idris.Package

Idris.Package

(source)
Reexports
import public Idris.Package.Types
Definitions
parsePkgFile : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => Bool -> String -> Core PkgDesc
  Visibility: export
build : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => PkgDesc -> List CLOpt -> Core (List Error)
  Visibility: export
check : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => PkgDesc -> List CLOpt -> Core (List Error)
  Visibility: export
processPackageOpts : Ref Ctxt Defs => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => List CLOpt -> Core Bool
  Visibility: export
findIpkg : Ref Ctxt Defs => Ref ROpts REPLOpts => Ref Syn SyntaxInfo => Maybe String -> Core (Maybe String)
  Visibility: export