package command_rpc

You can search for identifiers within the package.

in-package search v0.2.0

package command_rpc

command_rpc
- Command_rpc
  - Command
    
    Expert
    
    Invocation
    
    Stateful
    
    T
    
    T_conv
    
    T_pipe
    
    T_pipe_conv
    
    T
    
    T_conv
    
    T_pipe
    
    T_pipe_conv
  - Connection

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type T = sig ... end

module type T_conv = sig ... end

module type T_pipe = sig ... end

module type T_pipe_conv = sig ... end

type 'state t = [

| `Plain of (module T with type state = 'state)
| `Plain_conv of (module T_conv with type state = 'state)
| `Pipe of (module T_pipe with type state = 'state)
| `Pipe_conv of (module T_pipe_conv with type state = 'state)

]

val lift : 'a t -> f:('b -> 'a) -> 'b t

Given an RPC that expects a state type 'a, it can use a state type 'b if we tell it how to extract an 'a from it. Note that this extraction is done on every RPC call, so should be cheap and should not copy mutable state that you want to persist across calls.