package babel

You can search for identifiers within the package.

in-package search v0.2.0

babel
- Babel
  - Callee
    
    One_way
    
    Pipe_rpc
    
    Pipe_rpc_direct
    
    Direct_stream_writer
    
    Expert
    
    Transformation_id
    
    For_testing
    
    Hash_queue
    
    Hash_set
    
    Provide_bin_io
    
    X
    
    Provide_of_sexp
    
    X
    
    Map
    
    Diff
    
    Key
    
    Provide_bin_io
    
    Key
    
    Provide_hash
    
    Key
    
    Provide_of_sexp
    
    Key
    
    Replace_polymorphic_compare
    
    Set
    
    Diff
    
    Elt
    
    Provide_bin_io
    
    Elt
    
    Provide_hash
    
    Elt
    
    Provide_of_sexp
    
    Elt
    
    Table
    
    Provide_bin_io
    
    Key
    
    Provide_of_sexp
    
    Key
    
    Group
    
    For_testing
    
    Rpc
    
    Rpc'
    
    State_rpc
    
    Streamable_pipe_rpc
    
    Streamable_plain_rpc
    
    Streamable_state_rpc
  - Caller
    
    Expert
    
    One_way
    
    One_way'
    
    One_way_exn
    
    Pipe_rpc
    
    Pipe_rpc_exn
    
    Pipe_rpc_iter
    
    Id
    
    Rpc
    
    Rpc'
    
    Rpc_exn
    
    State_rpc
    
    Streamable_pipe_rpc
    
    Streamable_plain_rpc
    
    Streamable_state_rpc
  - Generic_rpc
  - Shape
    
    Map
    
    Diff
    
    Key
    
    Provide_bin_io
    
    Key
    
    Provide_hash
    
    Key
    
    Provide_of_sexp
    
    Key
    
    Replace_polymorphic_compare
    
    Set
    
    Diff
    
    Elt
    
    Provide_bin_io
    
    Elt
    
    Provide_hash
    
    Elt
    
    Provide_of_sexp
    
    Elt

Legend:
Library
Module
Module type
Parameter
Class
Class type

High level functions for working with callees in the style of Streamable.Plain_rpc.implement.

type ('q, 'r) implementation :=
  'q ->
  'r Core.Or_error.t Async_kernel.Deferred.t

val singleton : ('q, 'r) Streamable.Plain_rpc.t -> ('q, 'r) implementation t

Create a callee which can implement a given rpc.

val add : 
  ('q, 'r) implementation t ->
  rpc:('q, 'r) Streamable.Plain_rpc.t ->
  ('q, 'r) implementation t

Extend a callee to be able to implement a given rpc.

val map_query : 
  ('q1, 'r) implementation t ->
  f:('q1 -> 'q2) ->
  ('q2, 'r) implementation t

Map over the query type of a callee.

val map_response : 
  ('q, 'r1) implementation t ->
  f:('r2 -> 'r1) ->
  ('q, 'r2) implementation t

Map over the response type of a callee.