Modulemachines-0.7.4Haskell2010

Data.Machine.Group

valuegroupingOn

Using a function to signal group changes, apply a machine independently over each group.

valuetaggedBy :: Monad m => (a -> a -> Bool) -> ProcessT m a (Either () a)

Mark a transition point between two groups as a function of adjacent elements. Examples

Example1 expression

>>> runT $ supply [1,2,2] (taggedBy (==))[Right 1,Left (),Right 2,Right 2]

valuepartitioning :: Monad m => ProcessT m a b -> ProcessT m (Either () a) b

Run a machine multiple times over partitions of the input stream specified by Left () values.

valuestarve :: Monad m => MachineT m k0 b -> MachineT m k b -> MachineT m k b

Run a machine with no input until it stops, then behave as another machine.

valueawaitUntil

Read inputs until a condition is met, then behave as cont with | input matching condition as first input of cont. | If await fails, stop.