Commit | Line | Data |
---|---|---|
208e2cbc AC |
1 | signature BALANCE = |
2 | sig | |
3 | type balance = {id :int, name : string, amount : real} | |
4 | ||
5 | val addBalance : string -> int | |
6 | val lookupBalance : int -> balance | |
7 | val modBalance : balance -> unit | |
8 | val deleteBalance : int -> unit | |
9 | val listBalances : unit -> balance list | |
afc975d0 | 10 | val listOwnedBalances : unit -> balance list |
8ffa2c9e | 11 | val listUnownedBalances : unit -> balance list |
208e2cbc AC |
12 | val listBalanceUsers : int -> Init.user list |
13 | ||
14 | val validBalanceName : string -> bool | |
15 | val balanceNameToId : string -> int option | |
8ffa2c9e AC |
16 | |
17 | val sumOwnedBalances : unit -> real | |
afc975d0 | 18 | end |