package colombe

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `State.Scheduler`Source

module Context : C

module Value : S with type encoder = Context.encoder and type decoder = Context.decoder

Sourcetype error = Value.error

Sourceval bind : ('a, 'err) t -> f:('a -> ('b, 'err) t) -> ('b, 'err) t

Sourceval (let*) : ('a, 'err) t -> ('a -> ('b, 'err) t) -> ('b, 'err) t

val (let+) : 
  ('a, 'err) t ->
  (('a, 'err) result -> ('b, 'err) t) ->
  ('b, 'err) t

Sourceval (>>=) : ('a, 'err) t -> ('a -> ('b, 'err) t) -> ('b, 'err) t

val encode : 
  Context.t ->
  'a Value.send ->
  'a ->
  (Context.t -> ('b, [> `Protocol of error ] as 'err) t) ->
  ('b, 'err) t

val decode : 
  Context.t ->
  'a Value.recv ->
  (Context.t -> 'a -> ('b, [> `Protocol of error ] as 'err) t) ->
  ('b, 'err) t

val send : 
  Context.t ->
  'a Value.send ->
  'a ->
  (unit, [> `Protocol of error ]) t

Sourceval recv : Context.t -> 'a Value.recv -> ('a, [> `Protocol of error ]) t

Sourceval return : 'v -> ('v, 'err) t

Sourceval fail : 'err -> ('v, 'err) t

Sourceval reword_error : ('err0 -> 'err1) -> ('v, 'err0) t -> ('v, 'err1) t

val error_msgf : 
  ('a, Format.formatter, unit, ('b, [> `Msg of string ]) t) format4 ->
  'a