commit 43c559b374a6bfd0e9fa29465755ab8497aec81d · anil.recoil.org/bellairs-quest

+18

mvp/bellairs.mli

···

       1
       1
       +
       

     

       2
       2
       +
       type dir

     

       3
       3
       +
       type file

     

       4
       4
       +
       

     

       5
       5
       +
       type entry = {

     

       6
       6
       +
         name: string;

     

       7
       7
       +
         file: file;

     

       8
       8
       +
       }

     

       9
       9
       +
       

     

       10
       10
       +
       val root : dir

     

       11
       11
       +
       val list : dir -> entry list

     

       12
       12
       +
       

     

       13
       13
       +
       val create : dir -> string -> file

     

       14
       14
       +
       val open_ : dir -> string -> file

     

       15
       15
       +
       val delete : dir -> string -> unit

     

       16
       16
       +
       

     

       17
       17
       +
       val size : file -> int64

     

       18
       18
       +
       val read : file -> ?off:int64 -> ?len:int64 -> string

+34

mvp/bellairs.schema

···

       1
       1
       +
       @0xa59e1c95e37fb55d;

     

       2
       2
       +
       

     

       3
       3
       +
       interface Directory {

     

       4
       4
       +
         # Represents a directory in the filesystem

     

       5
       5
       +
         

     

       6
       6
       +
         list @0 () -> (entries :List(Entry));

     

       7
       7
       +
         # Lists all entries in the directory

     

       8
       8
       +
       

     

       9
       9
       +
         struct Entry {

     

       10
       10
       +
           name @0 :Text;    # Name of the entry

     

       11
       11
       +
           file @1 :File;    # Reference to the file object

     

       12
       12
       +
         }

     

       13
       13
       +
       

     

       14
       14
       +
         create @1 (name :Text) -> (file :File);

     

       15
       15
       +
         # Creates a new file with the given name

     

       16
       16
       +
       

     

       17
       17
       +
         open @2 (name :Text) -> (file :File);

     

       18
       18
       +
         # Opens an existing file with the given name

     

       19
       19
       +
       

     

       20
       20
       +
         delete @3 (name :Text);

     

       21
       21
       +
         # Deletes a file with the given name

     

       22
       22
       +
       }

     

       23
       23
       +
       

     

       24
       24
       +
       interface File {

     

       25
       25
       +
         # Represents a file in the filesystem

     

       26
       26
       +
         

     

       27
       27
       +
         size @0 () -> (size :UInt64);

     

       28
       28
       +
         # Returns the size of the file in bytes

     

       29
       29
       +
       

     

       30
       30
       +
         read @1 (off :UInt64 = 0, len :UInt64 = 0xffffffffffffffff) -> (data :Data);

     

       31
       31
       +
         # Reads data from the file, optionally starting at offset and reading up to len bytes

     

       32
       32
       +
         # Default is to read the entire file

     

       33
       33
       +
       }

     

       34
       34
       +

+4

mvp/dune

···

       1
       1
       +
       (library

     

       2
       2
       +
        (name bellairs)

     

       3
       3
       +
        (modules_without_implementation bellairs)

     

       4
       4
       +
        (modules bellairs))

+1

mvp/dune-project

···

       1
       1
       +
       (lang dune 3.17)