package jenga

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Stream provides two things:

  • sharing of the computations needed by various tenacious computations (same as memoize)
  • sharing of the Hearts representing the validity of the prefixes of the stream That second part is important, as it cannot be done by simply calling memoize.
type 'a t
val unfold : 's -> ('s -> 'a * 's tenacious) -> name:string Core.Lazy.t -> 'a t
type ('a, 'res) query =
  1. | Return of 'res
  2. | Continue of 'a -> ('a, 'res) query
val query : 'a t -> ('a, 'res) query -> 'res tenacious