Module Cf_flow.Op

module Op: sig .. end

Open this module to bring the operator functions into the current scope.


val (-*-) : ('i, 'o) Cf_flow.t -> ('i, 'o) Cf_flow.t -> ('i, 'o) Cf_flow.t

Broadcasting parallel composition.

val (-=-) : ('i, 'x) Cf_flow.t -> ('x, 'o) Cf_flow.t -> ('i, 'o) Cf_flow.t

Serial composition.

val (-&-) : ('i, 'o) Cf_flow.t -> ('i, 'o) Cf_flow.t -> ('i, 'o) Cf_flow.t

Sequential composition.

val (-+-) : ('ia, 'oa) Cf_flow.t ->
('ib, 'ob) Cf_flow.t ->
(('ia, 'ib) Cf_either.t, ('oa, 'ob) Cf_either.t) Cf_flow.t

Tagged parallel composition.

val (~@) : ('x, 'x) Cf_flow.t -> ('x, 'x) Cf_flow.t

Serial loop composition.

val (~@<) : (('x, 'i) Cf_either.t, ('x, 'o) Cf_either.t) Cf_flow.t -> ('i, 'o) Cf_flow.t

Serial loop left.

val (-@-) : (('o0, 'i1) Cf_either.t, ('i0, 'o1) Cf_either.t) Cf_flow.t ->
('i0, 'o0) Cf_flow.t -> ('i1, 'o1) Cf_flow.t

Serial loop through right.