Lines Matching refs:seq
5 structure seq :> seq = struct
6 datatype 'a seq =
8 LCONS of ('a * 'a seq) |
9 LDELAYREF of 'a seq ref |
10 LDELAYED of (unit -> 'a seq)
28 | null (LDELAYED _) = raise Fail "seq - shouldn't happen"
33 | cases (LDELAYED f) = raise Fail "seq - shouldn't happen"
38 | fcases (LDELAYED f) _ = raise Fail "seq - shouldn't happen"
43 | append (LDELAYED f) x = raise Fail "seq - shouldn't happen"
62 | map f (LDELAYED x) = raise Fail "seq - shouldn't happen"
71 | LDELAYED x => raise Fail "seq - shouldn't happen"
78 | flatten (LDELAYED _) = raise Fail "seq - shouldn't happen"
83 | bind (LDELAYED _) _ = raise Fail "seq - shouldn't happen"
88 fun hd LNIL = raise Fail "seq - hd of nil"
90 | hd (LDELAYED _) = raise Fail "seq - shouldn't happen"
93 fun tl LNIL = raise Fail "seq - tl of nil"
95 | tl (LDELAYED _) = raise Fail "seq - shouldn't happen"
104 | take' _ (LDELAYED _) = raise Fail "seq.take - shouldn't happen"
108 if n < 0 then raise Fail "seq.take - negative amount"
114 | drop' _ (LDELAYED _) = raise Fail "seq.drop - shouldn't happen"
118 if n < 0 then raise Fail "seq.drop - negative amount"
123 | length (LDELAYED _) = raise Fail "seq - shouldn't happen"