Pack.Config.Environment.Variable

Reexports

Definitions

0 DirList : Type

Visibility: public export

data EnvVar : Type

Totality: total
Visibility: export
Constructor: 

MkEnvVar : String -> String -> EnvVar

Hint: 

Interpolation EnvVar

IdrisCodegenVar : Codegen -> EnvVar

  Code generation backend used by the Idris 2 compiler

Visibility: export

SchemeVar : FilePath -> EnvVar

  Path to the Scheme executable used by the Scheme backend

Visibility: export

IdrisBootVar : File Abs -> EnvVar

  Path to the Idris 2 boot file, used by Idris 2 Makefile

Visibility: export

PrefixVar : Path Abs -> EnvVar

  Installation prefix for Idris 2

Visibility: export

IdrisPrefixVar : Path Abs -> EnvVar

  Alternative way to set the Idris 2 installation prefix

Visibility: export

IdrisPackagePathVar : DirList -> EnvVar

  Directories where Idris 2 searches for package definitions,
  in addition to the default locations

Visibility: export

IdrisDataVar : DirList -> EnvVar

  Directories where Idris 2 looks for data files, typically
  support code for code generators

Visibility: export

IdrisLibsVar : DirList -> EnvVar

  Directories where Idris 2 searches for libraries used by code generators

Visibility: export