package hardcaml_waveterm

You can search for identifiers within the package.

in-package search v0.2.0

hardcaml_waveterm
- Hardcaml_waveterm
  - Data
  - Display_rules
    
    Rule
  - Draw
    
    In_memory
    
    Make
    
    B
    
    Primitives
    
    S
    
    Style
  - Import
    
    Bits
    
    TypedMath
    
    T
    
    T1
    
    T2
    
    T3
  - Port
    
    Type
  - Port_name
  - Render
    
    Bounds
    
    Make
    
    G
    
    Static
    
    R
    
    Styles
  - Sim
  - Wave
  - Wave_format
  - Waveform
  - Waves
    
    Config
  - Write
hardcaml_waveterm.interactive
- Hardcaml_waveterm_interactive
  - Draw_notty
  - Scroll
    
    Adjustment
    
    HScrollbar
    
    Mouse_mode
    
    Orientation
    
    Scroll_bar_mode
    
    Scroll_bar_style
    
    Scrollable
    
    Scrollbar
    
    VScrollbar
  - Widget

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include Hardcaml.Bits end

type t = Hardcaml__Bits.t

val compare : t -> t -> Hardcaml__.Import.int

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val equal : t Hardcaml__.Import.Equal.equal

val empty : t

val is_empty : t -> Hardcaml__.Import.bool

val (--) : t -> Hardcaml__.Import.string -> t

val width : t -> Hardcaml__.Import.int

val address_bits_for : Hardcaml__.Import.int -> Hardcaml__.Import.int

val num_bits_to_represent : Hardcaml__.Import.int -> Hardcaml__.Import.int

val of_constant : Hardcaml__.Constant.t -> t

val to_constant : t -> Hardcaml__.Constant.t

val constb : Hardcaml__.Import.string -> t

val consti : width:Hardcaml__.Import.int -> Hardcaml__.Import.int -> t

val consti32 : width:Hardcaml__.Import.int -> Hardcaml__.Import.int32 -> t

val consti64 : width:Hardcaml__.Import.int -> Hardcaml__.Import.int64 -> t

val consthu : width:Hardcaml__.Import.int -> Hardcaml__.Import.string -> t

val consths : width:Hardcaml__.Import.int -> Hardcaml__.Import.string -> t

val constd : width:Hardcaml__.Import.int -> Hardcaml__.Import.string -> t

val constv : Hardcaml__.Import.string -> t

val constibl : Hardcaml__.Import.int Hardcaml__.Import.list -> t

val const : Hardcaml__.Import.string -> t

val concat : t Hardcaml__.Import.list -> t

val concat_e : t Hardcaml__.Import.list -> t

val (@:) : t -> t -> t

val vdd : t

val is_vdd : t -> Hardcaml__.Import.bool

val gnd : t

val is_gnd : t -> Hardcaml__.Import.bool

val zero : Hardcaml__.Import.int -> t

val ones : Hardcaml__.Import.int -> t

val one : Hardcaml__.Import.int -> t

val select : t -> Hardcaml__.Import.int -> Hardcaml__.Import.int -> t

val select_e : t -> Hardcaml__.Import.int -> Hardcaml__.Import.int -> t

val bit : t -> Hardcaml__.Import.int -> t

val msb : t -> t

val lsbs : t -> t

val lsb : t -> t

val msbs : t -> t

val drop_bottom : t -> Hardcaml__.Import.int -> t

val drop_top : t -> Hardcaml__.Import.int -> t

val sel_bottom : t -> Hardcaml__.Import.int -> t

val sel_top : t -> Hardcaml__.Import.int -> t

val insert : into:t -> t -> at_offset:Hardcaml__.Import.int -> t

val sel : t -> (Hardcaml__.Import.int * Hardcaml__.Import.int) -> t

val mux : t -> t Hardcaml__.Import.list -> t

val mux2 : t -> t -> t -> t

val mux_init : 
  t ->
  Hardcaml__.Import.int ->
  f:(Hardcaml__.Import.int -> t) ->
  t

val cases : t -> t -> (Hardcaml__.Import.int * t) Hardcaml__.Import.list -> t

val matches : 
  ?resize:(t -> Hardcaml__.Import.int -> t) ->
  ?default:t ->
  t ->
  (Hardcaml__.Import.int * t) Hardcaml__.Import.list ->
  t

val (&:) : t -> t -> t

val (&:.) : t -> Hardcaml__.Import.int -> t

val (&&:) : t -> t -> t

val (|:) : t -> t -> t

val (|:.) : t -> Hardcaml__.Import.int -> t

val (||:) : t -> t -> t

val (^:) : t -> t -> t

val (^:.) : t -> Hardcaml__.Import.int -> t

val (~:) : t -> t

val (+:) : t -> t -> t

val (+:.) : t -> Hardcaml__.Import.int -> t

val (-:) : t -> t -> t

val (-:.) : t -> Hardcaml__.Import.int -> t

val negate : t -> t

val (*:) : t -> t -> t

val (*+) : t -> t -> t

val (==:) : t -> t -> t

val (==:.) : t -> Hardcaml__.Import.int -> t

val (<>:) : t -> t -> t

val (<>:.) : t -> Hardcaml__.Import.int -> t

val (<:) : t -> t -> t

val (<:.) : t -> Hardcaml__.Import.int -> t

val lt : t -> t -> t

val (>:) : t -> t -> t

val (>:.) : t -> Hardcaml__.Import.int -> t

val (<=:) : t -> t -> t

val (<=:.) : t -> Hardcaml__.Import.int -> t

val (>=:) : t -> t -> t

val (>=:.) : t -> Hardcaml__.Import.int -> t

val (<+) : t -> t -> t

val (<+.) : t -> Hardcaml__.Import.int -> t

val (>+) : t -> t -> t

val (>+.) : t -> Hardcaml__.Import.int -> t

val (<=+) : t -> t -> t

val (<=+.) : t -> Hardcaml__.Import.int -> t

val (>=+) : t -> t -> t

val (>=+.) : t -> Hardcaml__.Import.int -> t

val to_string : t -> Hardcaml__.Import.string

val to_int : t -> Hardcaml__.Import.int

val to_sint : t -> Hardcaml__.Import.int

val to_int32 : t -> Hardcaml__.Import.int32

val to_sint32 : t -> Hardcaml__.Import.int32

val to_int64 : t -> Hardcaml__.Import.int64

val to_sint64 : t -> Hardcaml__.Import.int64

val to_bstr : t -> Hardcaml__.Import.string

val bits : t -> t Hardcaml__.Import.list

val to_array : t -> t Hardcaml__.Import.array

val of_array : t Hardcaml__.Import.array -> t

val repeat : t -> Hardcaml__.Import.int -> t

val split_in_half : t -> t * t

val split : 
  ?exact:Hardcaml__.Import.bool ->
  part_width:Hardcaml__.Import.int ->
  t ->
  t Hardcaml__.Import.list

val sll : t -> Hardcaml__.Import.int -> t

val srl : t -> Hardcaml__.Import.int -> t

val sra : t -> Hardcaml__.Import.int -> t

val log_shift : (t -> Hardcaml__.Import.int -> t) -> t -> t -> t

val uresize : t -> Hardcaml__.Import.int -> t

val sresize : t -> Hardcaml__.Import.int -> t

val ue : t -> t

val se : t -> t

val resize_list : 
  resize:(t -> Hardcaml__.Import.int -> t) ->
  t Hardcaml__.Import.list ->
  t Hardcaml__.Import.list

val resize_op2 : 
  resize:(t -> Hardcaml__.Import.int -> t) ->
  (t -> t -> t) ->
  t ->
  t ->
  t

val reduce : f:('a -> 'a -> 'a) -> 'a Hardcaml__.Import.list -> 'a

val reverse : t -> t

val mod_counter : max:Hardcaml__.Import.int -> t -> t

val tree : 
  arity:Hardcaml__.Import.int ->
  f:('a Hardcaml__.Import.list -> 'a) ->
  'a Hardcaml__.Import.list ->
  'a

val priority_select : 
  (t Hardcaml__.With_valid.t Hardcaml__.Import.list ->
    t Hardcaml__.With_valid.t)
    Hardcaml__.Comb_intf.optional_branching_factor

val priority_select_with_default : 
  (t Hardcaml__.With_valid.t Hardcaml__.Import.list ->
    default:t ->
    t)
    Hardcaml__.Comb_intf.optional_branching_factor

val onehot_select : 
  (t Hardcaml__.With_valid.t Hardcaml__.Import.list ->
    t)
    Hardcaml__.Comb_intf.optional_branching_factor

val popcount : (t -> t) Hardcaml__.Comb_intf.optional_branching_factor

val is_pow2 : (t -> t) Hardcaml__.Comb_intf.optional_branching_factor

val leading_ones : (t -> t) Hardcaml__.Comb_intf.optional_branching_factor

val trailing_ones : (t -> t) Hardcaml__.Comb_intf.optional_branching_factor

val leading_zeros : (t -> t) Hardcaml__.Comb_intf.optional_branching_factor

val trailing_zeros : (t -> t) Hardcaml__.Comb_intf.optional_branching_factor

val floor_log2 : 
  (t ->
    t Hardcaml__.With_valid.t)
    Hardcaml__.Comb_intf.optional_branching_factor

val ceil_log2 : 
  (t ->
    t Hardcaml__.With_valid.t)
    Hardcaml__.Comb_intf.optional_branching_factor

val binary_to_onehot : t -> t

val onehot_to_binary : t -> t

val binary_to_gray : t -> t

val gray_to_binary : t -> t

val random : width:Hardcaml__.Import.int -> t

module type TypedMath = sig ... end

module Unsigned : sig ... end

module Signed : sig ... end

module Uop : sig ... end

module Sop : sig ... end

type comparator_witness = Hardcaml__Bits.comparator_witness

val comparator : 
  (t, comparator_witness) Hardcaml__.Import.Comparator.comparator

module Mutable : sig ... end

val pp : Hardcaml__.Import.Formatter.t -> t -> Hardcaml__.Import.unit

val to_hstr : t -> String.t

val to_ustr : t -> string

val to_sstr : t -> String.t