Halogen.Helix

type UseHelixHook :: Type -> Type -> Type -> (Type -> Type) -> Typetype UseHelixHook state action part m = (state -> part) -> Hook m (UseHelix state) (part /\ (HelixContext' part action m))

data UseHelix :: Type -> HookTypedata UseHelix t0

type HelixMiddleware' :: Type -> Type -> (Type -> Type) -> Typetype HelixMiddleware' s a m = HelixMiddleware s a (HookM m)

type HelixContext' :: Type -> Type -> (Type -> Type) -> Typetype HelixContext' s a m = HelixContext s a (HookM m)

makeStore' :: forall state action part m. MonadEffect m => Eq part => String -> (state -> action -> state) -> state -> UseHelixHook state action part m

makeStore :: forall state action part m. MonadEffect m => Eq part => String -> (state -> action -> state) -> state -> HelixMiddleware' state action m -> UseHelixHook state action part m

Operator alias for Halogen.Helix.Middleware.composeMiddlewareLtoR (right-associative / precedence 4)

Operator alias for Halogen.Helix.Middleware.composeMiddlewareRtoL (left-associative / precedence 4)

newtype HelixStore :: Type -> Type -> (Type -> Type) -> Typenewtype HelixStore s a m

getState :: forall m s a. MonadEffect m => HelixStore s a m -> m s

emitState :: forall s a m. HelixStore s a m -> Emitter s

dispatch :: forall m s a. MonadEffect m => HelixStore s a m -> a -> m Unit

type HelixMiddleware :: Type -> Type -> (Type -> Type) -> Typetype HelixMiddleware state action m = (HelixContext state action m) -> action -> (action -> m Unit) -> m Unit

type HelixContext :: Type -> Type -> (Type -> Type) -> Typetype HelixContext state action m = { dispatch :: action -> m Unit, getState :: m state }