ParadoxicalCombinatorsForStreams A

ystream.spad line 1 [edit on github]

• A: Type

This package implements fixed-point computations on streams.

Y: (List Stream A -> List Stream A, Integer) -> List Stream A

Y(g, n) computes a fixed point of the function g, where g takes a list of n streams and returns a list of n streams.

Y: (Stream A -> Stream A) -> Stream A

Y(f) computes a fixed point of the function f.