Would partitionE be a better name for splitE? I'm thinking that splitE could be a more general function that doesn't chop off the right hand side of an event. My proposal, by example:

partitionE [(0,()), (5,())]
           [(2,()), (4,()), (6,()), (8,()), (10,())]
=> [ (0, ((), [(2,()), (4,())] ))
     , (5, ((), [(6,()), (8,()), (10,())]))
     ]

splitE [(0,()), (5,())]
       [(2,()), (4,()), (6,()), (8,()), (10,())]
=> [ (0, ((), [(2,()), (4,()), (6,()), (8,()), (10,())]))
     , (5, ((), [(6,()), (8,()), (10,())]))
     ]

Any objections?

David

--
David Sankel