@@ -5,6 +5,7 @@ import Prelude hiding (mapM, mapM_, sequence, sequence_, foldl)
6import Reflex.Class
6import Reflex.Class
8+import Control.Monad.Fix
8import Control.Monad.Trans
9import Control.Monad.Trans
9import Control.Monad.Reader (ReaderT())
10import Control.Monad.Reader (ReaderT())
10import Control.Monad.Writer (WriterT())
11import Control.Monad.Writer (WriterT())
@@ -16,7 +17,7 @@ import Data.Dependent.Sum (DSum)
16import Control.Monad.Ref
17import Control.Monad.Ref
18-- | Framework implementation support class for the reflex implementation represented by @t@.
19-- | Framework implementation support class for the reflex implementation represented by @t@.
19−class (Reflex t, MonadReflexCreateTrigger t (HostFrame t), MonadSample t (HostFrame t), MonadHold t (HostFrame t)) => ReflexHost t where
20+class (Reflex t, MonadReflexCreateTrigger t (HostFrame t), MonadSample t (HostFrame t), MonadHold t (HostFrame t), MonadFix (HostFrame t)) => ReflexHost t where
20 type EventTrigger t :: * -> *
21 type EventTrigger t :: * -> *
21 type EventHandle t :: * -> *
22 type EventHandle t :: * -> *
22 type HostFrame t :: * -> *
23 type HostFrame t :: * -> *