package ostap

  1. Overview
  2. Docs

Module Types.KSource

Sourcetype ('a, 'stream, 'b, 'c) t = 'a -> 'stream -> ('stream, 'b, 'c) result
Sourcetype ks
Sourceval singleton : ('a, 'stream, 'b, 'c) t -> ks
Sourceval add : ('a, 'stream, 'b, 'c) t -> ks -> ks
Sourceval fold : (('a, 'stream, 'b, 'c) t -> ('stream, 'b, 'c) result -> ('stream, 'b, 'c) result) -> ks -> ('stream, 'b, 'c) result -> ('stream, 'b, 'c) result
Sourceval empty : ks
Sourceval length : ks -> int