package hardcaml

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

Module Hardcaml.InterfaceSource

Interfaces specify the widths and names of a group of signals, and some functions for manipulating the signals as a group.

They are generally used with ppx_deriving_hardcaml as follows

  type t = { ... } [@@deriving sexp_of, hardcaml]

The sexp_of is required, and must appear before hardcaml. This syntax generates a call to Interface.Make, which therefore does not need to be explicitly called.

Sourcemodule type Pre_partial = sig ... end
Sourcemodule type Pre = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule type Ast = sig ... end
Sourcemodule type Empty = sig ... end
Sourcemodule Ast : Ast
Sourcemodule type S_with_ast = sig ... end
Sourcemodule Create_fn (I : S) (O : S) : sig ... end

Type of functions representing the implementation of a circuit from an input to output interface.

Sourcemodule Make (X : Pre) : S with type 'a t := 'a X.t
Sourcemodule type S_enum = sig ... end
Sourcemodule type S_enums = sig ... end
Sourcemodule Make_enums (Enum : sig ... end) : S_enums with module Enum := Enum

Constructs a hardcaml interface which represents hardware for the given Enum as an absstract Interface.

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