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 -> Hardcaml__.Import.String.t
val create : Base.Int.t -> t

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

val copy : src:t -> dst:t -> Hardcaml__.Import.Unit.t
val copy_bits : src:t -> dst:t -> Hardcaml__.Import.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 -> Hardcaml__.Import.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 -> Hardcaml__.Import.String.t -> t
val (&:) : t -> t -> t -> Hardcaml__.Import.Unit.t
val (|:) : t -> t -> t -> Hardcaml__.Import.Unit.t
val (^:) : t -> t -> t -> Hardcaml__.Import.Unit.t
val (~:) : t -> t -> Hardcaml__.Import.Unit.t
val (+:) : t -> t -> t -> Hardcaml__.Import.Unit.t
val (-:) : t -> t -> t -> Hardcaml__.Import.Unit.t
val (==:) : t -> t -> t -> Hardcaml__.Import.Unit.t
val (<>:) : t -> t -> t -> Hardcaml__.Import.Unit.t
val (<:) : t -> t -> t -> Hardcaml__.Import.Unit.t
val mux : t -> t -> t Hardcaml__.Import.List.t -> Hardcaml__.Import.Unit.t
val concat : t -> t Hardcaml__.Import.List.t -> Hardcaml__.Import.Unit.t
val select : t -> t -> Base.Int.t -> Base.Int.t -> Hardcaml__.Import.Unit.t
val (*:) : t -> t -> t -> Hardcaml__.Import.Unit.t
val (*+) : t -> t -> t -> Hardcaml__.Import.Unit.t
module Comb : Comb.S with type t = t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct