Function
| Static Public Summary | ||
| public |
conjunction(p: *, q: *) |
|
| public |
conjunctions(predicates: *): boolean |
|
| public |
disjunction(p: *, q: *) |
|
| public |
disjunctions(predicates: *): boolean |
|
| public |
divides(y: *) |
|
| public |
divisible(y: *) |
|
| public |
eq(y: *) |
|
| public |
equivalence(p: *, q: *) |
|
| public |
ge(y: *) |
|
| public |
gt(y: *) |
|
| public |
implication(p: *, q: *) |
|
| public |
le(y: *) |
|
| public |
lt(y: *) |
|
| public |
ne(y: *) |
|
| public |
negation(p: *) |
|
| public |
truth(_: *) |
|
| public |
untruth(_: *) |
|
Static Public
public conjunction(p: *, q: *) source
import {conjunction} from '@functional-abstraction/predicate/src/conjunction.js'Params:
| Name | Type | Attribute | Description |
| p | * | ||
| q | * |
public conjunctions(predicates: *): boolean source
import {conjunctions} from '@functional-abstraction/predicate/src/conjunctions.js'Params:
| Name | Type | Attribute | Description |
| predicates | * |
public disjunction(p: *, q: *) source
import {disjunction} from '@functional-abstraction/predicate/src/disjunction.js'Params:
| Name | Type | Attribute | Description |
| p | * | ||
| q | * |
public disjunctions(predicates: *): boolean source
import {disjunctions} from '@functional-abstraction/predicate/src/disjunctions.js'Params:
| Name | Type | Attribute | Description |
| predicates | * |
public divides(y: *) source
import {divides} from '@functional-abstraction/predicate/src/numbers.js'Params:
| Name | Type | Attribute | Description |
| y | * |
public divisible(y: *) source
import {divisible} from '@functional-abstraction/predicate/src/numbers.js'Params:
| Name | Type | Attribute | Description |
| y | * |
public eq(y: *) source
import {eq} from '@functional-abstraction/predicate/src/operators.js'Params:
| Name | Type | Attribute | Description |
| y | * |
public equivalence(p: *, q: *) source
import {equivalence} from '@functional-abstraction/predicate/src/equivalence.js'Params:
| Name | Type | Attribute | Description |
| p | * | ||
| q | * |
public ge(y: *) source
import {ge} from '@functional-abstraction/predicate/src/operators.js'Params:
| Name | Type | Attribute | Description |
| y | * |
public gt(y: *) source
import {gt} from '@functional-abstraction/predicate/src/operators.js'Params:
| Name | Type | Attribute | Description |
| y | * |
public implication(p: *, q: *) source
import {implication} from '@functional-abstraction/predicate/src/implication.js'Params:
| Name | Type | Attribute | Description |
| p | * | ||
| q | * |
public le(y: *) source
import {le} from '@functional-abstraction/predicate/src/operators.js'Params:
| Name | Type | Attribute | Description |
| y | * |
public lt(y: *) source
import {lt} from '@functional-abstraction/predicate/src/operators.js'Params:
| Name | Type | Attribute | Description |
| y | * |
public ne(y: *) source
import {ne} from '@functional-abstraction/predicate/src/operators.js'Params:
| Name | Type | Attribute | Description |
| y | * |
public negation(p: *) source
import {negation} from '@functional-abstraction/predicate/src/negation.js'Params:
| Name | Type | Attribute | Description |
| p | * |
public truth(_: *) source
import {truth} from '@functional-abstraction/predicate/src/boolean.js'Params:
| Name | Type | Attribute | Description |
| _ | * |
public untruth(_: *) source
import {untruth} from '@functional-abstraction/predicate/src/boolean.js'Params:
| Name | Type | Attribute | Description |
| _ | * |