Pack.Database.Tree

Definitions

0 Graph : Type -> Type

  A dependency graph

Visibility: public export

invertGraph : Ord a => Graph a -> Graph a

  Returns the graph with all edges inverted

Visibility: export

dependencyGraph : SortedMap PkgName (ResolvedLib t) -> Graph PkgName

Visibility: export

record Tree : Type -> Type

Totality: total
Visibility: public export
Constructor: 

T : a -> List (Tree a) -> Tree a

Projections:

.deps : Tree a -> List (Tree a)

.label : Tree a -> a

Hint: 

Functor Tree

.label : Tree a -> a

Visibility: public export

label : Tree a -> a

Visibility: public export

.deps : Tree a -> List (Tree a)

Visibility: public export

deps : Tree a -> List (Tree a)

Visibility: public export

filter : (a -> Bool) -> Tree a -> Maybe (Tree a)

Visibility: export

0 TreeMap : Type -> Type

Visibility: public export

treeMap : Ord a => Graph a -> TreeMap a

Visibility: export

childMap : SortedMap PkgName (ResolvedLib t) -> TreeMap PkgName

Visibility: export

parentMap : SortedMap PkgName (ResolvedLib t) -> TreeMap PkgName

Visibility: export

treeLookup : Ord a => a -> TreeMap a -> Tree a

Visibility: export

prettyTree : Interpolation a => Bool -> Tree a -> String

Visibility: export