#senderIsNotAdmin custom Lorentz error uses Unit as its argument
Clarification and motivation
This is a follow-up to #383 (closed). The custom Lorentz error senderIsNotAdmin
, defined in Lorentz.Errors.Common
, uses ()
as its argument. With #383 (closed) it would be more efficient to use NoErrorArg
here. That will lead to some downstream breakage, however.
On a related note, this is literally the only error we forcibly declare in Lorentz. Perhaps we shouldn't export it from Lorentz
by default? It limits the flexibility somewhat.
Acceptance criteria
- The necessity of exporting
#senderIsNotAdmin
instances from the mainLorentz
module is reviewed - If it's deemed unnecessary, the export is removed
- The
ErrorArg
instance ofsenderIsNotAdmin
is changed toNoErrorArg
.