Q: logging over PrimMonad
Closed this issue · 2 comments
ocramz commented
I have an action that typechecks as
create >>= sample t
:: (MonadLog (WithSeverity String) m, PrimMonad m) => m Double
Internally, it produces random numbers, which yields the PrimMonad constraint.
I can't seem to figure out a way to execute this composite effect, so any help would be appreciated. Thanks!
ocramz commented
Tired eyes produce bad code; refactoring bypassed this problem. Thanks anyway!
ocharles commented
Glad you found a solution!