Package pack - Namespaces

• Pack.CmdLn
• Pack.CmdLn.Completion
• Pack.CmdLn.Opts
• Pack.CmdLn.Types
• Pack.Config
• Pack.Config.Environment
• Pack.Config.TOML
• Pack.Config.Types
• Pack.Core
• Pack.Core.Git
• Pack.Core.Git.Consts
• Pack.Core.Hash
• Pack.Core.IO
• Pack.Core.Ipkg

  Utilities for parsing .ipkg files. Most of this stuff should actually be available from the Idris API after some small refactoring.
• Pack.Core.Logging
• Pack.Core.TOML
• Pack.Core.Types

  We work a lot with Strings of distinct semantics. Since I've been bitten by this more than once, we wrap the in single field record types to drastically increase type safety.
• Pack.Database
• Pack.Database.TOML
• Pack.Database.Tree
• Pack.Database.Types
• Pack.Runner
• Pack.Runner.Database
• Pack.Runner.Develop
• Pack.Runner.Install
• Pack.Runner.New
• Pack.Runner.Query
• Pack.Version