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