Skip to content
/ inigo Public

Inigo: A Package Manager for Idris2

Notifications You must be signed in to change notification settings

bbarker/inigo

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Inigo

Inigo is a package manager for Idris2 to help use and share Idris code.

Note: this project is in an alpha test state. Expect breaking changes at this point for the foreseeable future. Feel free to test and experiment and suggest changes.

Installation

First, you'll need to install inigo. Note: we currently only support JavaScript code-gen on the client, but we plan to add support to Chez and other code-gens soon.

You can either download a release from releases or bootstrap your own.

Downloading a Release

Download a release from the releases page. Install the file into your path and make sure it's executable.

curl -L https://github.com/hayesgm/inigo/releases/download/0.0.1-alpha/inigo -o /usr/local/bin/inigo && chmod +x /usr/local/bin/inigo

Bootstrapping

You can run the bootstrap Makefile command on Linux-type environments to bootstrap Inigo. Since Inigo depends on packages in Inigo, you'll need to bootstrap to get the components you need.

git clone https://github.com/hayesgm/inigo
cd inigo && make bootstrap

If all goes well, you'll want to make inigo available in your path, e.g. via:

cp build/exec/inigo /usr/local/bin
chmod +x /usr/local/bin/inigo

or simply:

make install

Create an app

Let's create a new app and use Inigo to manage our packages:

mkdir MyApp
inigo new MyNamespace MyApp

You can read more about namespaces under the publishing a package section below.

This will create a skeleton app with an Inigo.toml. This configuration file will allow you to specify dependencies and automatically generates your Idris ipkg file for you.

You can build and run your app by calling:

inigo build
inigo exec

or test your app:

inigo fetch-deps prod --dev # pull dependencies
inigo build-deps
inigo test

You can specify the dependencies for your app in Inigo.toml:

...
[deps]
Base.Color="~0.0.1"
Base.Fmt="~0.0.1"

This allows us to use the Color and Fmt libraries. Then install the libaries and build the dependencies with:

inigo fetch-deps prod
inigo build-deps

Finally, you can use this in your app:

MyApp.idr

module MyApp

import Color
import Fmt

main : IO ()
main =
  putStrLn (fmt "Hello %s!" (decorate (Text Blue) "world"))

You can run this with:

inigo build && inigo exec

Publishing a Package

To publish a package, you'll need to first register an account with Inigo to claim a namespace. A namespace is a name that will prefix your packages in the registry (i.e. to differentiate different packages with identical names).

inigo register

Follow the instructions, and then, you can login to your namespace:

inigo login

Finally, you can now publish your app:

inigo push ./Inigo.toml

Questions

Feel free to ask questions on GitHub issues.

Contributing

Please feel free to open issues on GitHub or create pull requests. A key focus of this project will be to expand support for ChezScheme and other code-gens, as well as better support for Windows and other operating systems. Additionally, we would like to refactor much of the code to make better use of dependent types.

About

Inigo: A Package Manager for Idris2

Resources

Stars

Watchers

Forks

Packages

No packages published