summaryrefslogtreecommitdiff
path: root/stream.sig
diff options
context:
space:
mode:
Diffstat (limited to 'stream.sig')
-rw-r--r--stream.sig9
1 files changed, 7 insertions, 2 deletions
diff --git a/stream.sig b/stream.sig
index e3c63d9..1307a60 100644
--- a/stream.sig
+++ b/stream.sig
@@ -32,13 +32,18 @@ signature STREAM = sig
val pposWithoutCol: ppos -> ppos
val getSubstr: fileOffset -> fileOffset -> t -> string
+ val getFname: t -> string
val isFirstOnLine: pos -> t -> bool
- (* throws IO.Io *)
+ (* both throw IO.Io *)
val create: string -> t
+ val createFromInstream: string -> TextIO.instream -> t
val pposCacheInit: fileInfo -> pposCache
- val pposCacheAdvance: pos -> pposCache -> (int * int) * pposCache
+
+ val pposCacheGetId: pposCache -> fileId
val pposCacheGetLine: pposCache -> int
val pposCacheGetFname: pposCache -> string
+
+ val pposCacheAdvance: pos -> pposCache -> (int * int) * pposCache
end