Contents

(datatype progression

    X : (A * (A --> A) * (A --> boolean));
    ======================================
    X : (progression A);)    

(define delay
   {(progression A) --> (progression A)}
   (@p X F E) -> (if (not (E X)) 
                     (@p (F X) F E) 
                     (error "progression exhausted!~%")))

(define force
    {(progression A) --> A}
     (@p X F E) -> X)

(define end?
    {(progression A) --> boolean}
     (@p X _ E) -> (E X))

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
shen-ruby-0.12.1	shen/release/test_programs/streams.shen
shen-ruby-0.12.0	shen/release/test_programs/streams.shen
shen-ruby-0.11.0	shen/release/test_programs/streams.shen