-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A basic `reflex` host for backend work
--   
--   A basic <a>reflex</a> host for backend work.
@package reflex-basic-host
@version 0.1


-- | <a>BasicGuest</a> provides instances that most <tt>reflex</tt>
--   programs need:
--   
--   <ul>
--   <li><a>MonadIO</a></li>
--   <li><a>MonadFix</a></li>
--   <li><a>MonadSample</a></li>
--   <li><a>MonadHold</a></li>
--   <li><a>NotReady</a></li>
--   <li><a>PostBuild</a></li>
--   <li><a>PerformEvent</a> — <tt><a>Performable</a> (<a>BasicGuest</a> t
--   m)</tt> has <a>MonadIO</a></li>
--   <li><a>TriggerEvent</a></li>
--   <li><a>Adjustable</a></li>
--   </ul>
--   
--   For some simple usage examples, see <a>the examples directory</a>
module Reflex.Host.Basic
data BasicGuest t (m :: * -> *) a
type BasicGuestConstraints t (m :: * -> *) = (MonadReflexHost t m, MonadHold t m, MonadSample t m, Ref m ~ Ref IO, MonadRef (HostFrame t), Ref (HostFrame t) ~ Ref IO, MonadIO (HostFrame t), PrimMonad (HostFrame t), MonadIO m, MonadFix m)

-- | Run a <a>BasicGuest</a>
--   
--   The program will exit when the <a>Event</a> returned by the
--   <a>BasicGuest</a> fires
basicHostWithQuit :: (forall t m. BasicGuestConstraints t m => BasicGuest t m (a, Event t ())) -> IO a

-- | Run a <a>BasicGuest</a> without a quit <a>Event</a>
basicHostForever :: (forall t m. BasicGuestConstraints t m => BasicGuest t m a) -> IO a

-- | Augment a <a>BasicGuest</a> with an action that is repeatedly run
--   until the provided event fires
--   
--   Example - providing a 'tick' <a>Event</a> to a network
--   
--   <pre>
--   myNetwork :: (Reflex t, MonadHold t m, MonadFix m) =&gt; Event t () -&gt; m (Dynamic t Int)
--   myNetwork eTick = count eTick
--   
--   myGuest :: BasicGuestConstraints t m =&gt; BasicGuest t m ((), Event t ())
--   myGuest = do
--     (eTick, sendTick) &lt;- newTriggerEvent
--     dCount &lt;- myNetwork eTick
--     let
--       eCountUpdated = updated dCount
--       eQuit = () &lt;$ ffilter (==5) eCountUpdated
--     repeatUntilQuit eQuit (threadDelay 1000000 *&gt; sendTick ())
--     performEvent_ $ liftIO . print &lt;$&gt; eCountUpdated
--     pure ((), eQuit)
--   
--   main :: IO ()
--   main = basicHostWithQuit myGuest
--   </pre>
repeatUntilQuit :: BasicGuestConstraints t m => IO a -> Event t () -> BasicGuest t m ()
instance Reflex.Host.Class.ReflexHost t => Control.Monad.Fix.MonadFix (Reflex.Host.Basic.BasicGuest t m)
instance Reflex.Host.Class.ReflexHost t => GHC.Base.Monad (Reflex.Host.Basic.BasicGuest t m)
instance Reflex.Host.Class.ReflexHost t => GHC.Base.Applicative (Reflex.Host.Basic.BasicGuest t m)
instance Reflex.Host.Class.ReflexHost t => GHC.Base.Functor (Reflex.Host.Basic.BasicGuest t m)
instance (Control.Monad.IO.Class.MonadIO m, Reflex.Host.Class.ReflexHost t, Control.Monad.IO.Class.MonadIO (Reflex.Host.Class.HostFrame t)) => Control.Monad.IO.Class.MonadIO (Reflex.Host.Basic.BasicGuest t m)
instance Reflex.Host.Class.ReflexHost t => Reflex.Class.MonadSample t (Reflex.Host.Basic.BasicGuest t m)
instance (Reflex.Host.Class.ReflexHost t, Reflex.Class.MonadHold t m) => Reflex.Class.MonadHold t (Reflex.Host.Basic.BasicGuest t m)
instance (Reflex.Class.Reflex t, Reflex.Host.Class.ReflexHost t) => Reflex.PostBuild.Class.PostBuild t (Reflex.Host.Basic.BasicGuest t m)
instance (Reflex.Class.Reflex t, Reflex.Host.Class.ReflexHost t, Control.Monad.Ref.MonadRef (Reflex.Host.Class.HostFrame t), Control.Monad.Ref.Ref (Reflex.Host.Class.HostFrame t) Data.Type.Equality.~ Control.Monad.Ref.Ref GHC.Types.IO) => Reflex.TriggerEvent.Class.TriggerEvent t (Reflex.Host.Basic.BasicGuest t m)
instance (Reflex.Class.Reflex t, Reflex.Host.Class.ReflexHost t, Control.Monad.Ref.Ref m Data.Type.Equality.~ Control.Monad.Ref.Ref GHC.Types.IO, Control.Monad.Ref.MonadRef (Reflex.Host.Class.HostFrame t), Control.Monad.Ref.Ref (Reflex.Host.Class.HostFrame t) Data.Type.Equality.~ Control.Monad.Ref.Ref GHC.Types.IO, Control.Monad.IO.Class.MonadIO (Reflex.Host.Class.HostFrame t), Control.Monad.Primitive.PrimMonad (Reflex.Host.Class.HostFrame t), Control.Monad.IO.Class.MonadIO m) => Reflex.PerformEvent.Class.PerformEvent t (Reflex.Host.Basic.BasicGuest t m)
instance (Reflex.Class.Reflex t, Reflex.Host.Class.ReflexHost t, Control.Monad.Ref.Ref m Data.Type.Equality.~ Control.Monad.Ref.Ref GHC.Types.IO, Reflex.Class.MonadHold t m, Control.Monad.Primitive.PrimMonad (Reflex.Host.Class.HostFrame t)) => Reflex.Adjustable.Class.Adjustable t (Reflex.Host.Basic.BasicGuest t m)
instance Reflex.Host.Class.ReflexHost t => Reflex.NotReady.Class.NotReady t (Reflex.Host.Basic.BasicGuest t m)