package tiny_appkits

  1. Overview
  2. Docs
package tiny_appkits
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Turbo_model

type action =
  1. | Open
  2. | New
  3. | Save
  4. | Save_as
  5. | Exit
  6. | Find
  7. | Find_again
  8. | Goto_line
  9. | Run
  10. | Go_to_cursor
  11. | Trace_into
  12. | Step_over
  13. | Reset
  14. | User_screen
  15. | Compile
  16. | Pcode_listing
  17. | Call_stack
  18. | Add_watch
  19. | Toggle_breakpoint
  20. | Clear_watches
  21. | Keys
  22. | About
type item = {
  1. label : string;
  2. hot : char;
  3. shortcut : string;
  4. action : action;
}
type purpose =
  1. | Saving_as
  2. | Finding
  3. | Going_to
  4. | Watching
type mode =
  1. | Editing
  2. | Menu of int * int
  3. | Open_dialog of int
  4. | Input of {
    1. title : string;
    2. label : string;
    3. text : string;
    4. purpose : purpose;
    }
  5. | Info of string * string list
  6. | Executing
  7. | Finished of Vt.t * (int * string) option
  8. | Showing of Vt.t
  9. | Listing of int
  10. | Stack
type session = {
  1. program : Pcode.program;
  2. machine : Pmachine.machine;
  3. user : Vt.t;
  4. typing : string option;
  5. goal : Pdebug.step option;
  6. pause : Pmachine.machine -> bool;
  7. seed : Lehmer.t;
  8. swapped : bool;
}
type model = {
  1. lines : string array;
  2. row : int;
  3. col : int;
  4. top : int;
  5. left : int;
  6. file : string;
  7. modified : bool;
  8. overwrite : bool;
  9. disk : (string * string) list;
  10. mode : mode;
  11. error : string option;
  12. compiled : Pcode.program option;
  13. last_screen : Vt.t option;
  14. search : string;
  15. runs : int;
  16. session : session option;
  17. breakpoints : int list;
  18. watches : string list;
  19. quit : bool;
  20. escaped : bool;
}