Grain.Render

newtype Render a

The type of component renderer.

In this monad, you can declare that you use some states and updaters.

Instances

• Functor Render
• Apply Render
• Applicative Render
• Bind Render
• Monad Render
• (Semigroup a) => Semigroup (Render a)
• (Monoid a) => Monoid (Render a)
• MonadRec Render

type Query = { selectValue :: forall a p. Grain p a => p a -> Effect a, updateValue :: forall a p. Grain p a => p a -> (a -> a) -> Effect Unit }

runRender :: forall a. Render a -> Query -> Effect a

useValue :: forall a p. Grain p a => p a -> Render a

Listen a state, then return it.

If the state is changed, the component will be rerendered.

useUpdater :: forall a p. Grain p a => p a -> Render ((a -> a) -> Effect Unit)

Get an updater of a state.