Reserr-option
Fixtype of optional error results.
This is an option type introduced by defoption.
Note that defoption is just a wrapper for defflexsum, so there are :none and :some member
types, a case macro, and so forth.
Member Types
- :none → reserr-option-none
- Represents that no reserr-option is available, i.e., Nothing or None.
- :some → reserr-option-some
- An available reserr-option, i.e., Just val or Some val.
This can be used for results that
either are errors or carry no information otherwise.
That is, nil is the (only) good result.
Subtopics
- Reserr-optionp
- Recognizer for reserr-option structures.
- Reserr-option-fix
- Fixing function for reserr-option structures.
- Reserr-option-case
- Case macro for the different kinds of reserr-option structures.
- Reserr-option-equiv
- Basic equivalence relation for reserr-option structures.
- Reserr-option-some
- An available reserr-option, i.e., Just val or Some val.
- Reserr-option-none
- Represents that no reserr-option is available, i.e., Nothing or None.
