With the merge of #15 we've introduced an optic headerDate which uses parseTimeOrError. The use of this function could end up in an exception which is not handled.
Instead, we would like to avoid using a non-total function and perhaps also parseTimeM which uses IO.
With the merge of #15 we've introduced an optic
headerDate
which usesparseTimeOrError
. The use of this function could end up in an exception which is not handled. Instead, we would like to avoid using a non-total function and perhaps alsoparseTimeM
which usesIO
.