Spork.EventQueue

data Loop m i

Constructors

• Loop (i -> m (Loop m i)) (Unit -> m (Loop m i))

type EventQueue m i o = EventQueueInstance m o -> m (Loop m i)

type EventQueueAccum m s i = { commit :: s -> m s, init :: s, update :: s -> i -> m s }

type EventQueueInstance m o = { push :: o -> m Unit, run :: m Unit }

type QueueEffects eff = (ref :: REF | eff)

stepper :: forall o i m. Monad m => (i -> m o) -> EventQueue m i o

Creates an EventQueue from a Kleisli arrow.

withCont :: forall o i m. Applicative m => (EventQueueInstance m o -> i -> m Unit) -> EventQueue m i o

Creates an EventQueue which performs an action on every input.

withAccum :: forall o i s m. Applicative m => (EventQueueInstance m o -> m (EventQueueAccum m s i)) -> EventQueue m i o

Creates an EventQueue with an EventQueueAccum lifecycle.

withAccumArray :: forall o i m. Applicative m => (EventQueueInstance m o -> m (Array i -> m Unit)) -> EventQueue m i o

Creates an EventQueue comprised of only a commit action for inputs buffered in an Array.

fix :: forall i eff. EventQueue (Eff (QueueEffects eff)) i i -> Eff (QueueEffects eff) (EventQueueInstance (Eff (QueueEffects eff)) i)

Creates an EventQueue that can feed back into itself.