package hardcaml

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

Module Always.VariableSource

The type of variables in guarded assignments. Variables may be asychronous wires, or synchronous regs. The current value of the variable may be accessed through the value field below.

Sourcetype internal
Sourcetype t = private {
  1. value : Signal.t;
  2. internal : internal;
}
Sourceval internal : t -> internal
Sourceval value : t -> Signal.t
Sourcemodule Fields : sig ... end
Sourceval sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
Sourceval wire : default:Signal.t -> t

create a wire

Sourceval reg : Reg_spec.t -> enable:Signal.t -> width:Base.Int.t -> t

create a register

Sourceval pipeline : depth:Base.Int.t -> Reg_spec.t -> enable:Signal.t -> width:Base.Int.t -> t

create a pipeline of registers

OCaml

Innovation. Community. Security.