DepGraph.Cli

Definitions

record ModOpts : Type

Totality: total
Visibility: public export
Constructor: 

MkModOpts : Bool -> ModOpts

Projection: 

.withExternal : ModOpts -> Bool

.withExternal : ModOpts -> Bool

Totality: total
Visibility: public export

withExternal : ModOpts -> Bool

Totality: total
Visibility: public export

record PkgOpts : Type

Totality: total
Visibility: public export
Constructor: 

MkPkgOpts : Bool -> PkgOpts

Projection: 

.localOnly : PkgOpts -> Bool

.localOnly : PkgOpts -> Bool

Totality: total
Visibility: public export

localOnly : PkgOpts -> Bool

Totality: total
Visibility: public export

data CLOpt : Type

  CLOpt - possible command line options

Totality: total
Visibility: public export
Constructors:

Module : ModOpts -> CLOpt

  Module import graph

Package : PkgOpts -> CLOpt

  Package dependency graph

InputFile : String -> CLOpt

  The input Idris file

Help : CLOpt

  Display help text

Version : CLOpt

  Display app version

data SubCmd : Type

Totality: total
Visibility: public export
Constructors:

SubCmdMod : ModOpts -> SubCmd

  Module import graph

SubCmdPkg : PkgOpts -> SubCmd

  Package dependency graph

versionMsg : String

Totality: total
Visibility: export

usage : String

Totality: total
Visibility: export

getCmdOpts : IO (Either String (List CLOpt))

Totality: total
Visibility: export

findInputs : List CLOpt -> List String

Totality: total
Visibility: export

quitOpts : List CLOpt -> IO Bool

Totality: total
Visibility: export

subCmd : List CLOpt -> SubCmd

Totality: total
Visibility: export