Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* trans-id.sig |
2 | * 2004 Matthew Fluet (mfluet@acm.org) | |
3 | * Ported to MLton threads. | |
4 | *) | |
5 | ||
6 | (* ??? | |
7 | * | |
8 | * COPYRIGHT (c) 1995 AT&T Bell Laboratories. | |
9 | * COPYRIGHT (c) 1989-1991 John H. Reppy | |
10 | *) | |
11 | ||
12 | signature TRANS_ID = | |
13 | sig | |
14 | datatype trans_id = datatype RepTypes.trans_id | |
15 | datatype trans_id_state = datatype RepTypes.trans_id_state | |
16 | ||
17 | (* create a new transaction ID. *) | |
18 | val mkTxId : unit -> trans_id | |
19 | (* create a transaction flag (ID and cleanUp). *) | |
20 | val mkFlg : unit -> (trans_id * (unit -> unit)) | |
21 | (* given a transaction ID, mark it cancelled. *) | |
22 | val force : trans_id -> unit | |
23 | ||
24 | (*val toString : trans_id -> string*) | |
25 | end |