package hardcaml

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

Parameters

module X : S
module L : LutSize

Signature

val x_lut : LutEqn.t -> Signal.t -> Signal.t
val x_map : LutEqn.t -> Signal.t Hardcaml__.Import.List.t -> Signal.t
val x_and : Signal.t -> Signal.t -> Signal.t
val x_or : Signal.t -> Signal.t -> Signal.t
val x_xor : Signal.t -> Signal.t -> Signal.t
val x_not : Signal.t -> Signal.t
val x_reduce_carry : Hardcaml__.Import.Bool.t -> (LutEqn.t -> LutEqn.t -> LutEqn.t) -> Signal.t -> Signal.t -> Signal.t -> Signal.t
val x_and_reduce : Signal.t -> Signal.t
val x_or_reduce : Signal.t -> Signal.t
val x_reduce_tree : (LutEqn.t -> LutEqn.t -> LutEqn.t) -> Signal.t -> Signal.t
val x_add_carry : LutEqn.t -> Signal.t -> Signal.t -> Signal.t -> Signal.t * Signal.t
val x_add : Signal.t -> Signal.t -> Signal.t
val x_sub : Signal.t -> Signal.t -> Signal.t
val x_mux_add_carry : LutEqn.t -> Signal.t -> Signal.t -> (Signal.t * Signal.t) -> Signal.t -> Signal.t * Signal.t
val x_mux_add : Signal.t -> (Signal.t * Signal.t) -> Signal.t -> Signal.t

x_mux_add x (a, a') b gives (x ? a : a') + b

val x_mux_sub : Signal.t -> Signal.t -> (Signal.t * Signal.t) -> Signal.t

x_mux_sub x a (b, b') gives a - (x ? b : b')

val x_eq : Signal.t -> Signal.t -> Signal.t
val x_lt : Signal.t -> Signal.t -> Signal.t
val x_mux : Signal.t -> Signal.t Hardcaml__.Import.List.t -> Signal.t
val x_mulu : Signal.t -> Signal.t -> Signal.t
val x_muls : Signal.t -> Signal.t -> Signal.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