blob: f881a5c62afa6aac30293a58d1e1f538bb764016 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
signature LAZY_BASE =
sig
type 'a lazy
exception Undefined
val force: 'a lazy -> 'a
val delay: (unit -> 'a) -> 'a lazy
val undefined: 'a lazy
end
signature LAZY' =
sig
include LAZY_BASE
val isUndefined: 'a lazy -> bool
val inject : 'a -> 'a lazy
val toString: ('a -> string) -> 'a lazy -> string
val eq: ''a lazy * ''a lazy -> bool
val eqBy: ('a * 'a -> bool) -> 'a lazy * 'a lazy -> bool
val compare: ('a * 'a -> order) -> 'a lazy * 'a lazy -> order
val map: ('a -> 'b) -> 'a lazy -> 'b lazy
structure Ops:
sig
val ! : 'a lazy -> 'a (* force *)
val ? : 'a -> 'a lazy (* inject *)
end
end
|
