mirror of
https://github.com/polysemy-research/polysemy.git
synced 2024-12-02 11:54:06 +03:00
Fix warnings from upgrading to ghc 8.8.3
This commit is contained in:
parent
a5d0500064
commit
28246caa6c
@ -12,7 +12,6 @@ module Polysemy.Embed
|
||||
) where
|
||||
|
||||
import Polysemy
|
||||
import Polysemy.Embed.Type (Embed (..))
|
||||
|
||||
------------------------------------------------------------------------------
|
||||
-- | Given a natural transform from @m1@ to @m2@
|
||||
|
@ -40,7 +40,6 @@ module Polysemy.Internal
|
||||
|
||||
import Control.Applicative
|
||||
import Control.Monad
|
||||
import Control.Monad.Fail
|
||||
import Control.Monad.Fix
|
||||
import Control.Monad.IO.Class
|
||||
import Data.Functor.Identity
|
||||
|
@ -265,14 +265,13 @@ decomp (Union p a) =
|
||||
-- | Retrieve the last effect in a 'Union'.
|
||||
extract :: Union '[e] m a -> Weaving e m a
|
||||
extract (Union Here a) = a
|
||||
extract (Union (There g) _) = case g of {}
|
||||
{-# INLINE extract #-}
|
||||
|
||||
|
||||
------------------------------------------------------------------------------
|
||||
-- | An empty union contains nothing, so this function is uncallable.
|
||||
absurdU :: Union '[] m a -> b
|
||||
absurdU (Union pr _) = case pr of {}
|
||||
absurdU = \case {}
|
||||
|
||||
|
||||
------------------------------------------------------------------------------
|
||||
|
Loading…
Reference in New Issue
Block a user