-
Notifications
You must be signed in to change notification settings - Fork 3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add Not node in dhall config #199
Conversation
dhall/core.dhall
Outdated
, Not = | ||
λ(matcher : Matcher) → | ||
λ(M : Type) → | ||
elem M (λ(RC : MatcherFold M) → RC.Not) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is definitely not right, but I lack the knowledge to work it out. @kubukoz could you take a look?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I lack the knowledge too 😂
@@ -50,6 +50,7 @@ object Matcher { | |||
final case class PipelineStatus(status: String) extends Matcher | |||
final case class Many(values: List[Matcher]) extends Matcher | |||
final case class OneOf(values: List[Matcher]) extends Matcher | |||
final case class Not(value: Matcher) extends Matcher |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
and now I'm realizing this should be underlying
because I called it that. @pkowalcze do you wanna rename this one?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Sure, here's the PR: #201
Requested in #128