Binary-op
Fixtype of Syntheto binary operators.
This is a tagged union type, introduced by fty::deftagsum.
Member Tags → Types
- :eq → binary-op-eq
- :ne → binary-op-ne
- :gt → binary-op-gt
- :ge → binary-op-ge
- :lt → binary-op-lt
- :le → binary-op-le
- :and → binary-op-and
- :or → binary-op-or
- :implies → binary-op-implies
- :implied → binary-op-implied
- :iff → binary-op-iff
- :add → binary-op-add
- :sub → binary-op-sub
- :mul → binary-op-mul
- :div → binary-op-div
- :rem → binary-op-rem
There are
equality and inequality (for all types),
orderings (for integers, characters, and strings),
logical boolean connectives
(conjunction,
disjunction,
forward implication,
backward implication,
coimplication),
and arithmetic (for integers),
where division rounds towards zero
and reminder is defined in the usual way.
Subtopics
- Binary-op-fix
- Fixing function for binary-op structures.
- Binary-op-case
- Case macro for the different kinds of binary-op structures.
- Binary-opp
- Recognizer for binary-op structures.
- Binary-op-equiv
- Basic equivalence relation for binary-op structures.
- Binary-op-kind
- Get the kind (tag) of a binary-op structure.
- Binary-op-sub
- Binary-op-rem
- Binary-op-or
- Binary-op-ne
- Binary-op-mul
- Binary-op-lt
- Binary-op-le
- Binary-op-implies
- Binary-op-implied
- Binary-op-iff
- Binary-op-gt
- Binary-op-ge
- Binary-op-eq
- Binary-op-div
- Binary-op-and
- Binary-op-add
