on develop help sign in
Quantify Control.Monad.fail in MonadFail instances
8f460caJohn Ericson
src/Reflex/Spider/Internal.hs+3−3
@@ -981,7 +981,7 @@ instance Monad (BehaviorM x) where
981
981
982instance MonadFail (BehaviorM x) where
982instance MonadFail (BehaviorM x) where
983 {-# INLINABLE fail #-}
983 {-# INLINABLE fail #-}
984− fail s = BehaviorM $ fail s
984+ fail s = BehaviorM $ MonadFail.fail s
985
985
986data BehaviorSubscribed x a
986data BehaviorSubscribed x a
987 = forall p. BehaviorSubscribedHold (Hold x p)
987 = forall p. BehaviorSubscribedHold (Hold x p)
@@ -2654,7 +2654,7 @@ instance Monad (SpiderHost x) where
2654
2654
2655instance MonadFail (SpiderHost x) where
2655instance MonadFail (SpiderHost x) where
2656 {-# INLINABLE fail #-}
2656 {-# INLINABLE fail #-}
2657− fail s = SpiderHost $ fail s
2657+ fail s = SpiderHost $ MonadFail.fail s
2658
2658
2659-- | Run an action affecting the global Spider timeline; this will be guarded by
2659-- | Run an action affecting the global Spider timeline; this will be guarded by
2660-- a mutex for that timeline
2660-- a mutex for that timeline
@@ -2683,7 +2683,7 @@ instance Monad (SpiderHostFrame x) where
2683
2683
2684instance MonadFail (SpiderHostFrame x) where
2684instance MonadFail (SpiderHostFrame x) where
2685 {-# INLINABLE fail #-}
2685 {-# INLINABLE fail #-}
2686− fail s = SpiderHostFrame $ fail s
2686+ fail s = SpiderHostFrame $ MonadFail.fail s
2687
2687
2688instance NotReady (SpiderTimeline x) (SpiderHostFrame x) where
2688instance NotReady (SpiderTimeline x) (SpiderHostFrame x) where
2689 notReadyUntil _ = pure ()
2689 notReadyUntil _ = pure ()