From 882cd80abf2e7ac1f12657bdeb7ba5ff30814309 Mon Sep 17 00:00:00 2001 From: Georgi Lyubenov Date: Thu, 23 May 2019 19:50:38 +0300 Subject: [PATCH] Fix typo: uunderneath -> underneath (#60) --- src/Polysemy/Internal.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Polysemy/Internal.hs b/src/Polysemy/Internal.hs index f54608d..3c4eaa6 100644 --- a/src/Polysemy/Internal.hs +++ b/src/Polysemy/Internal.hs @@ -257,7 +257,7 @@ raise_b = raise ------------------------------------------------------------------------------ --- | Like 'raise', but introduces a new effect uunderneath the head of the +-- | Like 'raise', but introduces a new effect underneath the head of the -- list. raiseUnder :: ∀ e2 e1 r a. Sem (e1 ': r) a -> Sem (e1 ': e2 ': r) a raiseUnder = hoistSem $ hoist raiseUnder_b . weakenUnder @@ -270,7 +270,7 @@ raiseUnder_b = raiseUnder ------------------------------------------------------------------------------ --- | Like 'raise', but introduces two new effects uunderneath the head of the +-- | Like 'raise', but introduces two new effects underneath the head of the -- list. raiseUnder2 :: ∀ e2 e3 e1 r a. Sem (e1 ': r) a -> Sem (e1 ': e2 ': e3 ': r) a raiseUnder2 = hoistSem $ hoist raiseUnder2_b . weakenUnder2 @@ -283,7 +283,7 @@ raiseUnder2_b = raiseUnder2 ------------------------------------------------------------------------------ --- | Like 'raise', but introduces two new effects uunderneath the head of the +-- | Like 'raise', but introduces two new effects underneath the head of the -- list. raiseUnder3 :: ∀ e2 e3 e4 e1 r a. Sem (e1 ': r) a -> Sem (e1 ': e2 ': e3 ': e4 ': r) a raiseUnder3 = hoistSem $ hoist raiseUnder3_b . weakenUnder3