diff options
author | Profpatsch <mail@profpatsch.de> | 2019-09-15 00:43:48 +0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2020-02-24 00:57:55 +0100 |
commit | 0170d75092b4750ad03d9c606918cf659703e8d5 (patch) | |
tree | 69834e0d4b3cf1a96f60b17a8338139d817596bd /pkgs/profpatsch/dhallsh/Completion/Option/type.dhall | |
parent | efd9e66ba8a61e92d92f355d3620b7923c1ccd78 (diff) |
completion: move to Completion module & factor out types
Diffstat (limited to 'pkgs/profpatsch/dhallsh/Completion/Option/type.dhall')
-rw-r--r-- | pkgs/profpatsch/dhallsh/Completion/Option/type.dhall | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/pkgs/profpatsch/dhallsh/Completion/Option/type.dhall b/pkgs/profpatsch/dhallsh/Completion/Option/type.dhall new file mode 100644 index 00000000..44f62d2e --- /dev/null +++ b/pkgs/profpatsch/dhallsh/Completion/Option/type.dhall @@ -0,0 +1,9 @@ +{ short : + Optional Text +, long : + Text +, description : + Text +, argument : + Optional Text +} |