Grain.Class.KGProxy

data KGProxy k a

A type of keyed global state proxy.

Constructors

• KGProxy k

class GrainKey a  where

Representation of key type for keyed global state.

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

Members

• stringifyKey :: a -> String

Instances

• GrainKey String

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

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.

Members

• initialState :: KGProxy k a -> Effect a
• typeRefOf :: KGProxy k a -> TypeRef