FIFO
signature
signature FIFO
structure Fifo
: FIFO
type 'a fifo
exception Dequeue
val empty : 'a fifo
val isEmpty : 'a fifo -> bool
val enqueue : ('a fifo * 'a) -> 'a fifo
val dequeue : 'a fifo -> ('a fifo * 'a)
val delete : ('a fifo * ('a -> bool)) -> 'a fifo
val head : 'a fifo -> 'a
val peek : 'a fifo -> 'a option
val length : 'a fifo -> int
val contents : 'a fifo -> 'a list
val app : ('a -> unit) -> 'a fifo -> unit
val map : ('a -> 'b) -> 'a fifo -> 'b fifo
val foldl : (('a * 'b) -> 'b) -> 'b -> 'a fifo -> 'b
val foldr : (('a * 'b) -> 'b) -> 'b -> 'a fifo -> 'b
type 'a fifo
exception Dequeue
empty
isEmpty fi
enqueue (fi, a)
dequeue fi
delete (fi, f)
head fi
peek fi
length fi
contents fi
app f fi
map f fi
foldl f a fi
foldr f a fi
Queue
Last Modified May 29, 1996
Copyright © 1996 AT&T Research