package io

  1. Overview
  2. Docs

Module IOSource

Sourcetype ('i, 'o, 'r) node =
  1. | Yield of 'o * ('i, 'o, 'r) node lazy_t
  2. | Await of 'i -> ('i, 'o, 'r) node
  3. | Ready of 'r
Sourcetype 'r effect = (Elements.void, Elements.void, 'r) node
Sourcetype ('o, 'r) producer = (Elements.void, 'o, 'r) node
Sourcetype ('i, 'r) consumer = ('i, Elements.void, 'r) node
Sourceval return : 'a -> ('b, 'c, 'a) node
Sourceval (>>=) : ('a, 'b, 'c) node -> ('c -> ('a, 'b, 'd) node) -> ('a, 'b, 'd) node
Sourceval (>>) : ('a, 'b, 'c) node -> ('a, 'b, 'd) node Lazy.t -> ('a, 'b, 'd) node
Sourceval forever : ('a, 'b, 'c) node -> ('a, 'b, 'd) node
Sourceval replicate : int -> ('a, 'b, 'c) node -> ('a, 'b, unit) node
Sourceval empty : ('a, 'b, unit) node
Sourceval yield : 'a -> ('b, 'a, unit) node
Sourceval await : ('a, 'b, 'a) node
Sourceval id : ('a, 'a, 'b) node
Sourceval compose : ('a, 'b, 'c) node -> ('d, 'a, 'c) node -> ('d, 'b, 'c) node
Sourceval (<<<) : ('a, 'b, 'c) node -> ('d, 'a, 'c) node -> ('d, 'b, 'c) node
Sourceval (>>>) : ('a, 'b, 'c) node -> ('b, 'd, 'c) node -> ('a, 'd, 'c) node
Sourceval run : (Elements.void, 'a, 'b) node -> 'b
Sourceval next : ('a, 'b, 'c) node -> ('b * ('a, 'b, 'c) node) option
Sourcemodule Seq : sig ... end
Sourcemodule Test : sig ... end
OCaml

Innovation. Community. Security.