/Prelude-v23.1.0/DirectoryTree/Tree

Exported files:

• Make.dhall
• Type.dhall
• makeTree.dhall:

  ∀(tree : Type) → Make tree → List Metadata → tree → tree
  

• makeTreeFromList.dhall:

  ∀(tree : Type) → Make tree → NonEmpty Metadata → List tree → tree
  

• makeTreesFromList.dhall:

  ∀(tree : Type) → Make tree → List Metadata → List tree → List tree
  

• package.dhall