Module logic

Logical operations on predicates.

Structs

AlwaysError

Represents errors that are always encountered.

And

Represents predicates that are satisfied when both P and Q are satisfied.

BothError

Represents errors returned by Or.

False

Represents predicates that are never satisfied.

Not

Represents predicates that are satisfied when P is not satisfied.

NotError

Represents errors returned by Not.

Or

Represents predicates that are satisfied when either P or Q (or both) are satisfied.

True

Represents predicates that are always satisfied.

Xor

Represents predicates that are satisfied when either P or Q (but not both) are satisfied.

Enums

EitherError

Represents errors returned by And.

NeitherOrBoth

Represents errors returned by Xor.

NeverError

Represents errors that are never encountered.

Constants

ANYTHING

The anything string.

FALSE

The false string.

NOTHING

The nothing string.

TRUE

The true string.

Type Aliases

Imply

Represents predicates that are satisfied when P implies Q.

Nand

Composes Not and And.

Nor

Composes Not and Or.

Xnor

Composes Not and Xor.