Pack.Runner.Develop

Definitions

idrisRepl : HasIO io => Maybe (File Abs) -> IdrisEnv -> EitherT PackErr io ()

  Use the installed Idris to start a REPL session with the
  given argument string.

Visibility: export

exec : HasIO io => File Abs -> CmdArgList -> IdrisEnv -> EitherT PackErr io ()

  Use the installed Idris to compile the given source file
  and invoke its main function with the given argument list.

Visibility: export

build : HasIO io => PkgOrIpkg -> IdrisEnv -> EitherT PackErr io ()

  Build a local library given as an `.ipkg` file.

Visibility: export

buildDeps : HasIO io => PkgOrIpkg -> IdrisEnv -> EitherT PackErr io ()

  Install dependencies of a local `.ipkg` file or package name

Visibility: export

typecheck : HasIO io => PkgOrIpkg -> IdrisEnv -> EitherT PackErr io ()

  Typecheck a local library given as an `.ipkg` file or package name

Visibility: export

clean : HasIO io => PkgOrIpkg -> IdrisEnv -> EitherT PackErr io ()

  Cleanup a local library given as an `.ipkg` file or package name

Visibility: export

runIpkg : HasIO io => File Abs -> CmdArgList -> IdrisEnv -> EitherT PackErr io ()

  Build and execute a local `.ipkg` file.

Visibility: export

runTest : HasIO io => PkgName -> CmdArgList -> IdrisEnv -> EitherT PackErr io ()

  Build and execute the test suite of a package.

Visibility: export

execApp : HasIO io => PkgName -> CmdArgList -> IdrisEnv -> EitherT PackErr io ()

  Install and run an executable given as a package name.

Visibility: export

runApp : HasIO io => PkgOrIpkg -> CmdArgList -> IdrisEnv -> EitherT PackErr io ()

Visibility: export