Strict functors will panic if their expected invariants are not met, but these invariants are not documented.
Task:
- Document required invariants (as in
lax::functor)
- Provide optional runtime checks (i.e., verify that
map_operations is consistent with map_object
Strict functors will panic if their expected invariants are not met, but these invariants are not documented.
Task:
lax::functor)map_operationsis consistent withmap_object