[sledge] Add: Iter library

Summary: For very lightweight and fast iterators.

Reviewed By: ngorogiannis

Differential Revision: D23459520

fbshipit-source-id: b1cba31cf

sledge/nonstdlib/NS0.ml

@@ -22,6 +22,9 @@ include (
            and type -'a return := 'a Core.return
     end )
 
+module Iter = Iter
+include Iter.Import
+
 external ( == ) : 'a -> 'a -> bool = "%eq"
 external ( != ) : 'a -> 'a -> bool = "%noteq"
 

sledge/nonstdlib/dune

@@ -6,7 +6,7 @@
 (library
  (name NS)
  (public_name nonstdlib)
- (libraries core core_kernel.fheap zarith trace)
+ (libraries core core_kernel.fheap iter zarith trace)
  (flags (:standard))
  (preprocess
   (pps ppx_sledge ppx_trace))

sledge/nonstdlib/iter.ml

@@ -0,0 +1,12 @@
+(*
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
+include IterLabels
+
+module Import = struct
+  type 'a iter = 'a t
+end

sledge/nonstdlib/iter.mli

@@ -0,0 +1,12 @@
+(*
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *)
+
+include module type of IterLabels
+
+module Import : sig
+  type 'a iter = 'a t
+end

sledge/sledge.opam

@@ -18,6 +18,7 @@ depends: [
   "ctypes-foreign"
   "dune" {build & >= "2.7"}
   "dune-build-info" {build}
+  "iter"
   "llvm" {= "8.0.0"}
   "ppx_compare"
   "ppx_hash"