Inverts a condition defined using exists
or notExists
.
static not<T, U>(
condition: (target: T) => Condition<U>
): (target: T) => Condition<U>;
Return only facts that do not have a specified successor.
function messagesInChannel(c) {
return j.match({
type: 'Chat.Message',
channel: c
}).suchThat(j.not(messageIsRedacted));
}
function messageIsRedacted(m) {
return j.exists({
type: 'Chat.Message.Redacted',
message: m
});
}