summaryrefslogtreecommitdiff
path: root/stream.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-04-11 21:54:16 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-04-11 21:54:16 +0200
commite99a8dc48ede26696be2ba75a8cb0d5122d94598 (patch)
treec3dcd1d6a9b96aaedd081f13b9dc7e7d6c07e2bd /stream.sig
parent8e2dc7712de206b87e1c46df9383c3fa1e18a43a (diff)
#include directive
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