module Stream: sig end
type 'a
t
'a
の値を持つストリームの型です。exception Failure
exception Error of string
Stream builders
|
注意: これらの関数は高速アクセス用のストリームを作成します。[< >]
で生成したストリームと一緒にすることは出来ません。一緒にしたようなストリームにアクセスしようとすると例外 Failure
が発生します。
val from : (int -> 'a option) -> 'a t
Stream.from f
は関数 f
から生成したストリームを返します。
新しいストリーム要素を生成するとき、関数 f
が現在のストリームカウントを引数にして呼び出されます。
ユーザの関数 f
は値を返す Some <value>
か、ストリームの終端を示す None
のどちらかを返すようにしてください。val of_list : 'a list -> 'a t
val of_string : string -> char t
val of_channel : Pervasives.in_channel -> char t
Stream iterator
|
val iter : ('a -> unit) -> 'a t -> unit
Stream.iter f s
はストリーム全体をスキャンして、要素の順に関数 f
を適用します。
Predefined parsers
|
val next : 'a t -> 'a
Stream.Failure
を発生します。val empty : 'a t -> unit
()
を返し、そうでなかった場合は例外 Stream.Failure
を発生します。
Useful functions
|
val peek : 'a t -> 'a option
Some
を返します。ストリームが空だった場合は None
を返します。val junk : 'a t -> unit
val count : 'a t -> int
val npeek : int -> 'a t -> 'a list
npeek n
はストリームの先頭から n
個の要素を取り出して返します。残っている要素が n
個より少なかったら、残るすべての要素を返します。