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