LAWS.bend source

LAWS.bend on the hub · documented module

import Baseimport ./zhao.bend as Zhaolaw empty_command_parses:  {Zhao.parse(Zhao.command("tool"), []) == Zhao.Parsed{Zhao.Invocation{["tool"], [], []}} : Zhao.Outcome}law lookup_preserves_value:  for +value: Zhao.Value  {Zhao.get(Zhao.Invocation{[], [Zhao.Binding{"key", value}], []}, "key") == Some{value} : Maybe<&2, Zhao.Value>}law absent_option_is_none:  for key: String  {Zhao.get(Zhao.Invocation{[], [], []}, key) == None{} : Maybe<&2, Zhao.Value>}law option_and_argument_names_are_separate:  for value: Zhao.Value  {Zhao.get(Zhao.Invocation{[], [], [Zhao.Binding{"name", value}]}, "name") == None{} : Maybe<&2, Zhao.Value>}law required_option_preserves_text:  for +text: String  {Zhao.parse(Zhao.option(Zhao.command("tool"), "--label <value>", ""), ["--label", text]) == Zhao.Parsed{Zhao.Invocation{["tool"], [Zhao.Binding{"label", Zhao.Text{text}}], []}} : Zhao.Outcome}law repeated_value_uses_last:  for +text: String  {Zhao.parse(Zhao.option(Zhao.command("tool"), "--label <value>", ""), ["--label=first", "--label", text]) == Zhao.Parsed{Zhao.Invocation{["tool"], [Zhao.Binding{"label", Zhao.Text{text}}], []}} : Zhao.Outcome}law repeatable_option_defaults_empty:  {Zhao.parse(Zhao.repeatable_option(Zhao.command("tool"), "--include <path>", ""), []) == Zhao.Parsed{Zhao.Invocation{["tool"], [Zhao.Binding{"include", Zhao.Many{[]}}], []}} : Zhao.Outcome}law repeatable_option_preserves_order:  for +first: String  for +second: String  {Zhao.parse(Zhao.repeatable_option(Zhao.command("tool"), "--include <path>", ""), ["--include", first, "--include", second]) == Zhao.Parsed{Zhao.Invocation{["tool"], [Zhao.Binding{"include", Zhao.Many{[first, second]}}], []}} : Zhao.Outcome}law repeatable_option_preserves_attached_empty:  {Zhao.parse(Zhao.repeatable_option(Zhao.command("tool"), "-i, --include <path>", ""), ["--include=", "-ilast"]) == Zhao.Parsed{Zhao.Invocation{["tool"], [Zhao.Binding{"include", Zhao.Many{["", "last"]}}], []}} : Zhao.Outcome}law repeatable_option_missing_value_is_error:  {Zhao.parse(Zhao.repeatable_option(Zhao.command("tool"), "--include <path>", ""), ["--include"]) == Zhao.Error{"zhao.optionMissingArgument", "option '--include' argument missing"} : Zhao.Outcome}law repeatable_option_requires_value_syntax:  {Zhao.parse(Zhao.repeatable_option(Zhao.command("tool"), "--include [path]", ""), []) == Zhao.Error{"zhao.invalidDefinition", "repeatable options require <value> syntax"} : Zhao.Outcome}law negated_option_defaults_true:  {Zhao.parse(Zhao.option(Zhao.command("tool"), "--no-color", ""), []) == Zhao.Parsed{Zhao.Invocation{["tool"], [Zhao.Binding{"color", Zhao.Boolean{True{}}}], []}} : Zhao.Outcome}law negated_option_sets_false:  {Zhao.parse(Zhao.option(Zhao.command("tool"), "--no-color", ""), ["--no-color"]) == Zhao.Parsed{Zhao.Invocation{["tool"], [Zhao.Binding{"color", Zhao.Boolean{False{}}}], []}} : Zhao.Outcome}law delimiter_makes_help_literal:  {Zhao.parse(Zhao.argument(Zhao.command("tool"), "<name>", ""), ["--", "--help"]) == Zhao.Parsed{Zhao.Invocation{["tool"], [], [Zhao.Binding{"name", Zhao.Text{"--help"}}]}} : Zhao.Outcome}law missing_value_is_error:  {Zhao.parse(Zhao.option(Zhao.command("tool"), "--label <value>", ""), ["--label"]) == Zhao.Error{"zhao.optionMissingArgument", "option '--label' argument missing"} : Zhao.Outcome}law unknown_option_is_error:  {Zhao.parse(Zhao.command("tool"), ["--unknown"]) == Zhao.Error{"zhao.unknownOption", "unknown option '--unknown'"} : Zhao.Outcome}