Download \DOC istream \TYPE {type (`a,`b) istream} \SYNOPSIS Type of

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript 
\DOC istream
\TYPE {type ('a,'b) istream}
\SYNOPSIS
Type of imperative streams
\KEYWORDS
stream.
\DESCRIBE
The type {('a,'b) istream} is an abstract type of imperative streams.
These may be created with {mk_istream}, advanced by {next},
accessed by {state}, and reset with {reset}.
\COMMENTS
Purely functional streams are well-known in functional programming, and
more elegant. However, this type proved useful in implementing some
imperative `gensym'-like algorithms used in HOL.
\SEEALSO
Lib.mk_istream, Lib.next, Lib.state, Lib.reset.
\ENDDOC
Related documents