docs/howto/negate-a-disjunction #160
Labels
Comments
jpluscplusm
added
good first issue
|
Which page would you suggest to add this to? @jpluscplusm @myitcv |
@hansbogert I've updated the initial comment to make it clear that it's a new page. The issue title generally tracks the current path suggestion, but it isn't binding - the experience of writing a page often informs us about the most suitable title as we're doing it. We're not precious about rigidly sticking to the issue's suggestion! |
cueckoo
pushed a commit
to cue-lang/cuelang.org-trybot
that referenced
this issue
Jul 8, 2024
This adds a guide that explains how to check if a value is not an element of a disjunction, i.e. the negation of a disjunction Closes cue-lang/docs-and-content#160 Closes #460 as merged as of commit 10291496. Signed-off-by: Hans van den Bogert <hansbogert@gmail.com> Preview-Path: /docs/howto/negate-a-disjunction/ Change-Id: I54b091659a682014bd6ae11de3d2a31e3c1ec046 Dispatch-Trailer: {"type":"trybot","CL":1197377,"patchset":1,"ref":"refs/changes/77/1197377/1","targetBranch":"master"}
cueckoo
pushed a commit
to cue-lang/cuelang.org
that referenced
this issue
Jul 8, 2024
This adds a guide that explains how to check if a value is not an element of a disjunction, i.e. the negation of a disjunction Closes cue-lang/docs-and-content#160 Closes #460 as merged as of commit 1029149. Signed-off-by: Hans van den Bogert <hansbogert@gmail.com> Preview-Path: /docs/howto/negate-a-disjunction/ Change-Id: I54b091659a682014bd6ae11de3d2a31e3c1ec046 Reviewed-on: https://review.gerrithub.io/c/cue-lang/cuelang.org/+/1197377 Reviewed-by: Paul Jolly <paul@myitcv.io> TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
|
Closed via cue-lang/cuelang.org@0e8f9ab |
github-project-automation
bot
moved this from Backlog
to Done
in Docs and Content Roadmap
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
(From cue-lang/cue#3229 (comment))
A new Commented CUE howto guide that demonstrates the current method for complementing/negating a disjunction:
(Flesh this example out a little - don't just include it verbatim)
Include a link to cue-lang/cue#943 and
not()in the related content section, clearly marked as a probable future simplification - ie without a direct example (so that it can't be erroneously copied before the feature is available)The text was updated successfully, but these errors were encountered: