DepGraph.Data

Definitions

record Module : Type

Totality: total
Visibility: public export
Constructor: 

MkModule : String -> List String -> Module

Projections:

.deps : Module -> List String

.name : Module -> String

.name : Module -> String

Totality: total
Visibility: public export

name : Module -> String

Totality: total
Visibility: public export

.deps : Module -> List String

Totality: total
Visibility: public export

deps : Module -> List String

Totality: total
Visibility: public export

record PkgModules : Type

Totality: total
Visibility: public export
Constructor: 

MkPkgModules : String -> List Module -> PkgModules

Projections:

.modules : PkgModules -> List Module

.name : PkgModules -> String

.name : PkgModules -> String

Totality: total
Visibility: public export

name : PkgModules -> String

Totality: total
Visibility: public export

.modules : PkgModules -> List Module

Totality: total
Visibility: public export

modules : PkgModules -> List Module

Totality: total
Visibility: public export

PkgsModules : Type

Totality: total
Visibility: public export

record Package : Type

Totality: total
Visibility: public export
Constructor: 

MkPackage : String -> List String -> Bool -> Package

Projections:

.deps : Package -> List String

.isLocal : Package -> Bool

.name : Package -> String

.name : Package -> String

Totality: total
Visibility: public export

name : Package -> String

Totality: total
Visibility: public export

.deps : Package -> List String

Totality: total
Visibility: public export

deps : Package -> List String

Totality: total
Visibility: public export

.isLocal : Package -> Bool

Totality: total
Visibility: public export

isLocal : Package -> Bool

Totality: total
Visibility: public export

Packages : Type

Totality: total
Visibility: public export