package hardcaml_step_testbench

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

Module Step_monad.ComponentSource

module Input_monad : sig ... end
Sourcetype ('i, 'o) t_
Sourcetype (!'i, !'o) t =
  1. | T of ('i, 'o) t_
Sourceval sexp_of_t : ('i -> Sexplib0.Sexp.t) -> ('o -> Sexplib0.Sexp.t) -> ('i, 'o) t -> Sexplib0.Sexp.t
Sourcetype (!'i, !'o) t_module = (module Digital_components__Component_intf.Module.S with type Input.t = 'i and type Output.t = 'o)
Sourceval sexp_of_input : ('i, 'a) t -> 'i -> Base.Sexp.t
Sourceval sexp_of_output : ('a, 'o) t -> 'o -> Base.Sexp.t
Sourceval input_module : ('i, 'a) t -> 'i Digital_components.Data.t
Sourceval output_module : ('a, 'o) t -> 'o Digital_components.Data.t
Sourceval create : ('i, 'o) t_module -> ('i, 'o) t
Sourceval output : ('i, 'o) t -> 'i -> 'o
Sourceval update_state : ?prune:Base.bool -> ('i, 'a) t -> 'i -> Base.unit
Sourceval run_with_inputs : ('i, 'o) t -> 'i Base.list -> ('i * 'o) Base.list
Sourceval prune_children : ('i, 'o) t -> Base.unit
Sourceval has_children : ('i, 'o) t -> Base.bool
Sourcemodule Next_input : sig ... end
Sourceval run_until_finished : ?show_steps:Base.bool -> ('i, 'o) t -> first_input:'i -> next_input:('o -> 'i Next_input.t Input_monad.t) -> Base.unit Input_monad.t
Sourceval sequence : ('a, 'b) t -> ('b, 'c) t -> ('a, 'c) t
Sourceval map_input : ('i2, 'o) t -> 'i1 Digital_components.Data.t -> f:('i1 -> 'i2) -> ('i1, 'o) t
Sourceval map_output : ('i, 'o1) t -> 'o2 Digital_components.Data.t -> f:('o1 -> 'o2) -> ('i, 'o2) t
Sourcemodule Combinational : sig ... end
Sourceval create_combinational : ('i, 'o) Combinational.t -> ('i, 'o) t
Sourceval and_ : (Base.bool * Base.bool, Base.bool) t
Sourceval or_ : (Base.bool * Base.bool, Base.bool) t
Sourceval not_ : (Base.bool, Base.bool) t
Sourceval flip_flop : Base.unit -> (Base.bool, Base.bool) 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