Crate idr2nix

Modules

• cli
• collections
  Handling for pack collections
• config
• ipkg
  Parsing and modeling for idris ipkg files
• json
  Model for the sources.json output
• prefetch
  Wrapper around the nix-prefetch command

Structs

• State
  Wrapper around the .idr2nix directory contents

Enums

• StateError
  Error that can occur when interacting with a State

Constants

• IDRIS2_BUILTINS
  Idris 2 built in libraries, these need to be exempt from dependency search