Closed larskuhtz closed 9 years ago
Currently the definition is logMsg is overly restrictive:
logMsg
logMsg ∷ Lens' (LogMessage a) a logMsg = lens _logMsg $ \a b → a { _logMsg = b }
It should be relax to allow changing the type of a:
a
logMsg ∷ Lens (LogMessage a) (LogMessage b) a b logMsg = lens _logMsg $ \a b → a { _logMsg = b }
resolved in PR #31.
Currently the definition is
logMsg
is overly restrictive:It should be relax to allow changing the type of
a
: