package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Library
Module
Module type
Parameter
Class
Class type

Mutable is a mutable bits used by Cyclesim for efficiency.

type t
val empty : t
val width : t -> Base.Int.t
val to_string : t -> Base.String.t
val create : Base.Int.t -> t

Create a t of given width, initially set to 0.

val copy : src:t -> dst:t -> Base.Unit.t
val copy_bits : src:t -> dst:t -> Base.Unit.t
val num_words : t -> Base.Int.t

A Bits.Mutable.t can be accessed as an array of 64 bit words.

val get_word : t -> Base.Int.t -> Base.Int64.t
val set_word : t -> Base.Int.t -> Base.Int64.t -> Base.Unit.t
val to_bits : t -> t
val of_constant : Constant.t -> t
val to_constant : t -> Constant.t
val vdd : t
val gnd : t
val wire : Base.Int.t -> t
val (--) : t -> Base.String.t -> t
val (&:) : t -> t -> t -> Base.Unit.t
val (|:) : t -> t -> t -> Base.Unit.t
val (^:) : t -> t -> t -> Base.Unit.t
val (~:) : t -> t -> Base.Unit.t
val (+:) : t -> t -> t -> Base.Unit.t
val (-:) : t -> t -> t -> Base.Unit.t
val (==:) : t -> t -> t -> Base.Unit.t
val (<>:) : t -> t -> t -> Base.Unit.t
val (<:) : t -> t -> t -> Base.Unit.t
val mux : t -> t -> t Base.List.t -> Base.Unit.t
val concat : t -> t Base.List.t -> Base.Unit.t
val select : t -> t -> Base.Int.t -> Base.Int.t -> Base.Unit.t
val (*:) : t -> t -> t -> Base.Unit.t
val (*+) : t -> t -> t -> Base.Unit.t
module Comb : Comb.S with type t = t