Halogen.Store.Monad

class (MonadEffect m) <= MonadStore a s m | m -> s a where

The MonadStore class captures monads which implement a stored value, along with methods to get, update (via an action type, a), or subscribe to changes in the stored value.

An instance is provided for StoreT, which is the standard way to use the MonadStore class.

Members

• getStore :: m s
• updateStore :: a -> m Unit
• emitSelected :: forall s'. Selector s s' -> m (Emitter s')

Instances

• (MonadAff m) => MonadStore a s (StoreT a s m)
• (MonadStore a s m) => MonadStore a s (HalogenM st act slots out m)

type HalogenStore a s = { emitter :: Emitter s, listener :: Listener s, reducer :: s -> a -> s, value :: Ref s }

Instances

• (Monad m) => MonadAsk (HalogenStore a s) (StoreT a s m)

newtype StoreT a s m b

Constructors

• StoreT (ReaderT (HalogenStore a s) m b)

Instances

• (Functor m) => Functor (StoreT a s m)
• (Apply m) => Apply (StoreT a s m)
• (Applicative m) => Applicative (StoreT a s m)
• (Bind m) => Bind (StoreT a s m)
• (Monad m) => Monad (StoreT a s m)
• (Monad m) => MonadAsk (HalogenStore a s) (StoreT a s m)
• (MonadEffect m) => MonadEffect (StoreT a s m)
• (MonadAff m) => MonadAff (StoreT a s m)
• (MonadAff m) => MonadStore a s (StoreT a s m)

runStoreT :: forall a s q i o m. Monad m => s -> (s -> a -> s) -> Component q i o (StoreT a s m) -> Aff (Component q i o m)

Run a component in the StoreT monad.

Requires an initial value for the store, s, and a reducer that updates the store in response to an action, a.

This can be used directly on the root component of your application to produce a component that Halogen can run, so long as the base monad can be fixed to Aff.

main = launchAff_ do
  body <- Halogen.Aff.awaitBody
  root <- runStoreT initialStore reducer rootComponent
  runUI root unit body