sequences.cppm

Go to the documentation of this file.

 
export module dedekind.sequences;
 
export import :net;
export import :convergence;
export import :fold;     // fold(xs, init, op) — the catamorphism
export import :relprod;  // R;S over a finite ℕ-prefix middle (bounded >>, #795)
export import :finite;   // Net / FiniteSeq — compile-time realizations
export import :limits;
export import :path;
export import :samples;
export import :tail;
export import :curve;
export import :ranges;
export import :pst;  // the Pst fragment decided by one fold along the chain
                     // (#975)