Module Dispatch_arg.Spec


module Spec: sig .. end
This module defines functional unparsing style combinators used to embed our callback functions.

type ('a, 'b) t 
A type representation used to embed functions. A ('a,'b) t is a spec which given a value of type 'b projects to a value of type 'a.
module Result: sig .. end
Represent the return value of the embedded command
module Infix: sig .. end
val (++) : ('a, 'b) t ->
('c, 'a) t -> ('c, 'b) t
val (-->) : ('a, 'b) t ->
('a, 'c) Result.t -> ('c, 'b) t
val string : string -> ('a, string -> 'a) t
val int : string -> ('a, int -> 'a) t
val unit : ('a, unit -> 'a) t
val list : (unit, 'a -> unit) t ->
('b, 'a list -> 'b) t
val option : ('a, 'b -> 'a) t ->
('a, 'b option -> 'a) t
val choice : ('a, 'b) t list -> ('a, 'b) t
val create : (string -> 'a option) -> string -> ('b, 'a -> 'b) t
val map1 : f:('a -> 'b) ->
('c, 'a -> 'c) t -> ('c, 'b -> 'c) t
val map2 : f:('a -> 'b -> 'c) ->
('d, 'a -> 'b -> 'd) t ->
('d, 'c -> 'd) t
val map3 : f:('a -> 'b -> 'c -> 'd) ->
('e, 'a -> 'b -> 'c -> 'e) t ->
('e, 'd -> 'e) t