Grain

data GProxy a

A type of global state proxy.

Constructors

• GProxy

class GlobalGrain a 

Representation of a partial state of application state.

You can use this to define global state.

TypeRef is used as state key internally for uniqueness.

data KGProxy k a

A type of keyed global state proxy.

Constructors

• KGProxy k

class GrainKey a 

Representation of key type for keyed global state.

This class's instances can be key for keyed global state.

Instances

• GrainKey String

class (GrainKey k) <= KeyedGlobalGrain k a | a -> k

Representation of a partial state of application state.

You can use this to define global state with key for dynamic items.

The first parameter is a type of key for each item, and the second parameter is a type of item.

TypeRef is used as state key internally for uniqueness.

data LProxy a

A type of component-local state proxy.

Constructors

• LProxy

class LocalGrain a 

Representation of a component-local state.

TypeRef is used as state key internally for uniqueness.

fromConstructor :: forall a. a -> TypeRef

Create a TypeRef.

Treat a constructor function as reference of type.

data VNode

The type of virtual node.

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

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 :: Render (forall a p. Grain p a => p a -> (a -> a) -> Effect Unit)

Get the updater for any state.

usePortal :: Effect Node -> Render (VNode -> VNode)

Get portal function.

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

Get the finder for any state.

mount :: VNode -> Node -> Effect Unit

Mount a VNode to a parent node.