Documentation

This is an analog of the GPSS construct

SPLIT A,B,C

Parameter A is a length of the list parameter passed in to the function. Parameter B is the list itself. If you need to define parameter C then you can create the blocks dynamically that could depend on the index and where we could assign a new value for each new transcact after splitting.

An example is

let blocks :: [Block (Transact (a, Int)) ()]
    blocks = ...
    f :: (Int, Block (Transact (a, Int)) ()) -> Block (Transact a) ()
    f (n, block) = assignBlock (a -> (a, n)) >>> block
    blocks' :: [Block (Transact a) ()]
    blocks' = map f $ zip [0..] blocks
in splitBlock blocks'