https://github.com/janschultecom/kolgut-api

Schema-safe http api using Idris+Rust
https://github.com/janschultecom/kolgut-api

dependent-types http idris rust swagger type-providers typelevel-programming

Last synced: 2 days ago
JSON representation

Schema-safe http api using Idris+Rust

• Host: GitHub
• URL: https://github.com/janschultecom/kolgut-api
• Owner: janschultecom
• License: apache-2.0
• Created: 2018-11-17T13:28:27.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-01-12T11:26:44.000Z (over 5 years ago)
• Last Synced: 2024-03-12T04:35:16.349Z (4 months ago)
• Topics: dependent-types, http, idris, rust, swagger, type-providers, typelevel-programming
• Language: Idris
• Homepage:
• Size: 21.5 KB
• Stars: 1
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• idris-awesomeness - kolgut-api : Schema-safe http api using Idris+Rust

README

        
# kolgut-api

## Requirements

Idris has to be installed using the `ffi`. See https://www.idris-lang.org/download/ for more information.

You need [lightyear](https://github.com/ziman/lightyear) installed:

```bash

git clone https://github.com/ziman/lightyear.git

cd lightyear 

make

```

Kolgut currently uses a Rust http backend. You can install Rust from the official page: https://www.rust-lang.org

Now build the rust backend:

```bash

cd Rust

cargo build

```

### Running

```bash

# Typecheck

idris -p lightyear -p effects -p contrib Main.idr

# Run

:exec

```

Then open a browser on `http://localhost:3000`

## Building

```bash

idris --build kolgut.ipkg

```