Hi all,

I am currently working on building a functor which takes a V1.BLOCK 
implementation and creates a new BLOCK implementation, with ORAM capabilities.

I’ve been looking through the APIs and I had a couple of questions about the 
structure of things:

Is there any specific reason why mirage-block-unix 
<https://github.com/mirage/mirage-block-unix/blob/master/lib/block.mli#L19> and 
mirage-block-xen 
<https://github.com/mirage/mirage-block-xen/blob/master/lib/blkfront.mli#L16> 
both implement V1.BLOCK and add types themselves, rather than implementing 
V1.BLOCK_LWT?
Both implementations have a “connect" method of type "string -> [`Ok of t | 
`Error of error] io”, is there a reason why this is not part of the BLOCK 
signature? It would be nice to be able to rely on the implementation having 
this method.

It would be great to clarify these points before I move ahead with the 
implementation.

Thanks,

Rupert
_______________________________________________
MirageOS-devel mailing list
[email protected]
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

Reply via email to