package mindstorm

You can search for identifiers within the package.

in-package search v0.2.0

package mindstorm

mindstorm
- Mindstorm
  - EV3
    
    Sound
  - NXT
    
    Find
    
    Message
    
    Motor
    
    Program
    
    Sensor
    
    Ultrasonic
    
    Sound
    
    USB
- Mindstorm_connect
  - USB

Legend:
Library
Module
Module type
Parameter
Class
Class type

List files on the brick matching a given pattern.

type 'a iterator

An iterator to allow to enumerate files on the brick.

val patt : 'a conn -> string -> 'a iterator

Find.patt conn fpatt returns an iterator listing the filenames mathing the pattern fpatt. The following types of wildcards are accepted:

filename.extension
*.[file type name]
filename.*
*.*

raises File_not_found
if no file was found

val current : 'a iterator -> string

Find.current i returns the current filename.

val current_size : 'a iterator -> int

Find.current_size i returns the current filename size (number of bytes).

val next : 'a iterator -> unit

Execute a new request to the brick to retrieve the next filename matching the pattern.

raises File_not_found
if no more file was found. When this exception is raised, the iterator is closed.

val close : 'a iterator -> unit

close_iterator i closes the iterator i. Closing an already closed iterator does nothing.

val iter : 'a conn -> f:(string -> int -> unit) -> string -> unit

iter f fpatt iterates f name size on all the filenames matching the pattern fpatt (see Mindstorm.NXT.Find.patt for the accepted patterns).

val map : 'a conn -> f:(string -> int -> 'b) -> string -> 'b list

map f fpatt maps f name size on all the filenames matching the pattern fpatt and return the list formed of those. (See Mindstorm.NXT.Find.patt for the accepted patterns.)

val fold : 'a conn -> f:(string -> int -> 'b -> 'b) -> string -> 'b -> 'b

fold f fpatt a0 folds f on all the filenames matching the pattern fpatt (see Mindstorm.NXT.Find.patt for the accepted patterns).