Idris.SetOptions

Definitions

candidateDirs : Ref Ctxt Defs => String -> String -> PkgVersionBounds -> Core (List (String, Maybe PkgVersion))

  Get a list of all the candidate directories that match a package spec
  in a given path. Return an empty list on file error (e.g. path not existing)
  
  Only package's with build artifacts for the correct TTC version for the
  compiler will be considered.

Visibility: export

findPkgDirs : Ref Ctxt Defs => String -> PkgVersionBounds -> Core (List (String, Maybe PkgVersion))

  Find all package directories (plus version) matching
  the given package name and version bounds. Results
  will be sorted with the latest package version first.
  
  All package _search paths_ will be searched for package
  _directories_ that fit the requested critera.
  
  Only packages with build artifacts for the correct TTC version for the
  compiler will be considered.

Visibility: export

findPkgDir : Ref Ctxt Defs => String -> PkgVersionBounds -> Core (Maybe String)

Visibility: export

addPkgDir : Ref Ctxt Defs => String -> PkgVersionBounds -> Core ()

  Attempt to find and add a package with the given name and bounds
  in one of the known package paths.

Visibility: export

setIncrementalCG : Ref Ctxt Defs => Ref ROpts REPLOpts => Bool -> String -> Core ()

Visibility: export

preOptions : Ref Ctxt Defs => Ref ROpts REPLOpts => List CLOpt -> Core Bool

  Options to be processed before type checking. Return whether to continue.

Visibility: export

postOptions : Ref Ctxt Defs => Ref UST UState => Ref Syn SyntaxInfo => Ref MD Metadata => Ref ROpts REPLOpts => REPLResult -> List CLOpt -> Core Bool

Visibility: export

ideMode : List CLOpt -> Bool

Visibility: export

ideModeSocket : List CLOpt -> Bool

Visibility: export