From dd38d0d1dda2be42bf280aeca110542f2f2fef1b Mon Sep 17 00:00:00 2001
From: Calvin <calvin@EESI>
Date: Tue, 28 May 2013 10:47:11 -0400
Subject: removed files

---
 src/nbc/sequence.sml | 74 ----------------------------------------------------
 1 file changed, 74 deletions(-)
 delete mode 100644 src/nbc/sequence.sml

(limited to 'src/nbc/sequence.sml')

diff --git a/src/nbc/sequence.sml b/src/nbc/sequence.sml
deleted file mode 100644
index 73a3fbf..0000000
--- a/src/nbc/sequence.sml
+++ /dev/null
@@ -1,74 +0,0 @@
-signature SEQUENCE = sig
-	type 'a t
-	val fold: ('a * 'b -> 'b) -> 'b -> 'a t -> 'b
-	val from: (unit -> 'a option) -> 'a t
-	val map: ('a -> 'b) -> 'a t -> 'b t
-	val app: ('a -> unit) -> 'a t -> unit
-	val fromArray: 'a array -> 'a t
-	val fromList: 'a list -> 'a t
-	val toList: 'a t -> 'a list
-	val toArray: 'a t -> 'a array
-end
-
-structure Sequence :> SEQUENCE = struct
-	type 'a t = unit -> 'a option
-	fun fold f seed t =
-		let
-			fun loop x =
-				case t () of
-					NONE => x
-					| SOME y => loop (f (y, x))
-		in
-			loop seed
-		end
-	fun from t = t
-	fun map f t =
-		fn () => (
-			case t () of
-				NONE => NONE
-				| SOME x => SOME (f x)
-		)
-	fun app f t =
-		let
-			fun loop () =
-				case t () of
-					NONE => ()
-					| SOME x => (
-						f x
-						; loop ()
-					)
-		in
-			loop ()
-		end
-	fun fromArray a =
-		let
-			val i = ref 0
-			fun f () =
-				if !i >= Array.length a then NONE
-				else
-					SOME (Array.sub (a, !i))
-					before i := !i + 1
-		in
-			from f
-		end
-	fun fromList l =
-		let
-			val c = ref l
-			fun f () =
-				case !c of
-					x :: y => (c := y; SOME x)
-					| nil => NONE
-		in
-			from f
-		end
-	fun toList t =
-		let
-			fun loop l =
-				case t () of
-					NONE => rev l
-					| SOME x => loop (x :: l)
-		in
-			loop nil
-		end
-	fun toArray t = Array.fromList (toList t)
-end
-- 
cgit v1.2.3