@@ -1,8 +1,6 @@
11{-# LANGUAGE ExistentialQuantification, GADTs, ScopedTypeVariables, TypeFamilies, FlexibleInstances, MultiParamTypeClasses, GeneralizedNewtypeDeriving, RankNTypes, BangPatterns, UndecidableInstances, EmptyDataDecls, RecursiveDo, RoleAnnotations, FunctionalDependencies, FlexibleContexts #-}
22module Reflex.Host.Class where
33
4−import Prelude hiding (mapM, mapM_, sequence, sequence_, foldl)
5−
64import Reflex.Class
75
86import Control.Monad.Fix
@@ -14,8 +12,12 @@ import Control.Monad.Trans.Except (ExceptT())
1412import Control.Monad.Trans.RWS (RWST())
1513import Control.Monad.Trans.State (StateT())
1614import Data.Dependent.Sum (DSum)
15+import Data.Monoid
1716import Control.Monad.Ref
1817
18+-- Note: this import must come last to silence warnings from AMP
19+import Prelude hiding (mapM, mapM_, sequence, sequence_, foldl)
20+
1921-- | Framework implementation support class for the reflex implementation represented by @t@.
2022class (Reflex t, MonadReflexCreateTrigger t (HostFrame t), MonadSample t (HostFrame t), MonadHold t (HostFrame t), MonadFix (HostFrame t)) => ReflexHost t where
2123 type EventTrigger t :: * -> *