Tom Plagge on Thu, 2 Dec 2004 15:59:58 -0600 (CST)


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: [nimh-dev] sequence definition


Currently sequences cannot be defined across folders.  It would be cool to say
scan `pick +inbox -from joel +nimh -from joel`

> > I think this exhaustively defines what counts as a sequence:
> > 
> > x is a unit sequence iff:
> > 1. x = first|last|cur|.|prev|next|new, or
> > 2. x \in N\{0}
> > 
> > x is a sequence iff:
> > 1. x is a unit sequence, or
> > 2. x = y-z where y,z are unit sequences, or
> > 3. x = y:z where y is a unit or user-defined sequence and z \in Z\{0}, or
> > 4. x = all|pseq|unseen, or
> > 5. x = !y where y is a sequence, or
> > 6. x = s_0 ... s_n for sequences s_0,...,s_n, or
> > 7. x is a user-defined name for a sequence y, or
> > 8. x = y:(first|last|next|prev) where y is a user-defined name for a 
> > sequence
> > 
> > I gleaned this from the man page for mh-sequence. Do you guys see anything 
> > I missed, or anything incorrect, or anything you'd like to add right now?
> > 
> > -- 
> > J.
> > 
> > 
> > _______________________________________________
> > nimh-dev mailing list
> > nimh-dev@xxxxxxxxxxx
> > http://lists.ellipsis.cx/mailman/listinfo/nimh-dev
> > 
> 
> ________________________________________________________________________
> 
> Tom Plagge                              UC Berkeley Physics Dept.
> 351 LeConte Hall                        Voice: (510) 643-1650
> Berkeley, CA  94720                     Email: tplagge@xxxxxxxxxxxxxxxxx
> ________________________________________________________________________
> 
> _______________________________________________
> nimh-dev mailing list
> nimh-dev@xxxxxxxxxxx
> http://lists.ellipsis.cx/mailman/listinfo/nimh-dev
> 

________________________________________________________________________

Tom Plagge                              UC Berkeley Physics Dept.
351 LeConte Hall                        Voice: (510) 643-1650
Berkeley, CA  94720                     Email: tplagge@xxxxxxxxxxxxxxxxx
________________________________________________________________________

_______________________________________________
nimh-dev mailing list
nimh-dev@xxxxxxxxxxx
http://lists.ellipsis.cx/mailman/listinfo/nimh-dev