Module

Halogen.Hooks.Internal.Eval.Types

Package
purescript-halogen-hooks
Repository
thomashoneyman/purescript-halogen-hooks

#HalogenM' Source

type HalogenM' q i m b a = HalogenM (HookState q i m b) (HookM m Unit) SlotType OutputValue m a

#toHalogenM Source

toHalogenM :: forall a b m o ps i q. SlotToken ps -> OutputToken o -> HalogenM' q i m b a -> HalogenM (HookState q i m b) (HookM m Unit) ps o m a

#QueryFn Source

data QueryFn :: (Type -> Type) -> (Type -> Type) -> Type

#toQueryFn Source

toQueryFn :: forall m q. (forall a. q a -> HookM m (Maybe a)) -> QueryFn q m

#fromQueryFn Source

fromQueryFn :: forall m q. QueryFn q m -> (forall a. q a -> HookM m (Maybe a))

#HookState Source

newtype HookState q i m a

Constructors

Instances

#InternalHookState Source

type InternalHookState q i m a = { componentRef :: ComponentRef, effectCells :: QueueState ((Maybe MemoValues) /\ (HookM m Unit)), evalQueue :: Array (HalogenM (HookState q i m a) (HookM m Unit) SlotType OutputValue m Unit), input :: i, memoCells :: QueueState (MemoValues /\ MemoValue), queryFn :: Maybe (QueryFn q m), refCells :: QueueState (Ref RefValue), stateCells :: QueueState StateValue, stateDirty :: Boolean }

#QueueState Source

type QueueState a = { index :: Int, queue :: Array a }