Grain.Class

class Grain p a  where

Members

• initialState :: p a -> Effect a
• typeRefOf :: p a -> TypeRef
• which :: forall b. p a -> { global :: b, local :: b } -> b

Instances

• (GlobalGrain a) => Grain GProxy a
• (KeyedGlobalGrain k a) => Grain (KGProxy k) a
• (LocalGrain a) => Grain LProxy a

class (Grain p a) <= NonKeyedGrain p a 

Instances

• (GlobalGrain a) => NonKeyedGrain GProxy a
• (LocalGrain a) => NonKeyedGrain LProxy a