Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

UX around Lift #161

Merged
merged 11 commits into from
Jul 11, 2019
Prev Previous commit
Next Next commit
Add a Sandy reminder
  • Loading branch information
googleson78 committed Jul 8, 2019
commit 96a5b8901ed6497d380a0999e2a9f15003a9db8c
2 changes: 2 additions & 0 deletions src/Polysemy/Lift.hs
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,8 @@ makeSem ''Lift
------------------------------------------------------------------------------
-- | Given a natural transform from @m1@ to @m2@
-- run a @Lift m1@ effect by transforming it into a @Lift m2@ effect.
--
-- TODO(sandy): @since
runLift :: Member (Lift m2) r => (forall x. m1 x -> m2 x) -> Sem (Lift m1 ': r) a -> Sem r a
googleson78 marked this conversation as resolved.
Show resolved Hide resolved
runLift f = interpret $ sendM . f . unLift
googleson78 marked this conversation as resolved.
Show resolved Hide resolved
{-# INLINE runLift #-}