You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
where it's easier to define a Free monad locally (with lots of StandaloneDeriving) than to do the Show1, Eq1, etc., gunk needed to use the one in Free.
The text was updated successfully, but these errors were encountered:
I'm fine with this if anyone wants to implement it. I'm not terribly concerned about efficiency or even about the particular implementation, as long as it works.
I can try, though I'm not really familiar with the way things are done in this package. MonadTrans properties are really just the most basic one might want for lift. I have much less of a clue about how one might effectively test that it lifts MonadReader, MonadError, etc., properties correctly.
I don't see anything for
MonadTrans
. I recommend using this base monad for testing it:where it's easier to define a
Free
monad locally (with lots ofStandaloneDeriving
) than to do theShow1
,Eq1
, etc., gunk needed to use the one inFree
.The text was updated successfully, but these errors were encountered: