package hardcaml_waveterm

You can search for identifiers within the package.

in-package search v0.2.0

hardcaml_waveterm
- Hardcaml_waveterm
  - Expert
    
    M
    
    Data
    
    S
    
    Expect
    
    Render
    
    Bounds
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
    
    Serialize
    
    Wave
    
    Waveform
    
    Waves
    
    Config
    
    Make
    
    Data
    
    Expect
    
    Render
    
    Bounds
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
    
    Serialize
    
    Wave
    
    Waveform
    
    Waves
    
    Config
  - For_cyclesim
    
    Expect
    
    Serialize
    
    Waveform
hardcaml_waveterm.cyclesim
- Hardcaml_waveterm_cyclesim
  - Expert
  - Render
    
    Bounds
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
  - Wave
  - Waveform
  - Waves
    
    Config
hardcaml_waveterm.event_store
- Hardcaml_waveterm_event_store
  - Bits_store
    
    Data
    
    Event_store
    
    Time
  - Event_store
    
    Make
    
    Data
    
    Time
  - Event_store_intf
    
    Data
    
    Event_store
    
    Make
    
    Data
    
    Time
    
    M
    
    Data
    
    S
    
    Time
    
    Time
hardcaml_waveterm.interactive
- Hardcaml_waveterm_interactive
  - Draw_notty
  - Scroll
    
    Adjustment
    
    HScrollbar
    
    Mouse_mode
    
    Orientation
    
    Scroll_bar_mode
    
    Scroll_bar_style
    
    Scrollable
    
    Scrollbar
    
    VScrollbar
  - Widget
    
    Make
    
    Data
    
    M
    
    Render
    
    Bounds
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
    
    Wave
    
    Waveform
    
    Waves
    
    Config
hardcaml_waveterm.kernel
- Hardcaml_waveterm_kernel
  - Display_rule
    
    States
  - Display_rules
    
    With_interface
    
    I
    
    All
    
    M
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Comb
    
    Make_comb
    
    Comb
    
    Signed
    
    Sop
    
    Typed_math
    
    Unsigned
    
    Uop
    
    Names_and_widths
    
    Of_always
    
    Of_bits
    
    Of_signal
    
    Unsafe_assoc_by_port_name
  - Expert
    
    Data
    
    S
    
    Draw
    
    In_memory
    
    Make
    
    B
    
    Primitives
    
    S
    
    Style
    
    M
    
    Data
    
    S
    
    Render
    
    Bounds
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
    
    Wave
    
    Waveform
    
    Waves
    
    Config
    
    Make
    
    Data
    
    Render
    
    Bounds
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
    
    Wave
    
    Waveform
    
    Waves
    
    Config
    
    Render
    
    M
    
    Data
    
    S
    
    Bounds
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
    
    Wave
    
    Waves
    
    Config
    
    Make
    
    Bounds
    
    Data
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
    
    Wave
    
    Waves
    
    Config
    
    S
    
    Bounds
    
    Data
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
    
    Wave
    
    Waves
    
    Config
    
    Wave
    
    M
    
    Data
    
    S
    
    Make
    
    Data
    
    S
    
    Data
    
    Waveform
    
    M
    
    Data
    
    Render
    
    Bounds
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
    
    S
    
    Wave
    
    Waves
    
    Config
    
    Make
    
    Data
    
    Render
    
    Bounds
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
    
    Wave
    
    Waves
    
    Config
    
    S
    
    Data
    
    Render
    
    Bounds
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
    
    Wave
    
    Waves
    
    Config
    
    Waves
    
    M
    
    Data
    
    S
    
    Config
    
    Wave
    
    Make
    
    Config
    
    Data
    
    Wave
    
    S
    
    Config
    
    Data
    
    Wave
    
    Write
  - Port
    
    Type
  - Port_name
  - Text_alignment

Legend:
Library
Module
Module type
Parameter
Class
Class type

include Hardcaml_waveterm_kernel.Expert.Waveform.M(Data)(Wave)(Waves)(Render).S

type t

val sexp_of_t : t -> Sexplib0.Sexp.t

include Ppx_compare_lib.Equal.S with type t := t

val equal : t -> t -> bool

val create_from_data : 
  waves:Wave.t Base.list ->
  ports:Hardcaml_waveterm_kernel.Port.t Base.list ->
  t

val waves : t -> Wave.t Base.array

val update_waves : t -> Wave.t Base.array -> t

val combine : t -> t -> t

Combine two waveforms into one waveform

type 'a with_options =
  ?display_rules:Hardcaml_waveterm_kernel.Display_rules.t ->
  ?display_width:Base.int ->
  ?display_height:Base.int ->
  ?display_values:Base.bool ->
  ?wave_width:Base.int ->
  ?wave_height:Base.int ->
  ?signals_width:Base.int ->
  ?start_cycle:Base.int ->
  ?signals_alignment:Hardcaml_waveterm_kernel.Text_alignment.t ->
  'a

Waveform configuration options.

display_rules see Display_rules. A waveform may be constructed once and displayed multiple times with differing options.

wave_height sets the number of rows each wave is displayed with.

<0 an exception is raised
0 2 lines per wave. This show transitions but not the data for multi-bit signals.
1 2 lines for binary data, 3 lines for multi-bit data. This is the default and most compact view.
n (n+1) lines per wave.

wave_width sets the number of chars used to render each clock cycle.

n>=0 ((n+1)*2) characters per cycle. This ensures that the clock is properly rendered when n=0. The default of 3 allows up to 7 chars per cycle to be rendered to represent data values in the waveform.

n<0 (-n) cycles per character. Characters in the waveform within which multiple transitions occur are displayed with a double veritical bar.

display_width and display_height simply set the overall size of the displayed waveform. An auto scaling routine assigns approximately 1/3 of the display for the signals and values windows. The default size is 70 character wide and 20 high. The minimum size is 7 characters wide and 3 high and an exception is raise otherwise.

signals_alignment changes the text alignment of the displayed signals names. By default this is Wave_format.Left.

val sort_ports_and_formats : 
  t ->
  Hardcaml_waveterm_kernel.Display_rules.t Base.option ->
  Wave.t Base.array

val to_buffer : (t -> Base.Buffer.t) with_options

Write waveform into a Buffer.t.

val to_string : (t -> Base.string) with_options

Convert waveform to a string.

val print : (?channel:Stdio.Out_channel.t -> t -> Base.unit) with_options

Print waveform to channel

val create : ('i, 'o) Hardcaml.Cyclesim.t -> t * ('i, 'o) Hardcaml.Cyclesim.t