No description
Find a file
2019-08-28 15:03:17 +01:00
screenshots chore: Change file layout to match repository instead of gist 2019-08-28 14:55:53 +01:00
.travis.yml feat: Add Travis CI configuration 2019-08-28 14:55:56 +01:00
default.nix chore: Change file layout to match repository instead of gist 2019-08-28 14:55:53 +01:00
LICENSE chore: Add Apache License 2.0 2019-08-28 15:03:17 +01:00
README.md docs: Add build status to README 2019-08-28 15:02:39 +01:00
tests.nix chore: Change file layout to match repository instead of gist 2019-08-28 14:55:53 +01:00

yants

Build Status

This is a tiny type-checker for data in Nix, written in Nix.

Features:

  • Checking of primitive types (int, string etc.)
  • Checking polymorphic types (option, list, either)
  • Defining & checking struct/record types
  • Defining & matching enum types
  • Defining & matching sum types
  • Defining function signatures (including curried functions)
  • Types are composable! option string! list (either int (option float))!
  • Type errors also compose!

Lacking:

  • Any kind of inference
  • Convenient syntax for attribute-set function signatures

Primitives & simple polymorphism

simple

Structs

structs

Nested structs!

nested structs

Enums!

enums

Functions!

functions