TextReader

Usage

import from TextReader

Description

TextReader provides various input streams.

Exports

push!:	(C, %) $\to$ ()	push back a character
read!:	% $\to$ C	read one character
readUntil!:	(StringBuffer, %, C) $\to$ C	read several characters
readWhile!:	(StringBuffer, %, C $\to$ Boolean) $\to$ C	read several characters
skipUntil!:	(%, C) $\to$ C	skip characters
skipWhile!:	(%, C $\to$ Boolean) $\to$ C	skip characters
stdin:	%	standard input stream
textReader:	(() $\to$ C, C $\to$ ()) $\to$ %	create a stream

where

C

==

Character