diff options
| author | Vincent Ambo <tazjin@google.com> | 2019-08-28T13·53+0100 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2019-08-28T13·55+0100 |
| commit | 6468845255e5516d4567f9bef48d815549b20910 (patch) | |
| tree | 156fdde8c89b19a099983698f84973972d3cc774 | |
| parent | 34a591798179c87b84692712398359609a18c513 (diff) | |
chore: Change file layout to match repository instead of gist
| -rw-r--r-- | README.md | 40 | ||||
| -rw-r--r-- | default.nix (renamed from yants.nix) | 0 | ||||
| -rw-r--r-- | screenshots/enums.png (renamed from z-enums.png) | bin | 41305 -> 41305 bytes | |||
| -rw-r--r-- | screenshots/functions.png (renamed from z-functions.png) | bin | 32907 -> 32907 bytes | |||
| -rw-r--r-- | screenshots/nested-structs.png (renamed from z-nested-structs.png) | bin | 70264 -> 70264 bytes | |||
| -rw-r--r-- | screenshots/simple.png (renamed from z-simple.png) | bin | 43010 -> 43010 bytes | |||
| -rw-r--r-- | screenshots/structs.png (renamed from z-structs.png) | bin | 69499 -> 69499 bytes | |||
| -rw-r--r-- | tests.nix (renamed from z-yants-tests.nix) | 2 | ||||
| -rw-r--r-- | yants.md | 38 |
9 files changed, 41 insertions, 39 deletions
diff --git a/README.md b/README.md new file mode 100644 index 0000000000..55ea764d8f --- /dev/null +++ b/README.md @@ -0,0 +1,40 @@ +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 & 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 + + + +## Structs + + + +## Nested structs! + + + +## Enums! + + + +## Functions! + + diff --git a/yants.nix b/default.nix index 17564b61b9..17564b61b9 100644 --- a/yants.nix +++ b/default.nix diff --git a/z-enums.png b/screenshots/enums.png index 71673e7ab6..71673e7ab6 100644 --- a/z-enums.png +++ b/screenshots/enums.png Binary files differdiff --git a/z-functions.png b/screenshots/functions.png index 30ed50f832..30ed50f832 100644 --- a/z-functions.png +++ b/screenshots/functions.png Binary files differdiff --git a/z-nested-structs.png b/screenshots/nested-structs.png index 6b03ed65ce..6b03ed65ce 100644 --- a/z-nested-structs.png +++ b/screenshots/nested-structs.png Binary files differdiff --git a/z-simple.png b/screenshots/simple.png index 05a302cc6b..05a302cc6b 100644 --- a/z-simple.png +++ b/screenshots/simple.png Binary files differdiff --git a/z-structs.png b/screenshots/structs.png index fcbcf6415f..fcbcf6415f 100644 --- a/z-structs.png +++ b/screenshots/structs.png Binary files differdiff --git a/z-yants-tests.nix b/tests.nix index e1e521c5ab..344f2c1f59 100644 --- a/z-yants-tests.nix +++ b/tests.nix @@ -1,5 +1,5 @@ with builtins; -with (import ./yants.nix {}); +with (import ./default.nix {}); # Note: Derivations are not included in the tests below as they cause # issues with deepSeq. diff --git a/yants.md b/yants.md deleted file mode 100644 index e10e120f08..0000000000 --- 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! - - |
