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 | 12 | val listBalanceUsers : int -> Init.user list |
711471a2 | 13 | val listNegativeOwnedBalances : unit -> balance list |
208e2cbc AC |
14 | |
15 | val validBalanceName : string -> bool | |
16 | val balanceNameToId : string -> int option | |
8ffa2c9e AC |
17 | |
18 | val sumOwnedBalances : unit -> real | |
0dd4d4cb | 19 | val isNegative : balance -> bool |
afc975d0 | 20 | end |