Top

Integer-result

Fixtype of errors and integers.

This is a sum-of-products (i.e., union) type, introduced by fty::defflexsum.

Members

:ok → integer-result-ok
:err → integer-result-err

Subtopics

Integer-result-fix: Fixing function for integer-result structures.
Integer-result-equiv: Basic equivalence relation for integer-result structures.
Integer-result-ok
Integer-result-err
Integer-resultp: Recognizer for integer-result structures.
Integer-result-kind: Get the kind (tag) of a integer-result structure.