The SML/NJ Library Reference Manual


The FIFO signature


Synopsis

signature FIFO
structure Fifo : FIFO

Interface

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

Description

type 'a fifo

exception Dequeue

empty
explain the use and semantics of empty HERE.

isEmpty fi
explain the use and semantics of isEmpty HERE.

enqueue (fi, a)
explain the use and semantics of enqueue HERE.

dequeue fi
explain the use and semantics of dequeue HERE.

delete (fi, f)
explain the use and semantics of delete HERE.

head fi
explain the use and semantics of head HERE.

peek fi
explain the use and semantics of peek HERE.

length fi
explain the use and semantics of length HERE.

contents fi
explain the use and semantics of contents HERE.

app f fi
explain the use and semantics of app HERE.

map f fi
explain the use and semantics of map HERE.

foldl f a fi
explain the use and semantics of foldl HERE.

foldr f a fi
explain the use and semantics of foldr HERE.


See Also

Queue

[ INDEX | TOP | Parent | Root ]

Last Modified May 29, 1996
Copyright © 1996 AT&T Research