Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /cml/trunk/cml-lib/simple-rpc-sig.sml
ViewVC logotype

Annotation of /cml/trunk/cml-lib/simple-rpc-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2102 - (view) (download)

1 : monnier 2 (* simple-rpc-sig.sml
2 :     *
3 :     * COPYRIGHT (c) 1997 AT&T Labs Research.
4 :     *
5 :     * Generators for simple RPC protocols.
6 :     *)
7 :    
8 :     signature SIMPLE_RPC = sig
9 :    
10 :     type 'a event = 'a CML.event
11 :    
12 :     val mkRPC : ('a -> 'b) -> {
13 :     call : 'a -> 'b,
14 :     entryEvt : unit event
15 :     }
16 :    
17 :     val mkRPC_In : (('a * 'c) -> 'b) -> {
18 :     call : 'a -> 'b,
19 :     entryEvt : 'c -> unit event
20 :     }
21 :    
22 : monnier 289 val mkRPC_Out : ('a -> ('b * 'c)) -> {
23 :     call : 'a -> 'b,
24 :     entryEvt : 'c event
25 :     }
26 :    
27 : monnier 2 val mkRPC_InOut : (('a * 'c) -> ('b * 'd)) -> {
28 :     call : 'a -> 'b,
29 :     entryEvt : 'c -> 'd event
30 :     }
31 :    
32 :     end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0