Next: Introduction, Previous: (dir), Up: (dir) [Contents][Index]
This is the mcase Reference Manual, version 1.2.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Thu Sep 15 05:35:14 2022 GMT+0.
Next: Systems, Previous: The mcase Reference Manual, Up: The mcase Reference Manual [Contents][Index]
Control frow macros with case comprehensiveness checking.
* (deftype state ()
'(member :a :b :c))
STATE
* (mcase:mcase state :hoge
(:a "A")
(:b "B"))
=> ERROR Missing member (:C) :of STATE
For details, see spec file.
Public domain.
SBCL
Next: Files, Previous: Introduction, Up: The mcase Reference Manual [Contents][Index]
The main system appears first, followed by any subsystem dependency.
Control frow macros with case comprehensiveness checking.
SATO Shinichi
(GIT git@github.com:hyotang666/mcase)
Public domain
1.2.1
millet (system).
mcase.lisp (file).
Next: Packages, Previous: Systems, Up: The mcase Reference Manual [Contents][Index]
Files are sorted by type and then listed depth-first from the systems components trees.
Previous: mcase/mcase.asd, Up: Lisp [Contents][Index]
mcase (system).
Next: Definitions, Previous: Files, Up: The mcase Reference Manual [Contents][Index]
Packages are listed by definition order.
common-lisp.
Next: Indexes, Previous: Packages, Up: The mcase Reference Manual [Contents][Index]
Definitions are sorted by export status, category, package, and then by lexicographic order.
Next: Internals, Previous: Definitions, Up: Definitions [Contents][Index]
Previous: Public Interface, Up: Public Interface [Contents][Index]
# EMCASE
## Description:
A thin wrapper for CL:ECASE to check MEMBER comprehensiveness in macro expansion time.
### syntax (EMCASE type <target> &body clauses)
=> result
type := type-specifer, otherwise implementation dependent condition.
“‘lisp
#?(emcase "not type specifier" :dummy)
:signals condition
, :lazy
“‘
<target> := Expression to generate target value.
clause* := Same with CL:ECASE.
result := T.
## Affected By:
none
## Side-Effects:
none
## Notes:
## Exceptional-Situations:
When type specifier is not expanded to (MEMBER ...) an error is signaled.
“‘lisp
#?(emcase (unsigned-byte 8) :dummy)
:signals error
, :lazy
“‘
## Examples:
“‘lisp
#?(emcase state :dummy (:a "Missing :b and :c members"))
:signals error
, :lazy
“‘
“‘lisp
#?(emcase state :dummy ((:a :b :c) "Works fine."))
:signals error
“‘
“‘lisp
#?(emcase state :dummy
((:a :b :c) "Fine but")
(:d "Ooops! Unknown member is found!"))
:signals error
, :lazy
“‘
# MCASE
## Description:
A thin wrapper for CL:CASE to check MEMBER comprehensiveness in macro expansion time.
### syntax (MCASE type <target> &body clause\*)
=> result
## Arguments and Values:
type := type-specifer, otherwise implementation dependent condition.
“‘lisp
#?(mcase "not type specifier" :dummy)
:signals condition
, :lazy
“‘
<target> := Expression to generate target value.
clause* := Same with CL:CASE.
result := T.
## Affected By:
none
## Side-Effects:
none
## Notes:
## Exceptional-Situations:
When type specifier is not expanded to (MEMBER ...) an error is signaled.
“‘lisp
#?(mcase (unsigned-byte 8) :dummy)
:signals error
, :lazy
“‘
Ordinary otherwise clause is invalid because in such case you should use CASE.
“‘lisp
#?(mcase (member 0 1 2) :dummy
((0 1 2) :yes)
(otherwise :no))
:signals error
, :lazy
“‘
One exceptional situation is OTHERWISE in the MEMBER.
“‘lisp
#?(mcase (member 0 1 2 otherwise) :dummy
((0 1 2) :yes)
(otherwise :no))
=> :NO
“‘
## Examples:
“‘lisp
#?(deftype state () ’(member :a :b :c))
=> STATE
“‘
“‘lisp
#?(mcase state :dummy (:a "Missing :b and :c members"))
:signals error
, :lazy
“‘
“‘lisp
#?(mcase state :dummy ((:a :b :c) "Works fine."))
=> NIL
“‘
“‘lisp
#?(mcase state :dummy
((:a :b :c) "Fine but")
(:d "Ooops! Unknown member is found!"))
:signals error
, :lazy
“‘
Previous: Public Interface, Up: Definitions [Contents][Index]
Previous: Definitions, Up: The mcase Reference Manual [Contents][Index]
| Jump to: | C E F M P |
|---|
| Jump to: | C E F M P |
|---|
| Jump to: | F M P S |
|---|
| Jump to: | F M P S |
|---|