2 Dec
2008
2 Dec
'08
1:22 p.m.
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