Meaning
Defined in: src/expressions/condition.ts:98
A named, composable, inspectable semantic predicate. blocked.and(x) keeps
two expression nodes; it does not rewrite the proposition.
Type Parameters
Section titled “Type Parameters”| Type Parameter | Default type |
|---|---|
T |
unknown |
Constructors
Section titled “Constructors”Constructor
Section titled “Constructor”new Meaning<
T>(node,name?):Meaning<T>
Defined in: src/expressions/condition.ts:99
Parameters
Section titled “Parameters”| Parameter | Type |
|---|---|
node |
Condition<T> |
name? |
string |
Returns
Section titled “Returns”Meaning<T>
Properties
Section titled “Properties”| Property | Modifier | Type | Defined in |
|---|---|---|---|
node |
readonly |
Condition<T> |
src/expressions/condition.ts:100 |
name? |
readonly |
string |
src/expressions/condition.ts:101 |
Methods
Section titled “Methods”including()
Section titled “including()”including(
description):Meaning<T>
Defined in: src/expressions/condition.ts:108
Draw the boundary from the inside: what the proposition covers.
Only valid on a single proposition. Becomes Noul criteria.true.
Parameters
Section titled “Parameters”| Parameter | Type |
|---|---|
description |
EntryType |
Returns
Section titled “Returns”Meaning<T>
excluding()
Section titled “excluding()”excluding(
description):Meaning<T>
Defined in: src/expressions/condition.ts:116
Draw the boundary from the outside: what the proposition does not cover,
even if it looks close. Only valid on a single proposition. Becomes Noul criteria.false.
Parameters
Section titled “Parameters”| Parameter | Type |
|---|---|
description |
EntryType |
Returns
Section titled “Returns”Meaning<T>
named()
Section titled “named()”named(
name):Meaning<T>
Defined in: src/expressions/condition.ts:121
Give the meaning a name for traces, fixtures, and error messages.
Parameters
Section titled “Parameters”| Parameter | Type |
|---|---|
name |
string |
Returns
Section titled “Returns”Meaning<T>
and(
other):Meaning<T>
Defined in: src/expressions/condition.ts:127
Both must hold.
Parameters
Section titled “Parameters”| Parameter | Type |
|---|---|
other |
ConditionLike<T> |
Returns
Section titled “Returns”Meaning<T>
or(
other):Meaning<T>
Defined in: src/expressions/condition.ts:132
Either may hold.
Parameters
Section titled “Parameters”| Parameter | Type |
|---|---|
other |
ConditionLike<T> |
Returns
Section titled “Returns”Meaning<T>
unless()
Section titled “unless()”unless(
other):Meaning<T>
Defined in: src/expressions/condition.ts:137
Holds only if the exception does not: a.unless(b) is a and not b.
Parameters
Section titled “Parameters”| Parameter | Type |
|---|---|
other |
ConditionLike<T> |
Returns
Section titled “Returns”Meaning<T>
not():
Meaning<T>
Defined in: src/expressions/condition.ts:142
The negation. Uncertain stays uncertain.
Returns
Section titled “Returns”Meaning<T>
describe()
Section titled “describe()”describe():
string
Defined in: src/expressions/condition.ts:147
Human-readable rendering of the expression tree.
Returns
Section titled “Returns”string
toJSON()
Section titled “toJSON()”toJSON():
unknown
Defined in: src/expressions/condition.ts:152
Serializable form: the name and the expression tree, with code predicates reduced to their names.
Returns
Section titled “Returns”unknown