diff options
Diffstat (limited to 'yants.md')
| -rw-r--r-- | yants.md | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/yants.md b/yants.md deleted file mode 100644 index e10e120f08b6..000000000000 --- a/yants.md +++ /dev/null @@ -1,38 +0,0 @@ -yants -===== - -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 function signatures (including curried functions) -* Types are composable! `option string`! `list (either int (option float))`! - -Lacking: - -* Any kind of inference (Nix's reflection ability is not strong enough) -* Convenient syntax for attribute-set function signatures - -## Primitives & simple polymorphism - - - -## Structs - - - -## Nested structs! - - - -## Enums! - - - -## Functions! - - |