Module

Grain.Class

Package: purescript-grain
Repository: purescript-grain/purescript-grain

#Grain Source

class Grain :: (Type -> Type) -> Type -> Constraintclass 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

#NonKeyedGrain Source

class NonKeyedGrain :: (Type -> Type) -> Type -> Constraintclass (Grain p a) <= NonKeyedGrain p a

Instances

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