mirror of
https://github.com/polysemy-research/polysemy.git
synced 2024-11-30 07:13:55 +03:00
Removed redundant constraint from ignoreTrace (#178)
This commit is contained in:
parent
de1607ea1b
commit
8812d0a6b9
@ -39,7 +39,7 @@ traceToIO = interpret $ \case
|
||||
|
||||
------------------------------------------------------------------------------
|
||||
-- | Run a 'Trace' effect by ignoring all of its messages.
|
||||
ignoreTrace :: Member (Embed IO) r => Sem (Trace ': r) a -> Sem r a
|
||||
ignoreTrace :: Sem (Trace ': r) a -> Sem r a
|
||||
ignoreTrace = interpret $ \case
|
||||
Trace _ -> pure ()
|
||||
{-# INLINE ignoreTrace #-}
|
||||
|
Loading…
Reference in New Issue
Block a user