@@ -33,7 +33,7 @@ import Control.Monad.Identity
3333import Control.Monad.Primitive
3434import Control.Monad.Reader
3535import Control.Monad.Ref
36−import Control.Monad.Trans.Control
36+import qualified Control.Monad.Trans.Control as TransControl
3737import Data.Dependent.Map (DMap)
3838import qualified Data.Dependent.Map as DMap
3939import Data.Functor.Compose
@@ -54,13 +54,6 @@ instance PrimMonad m => PrimMonad (PostBuildT x m) where
5454 type PrimState (PostBuildT x m) = PrimState m
5555 primitive = lift . primitive
5656
57−instance MonadTransControl (PostBuildT t) where
58− type StT (PostBuildT t) a = StT (ReaderT (Event t ())) a
59− {-# INLINABLE liftWith #-}
60− liftWith = defaultLiftWith PostBuildT unPostBuildT
61− {-# INLINABLE restoreT #-}
62− restoreT = defaultRestoreT PostBuildT
63−
6457instance (Reflex t, Monad m) => PostBuild t (PostBuildT t m) where
6558 {-# INLINABLE getPostBuild #-}
6659 getPostBuild = PostBuildT ask
@@ -78,11 +71,11 @@ instance MonadHold t m => MonadHold t (PostBuildT t m) where
7871 holdIncremental v0 = lift . holdIncremental v0
7972
8073instance PerformEvent t m => PerformEvent t (PostBuildT t m) where
81− type Performable (PostBuildT t m) = PostBuildT t (Performable m)
74+ type Performable (PostBuildT t m) = Performable m
8275 {-# INLINABLE performEvent_ #-}
83− performEvent_ e = liftWith $ \run -> performEvent_ $ fmap run e
76+ performEvent_ = lift . performEvent_
8477 {-# INLINABLE performEvent #-}
85− performEvent e = liftWith $ \run -> performEvent $ fmap run e
78+ performEvent = lift . performEvent
8679
8780instance (ReflexHost t, MonadReflexCreateTrigger t m) => MonadReflexCreateTrigger t (PostBuildT t m) where
8881 {-# INLINABLE newEventWithTrigger #-}
@@ -175,3 +168,15 @@ mapDMapWithAdjustImpl base mapPatch f dm0 dm' = do
175168 let voidResult' = fmapCheap (\_ -> ()) result'
176169 let loweredDm' = ffor dm' $ mapPatch (Compose . (,) (True, voidResult'))
177170 return (result0, result')
171+
172+--------------------------------------------------------------------------------
173+-- Deprecated functionality
174+--------------------------------------------------------------------------------
175+
176+-- | Deprecated
177+instance TransControl.MonadTransControl (PostBuildT t) where
178+ type StT (PostBuildT t) a = TransControl.StT (ReaderT (Event t ())) a
179+ {-# INLINABLE liftWith #-}
180+ liftWith = TransControl.defaultLiftWith PostBuildT unPostBuildT
181+ {-# INLINABLE restoreT #-}
182+ restoreT = TransControl.defaultRestoreT PostBuildT