[OS] Add a module type in OS.Types, just defining BLKIF for now. This may not be the right place for it, but it'll do for now. Also define a similar module type for a readonly filesystem in block/direct

avsm · avsm · commit cb49ca40c0a6 · 2011-08-31T21:34:35.000+01:00
diff --git a/lib/block/direct/block.smlpack b/lib/block/direct/block.smlpack
@@ -1,2 +1,3 @@
 Manager
-RO
+Types
+Simple
diff --git a/lib/block/direct/types.ml b/lib/block/direct/types.ml
@@ -0,0 +1,9 @@
+module type RO = sig
+  type t
+  exception Error
+  val create : Manager.interface -> t Lwt.t
+  val iter_s : t -> (string -> unit Lwt.t) -> unit Lwt.t
+
+  val size : t -> string -> int64 Lwt.t
+  val read : t -> string -> Bitstring.t Lwt_stream.t Lwt.t
+end
diff --git a/lib/os/unix/oS.smlpack b/lib/os/unix/oS.smlpack
@@ -6,3 +6,4 @@ Console
 Netif
 Main
 Blkif
+Types
diff --git a/lib/os/unix/types.ml b/lib/os/unix/types.ml
@@ -0,0 +1,9 @@
+module type BLKIF = sig
+  type t
+  type id = string
+
+  val create : (id -> t -> unit Lwt.t) -> unit Lwt.t
+  val destroy : t -> unit Lwt.t
+  val read_page : t -> int64 -> Bitstring.t Lwt.t
+  val sector_size: t -> int
+end

-Original file line number
+Diff line change
 Manager
 -RO
 +Types
 +Simple