From 54276f5a38163eb7997c574810faed0cc6dea35c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 30 May 2009 13:29:00 -0400
Subject: Substring functions; fix a nasty MonoReduce pattern match
 substitution bug

---
 lib/ur/string.urs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'lib/ur/string.urs')

diff --git a/lib/ur/string.urs b/lib/ur/string.urs
index ef522387..097a423f 100644
--- a/lib/ur/string.urs
+++ b/lib/ur/string.urs
@@ -6,3 +6,10 @@ val append : t -> t -> t
 
 val sub : t -> int -> char
 val suffix : t -> int -> string
+
+val index : t -> char -> option int
+val atFirst : t -> char -> option string
+
+val substring : t -> {Start : int, Len : int} -> string
+
+val split : t -> char -> option (string * string)
-- 
cgit v1.2.3