[Axiom-developer] [InfiniteTuple] (new)

[Bill Page]

Changes http://page.axiom-developer.org/zope/mathaction/InfiniteTuple/diff
--
The following description is copied from the source code.
No other documentation is available yet for this domain.

)abbrev domain ITUPLE InfiniteTuple::

  ++ Infinite tuples for the interpreter
  ++ Author: Clifton J. Williamson
  ++ Date Created: 16 February 1990
  ++ Date Last Updated: 16 February 1990

InfiniteTuple(S:Type): Exports == Implementation where::

  ++ This package implements 'infinite tuples' for the interpreter.
  ++ The representation is a stream.

  Exports ==> CoercibleTo OutputForm with
    map: (S -> S, %) -> %
      ++ map(f,t) replaces the tuple t
      ++ by \spad{[f(x) for x in t]}.
    filterWhile: (S -> Boolean, %) -> %
      ++ filterWhile(p,t) returns \spad{[x for x in t while p(x)]}.
    filterUntil: (S -> Boolean, %) -> %
      ++ filterUntil(p,t) returns \spad{[x for x in t while not p(x)]}.
    select: (S -> Boolean, %) -> %
      ++ select(p,t) returns \spad{[x for x in t | p(x)]}.
    generate: (S -> S,S) -> %
      ++ generate(f,s) returns \spad{[s,f(s),f(f(s)),...]}.
    construct: % -> Stream S
      ++ construct(t) converts an infinite tuple to a stream.

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden